Fetching the paper…
Reading the bibliography…
From simulating galaxy formation to viral transmission in a pandemic, scientific models play a pivotal role in developing scientific theories and supporting government policy decisions that affect us all.
E. F. Moore, “Gedanken-experiments,” in Automata Studies
1956
Earlier work this paper cites.
J. Cornfield, W. Haenszel, E. C. Hammond, A. M. Lilienfeld, M. B. Shimkin, and E. L. Wynder, “Smoking and Lung Cancer: Recent Evidence and a Discussion of Some Questions,” JNCI: Journal of the National Cancer Institute
1959
Earlier work this paper cites.
T. S. Chow, “Testing software design modeled by finite-state machines,” IEEE transactions on software engineering
1978
Earlier work this paper cites.
E. Weyuker, “On testing non-testable programs,” Computer Journal
1982
Earlier work this paper cites.
E. J. Weyuker, “Assessing test data adequacy through program inference,” ACM Transactions on Programming Languages and Systems (TOPLAS)
1983
Earlier work this paper cites.
P. W. Holland, “Statistics and causal inference,” Journal of the American statistical Association
1986
Earlier work this paper cites.
M. Stein, “Large sample properties of simulations using Latin hypercube sampling,” Technometrics
1987
Earlier work this paper cites.
C.-H. Luo and Y. Rudy, “A model of the ventricular cardiac action potential. Depolarization, repolarization, and their interaction.,” Circulation Research
1991
Earlier work this paper cites.
Prentice-Hall, 2nd ed., 1992
J. M. Spivey, The Z Notation: A Reference Manual · 1992
Earlier work this paper cites.
J. Dick and A. Faivre, “Automating the generation and sequencing of test cases from model-based specifications,” in FME ’93, First International Symposium on Formal Methods in Europe
1993
Earlier work this paper cites.
J. Pearl, “Causal diagrams for empirical research,” Biometrika
1995
Earlier work this paper cites.
M.-C. Gaudel, “Testing can be formal too,” in 6th International Joint Conference CAAP/FASE Theory and Practice of Software Development (TAPSOFT’95)
1995
Earlier work this paper cites.
J. Pearl and T. S. Verma, “A theory of inferred causation,” in Studies in Logic and the Foundations of Mathematics
1995
Earlier work this paper cites.
G. C. Murphy, D. Notkin, and K. Sullivan, “Software reflexion models: Bridging the gap between source and high-level models,” in Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
1995
Earlier work this paper cites.
J. P. Kleijnen, “Verification and validation of simulation models,” European journal of operational research
1995
Earlier work this paper cites.
K. Nursimulu and R. L. Probert, “Cause-effect graphing analysis and validation of requirements,” in Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research
1995
Earlier work this paper cites.
D. Lee and M. Yannakakis, “Principles and methods of testing finite-state machines - a survey,” Proceedings of the IEEE
1996
Earlier work this paper cites.
R. M. Hierons, “Testing from a Z specification,” The Journal of Software Testing, Verification and Reliability
1997
Earlier work this paper cites.
T. Y. Chen, S. C. Cheung, and S. M. Yiu, “Metamorphic testing: A new approach for generating next test cases,” Tech. Rep. HKUST-CS98-01, The Hong Kong University of Science and Technology, 1998
1998
Earlier work this paper cites.
S. Greenland, J. Pearl, and J. M. Robins, “Causal diagrams for epidemiologic research,” Epidemiology
1999
Earlier work this paper cites.
K. Kreyman, D. L. Parnas, and S. Qiao, “Inspection procedures for critical programs that model physical phenomena,” 1999
1999
Earlier work this paper cites.
No. 137, Sage, 2001
L. C. Marsh and D. R. Cormier, Spline regression models · 2001
Earlier work this paper cites.
J. Ellson, E. Gansner, L. Koutsofios, S. C. North, and G. Woodhull, “Graphviz— open source graph drawing tools,” in Graph Drawing
2002
Earlier work this paper cites.
J. Kendall, “Designing a research project: randomised controlled trials and their principles,” Emergency medicine journal: EMJ
2003
Earlier work this paper cites.
Addison Wesley Boston, 2003
J. H. Stock, M. W. Watson, et al · 2003
Earlier work this paper cites.
C. E. Rasmussen, “Gaussian processes in machine learning,” in Advanced Lectures on Machine Learning: ML Summer Schools 2003, Canberra, Australia, February 2 - 14, 2003, Tübingen, Germany, August 4 - 16, 2003, Revised Lectures
2004
Earlier work this paper cites.
J. E. Oakley and A. O’Hagan, “Probabilistic sensitivity analysis of complex models: a bayesian approach,” Journal of the Royal Statistical Society: Series B (Statistical Methodology)
2004
Earlier work this paper cites.
Wiley Online Library, 2004
G. J. Myers, T. Badgett, T. M. Thomas, and C. Sandler, The Art of Software Testing · 2004
Earlier work this paper cites.
M. Broy, B. Jonsson, J. Katoen, M. Leucker, and A. Pretschner, eds., Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]
2005
Earlier work this paper cites.
K. J. Rothman and S. Greenland, “Causation and causal inference in epidemiology,” American journal of public health
2005
Earlier work this paper cites.
D. B. Rubin, “Causal inference using potential outcomes: Design, modeling, decisions,” Journal of the American Statistical Association
2005
Earlier work this paper cites.
J. Y. Halpern and J. Pearl, “Causes and explanations: A structural-model approach. Part I: Causes,” The British Journal for the Philosophy of Science
2005
Earlier work this paper cites.
Springer, 2006
C. E. Rasmussen, C. K. Williams, et al · 2006
Earlier work this paper cites.
R. Guderlei and J. Mayer, “Statistical metamorphic testing testing programs with random output by means of statistical hypothesis tests and metamorphic testing,” in Seventh International Conference on Quality Software (QSIC 2007)
2007
Earlier work this paper cites.
D. Kelly and R. Sanders, “The challenge of testing scientific software,” 2008
2008
Earlier work this paper cites.
J. Tretmans, “Model based testing with labelled transition systems,” in Formal Methods and Testing
2008
Earlier work this paper cites.
L. de Moura and N. Bjørner, “Z3: An efficient smt solver,” in Tools and Algorithms for the Construction and Analysis of Systems
2008
Earlier work this paper cites.
R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause, G. Lüttgen, A. J. H. Simons, S. A. Vilkomir, M. R. Woodward, and H. Zedan, “Using formal specifications to support testing,” ACM Computing Surveys
2009
Earlier work this paper cites.
J. Pearl, “Causal inference in statistics: An overview,” Statistics Surveys
2009
Cited alongside, same era.
Cambridge: Cambridge university press, 09 2009
J. Pearl, Causality · 2009
Cited alongside, same era.
L. C. Briand, Y. Labiche, Z. Bawar, and N. T. Spido, “Using machine learning to refine category-partition test specifications and test suites,” Information and Software Technology
2009
Cited alongside, same era.
Elsevier, 2010
M. Utting and B. Legeard, Practical model-based testing: a tools approach · 2010
Cited alongside, same era.
N. Cartwright and E. Munro, “The limitations of randomized controlled trials in predicting effectiveness.,” Journal of evaluation in clinical practice
2010
Cited alongside, same era.
Allen Lane, 2018
J. Pearl and D. Mackenzie, The Book of Why · 2018
Later among the works it cites.
S. Wager and S. Athey, “Estimation and inference of heterogeneous treatment effects using random forests,” Journal of the American Statistical Association
2018
Later among the works it cites.
V. V. Chetlur and H. S. Dhillon, “Coverage analysis of a vehicular network modeled as cox process driven by poisson line process,” IEEE Transactions on Wireless Communications
2018
Later among the works it cites.
K. Rahman and U. Kanewala, “Predicting metamorphic relations for matrix calculation programs,” in 2018 IEEE/ACM 3rd International Workshop on Metamorphic Testing (MET)
2018
Later among the works it cites.
D. Malinsky and D. Danks, “Causal discovery algorithms: A practical guide,” Philosophy Compass
2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2010
Cited alongside, same era.
G. K. Baah, A. Podgurski, and M. J. Harrold, “Causal inference for statistical fault localization,” in Proceedings of the 19th International Symposium on Software Testing and Analysis
2010
Cited alongside, same era.
M. Staats, M. W. Whalen, and M. P. Heimdahl, “Programs, tests, and oracles: the foundations of testing revisited,” in 2011 33rd international conference on software engineering (ICSE)
2011
Cited alongside, same era.
K. Benoit, “Linear regression models with logarithmic transformations,” London School of Economics, London
2011
Cited alongside, same era.
G. K. Baah, A. Podgurski, and M. J. Harrold, “Mitigating the confounding effects of program dependences for effective fault localization,” in Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering
2011
Cited alongside, same era.
M. Utting, A. Pretschner, and B. Legeard, “A taxonomy of model-based testing approaches,” Software Testing, Verification and Reliability
2012
Cited alongside, same era.
S. Nidhra and J. Dondeti, “Black box and white box testing techniques-a literature review,” International Journal of Embedded Systems and Applications (IJESA)
2012
Cited alongside, same era.
M. H. Grider, R. Jessu, and R. Kabir, “Physiology, action potential,” 2019
2019
Later among the works it cites.
S. Athey and S. Wager, “Estimating treatment effects with causal forests: An application,” Observational Studies
2019
Later among the works it cites.
A. Holzinger, G. Langs, H. Denk, K. Zatloukal, and H. Müller, “Causability and explainability of artificial intelligence in medicine,” Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery
2019
Later among the works it cites.
C. Glymour, K. Zhang, and P. Spirtes, “Review of causal discovery methods based on graphical models,” Frontiers in genetics
2019
Later among the works it cites.
R. N. Thompson, “Epidemiological models are important tools for guiding covid-19 interventions,” BMC medicine
2020
Later among the works it cites.
Boca Raton: Chapman & Hall/CRC, 2020
M. A. Hernán and J. M. Robins, Causal Inference: what if · 2020
Later among the works it cites.
J. A. Cohen, D. Mistry, C. C. Kerr, and D. J. Klein, “Schools are not islands: Balancing COVID-19 risk and educational benefits using structural and temporal countermeasures,” sep 2020
2020
Later among the works it cites.
J. Panovska-Griffiths, C. C. Kerr, R. M. Stuart, D. Mistry, D. J. Klein, R. M. Viner, and C. Bonell, “Determining the optimal strategy for reopening schools, the impact of test and trace interventions, and the risk of occurrence of a second COVID-19 epidemic wave in the uk: a modelling study,” The Lancet Child & Adolescent Health
2020
Later among the works it cites.
N. Scott, A. Palmer, D. Delport, R. Abeysuriya, R. Stuart, C. C. Kerr, D. Mistry, D. J. Klein, R. Sacks-Davis, K. Heath, et al
2020
Later among the works it cites.
M. J. Butler, P. Körner, S. Krings, T. Lecomte, M. Leuschel, L. Mejia, and L. Voisin, “The first twenty-five years of industrial use of the b-method,” in Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
2020
Later among the works it cites.
C. Cinelli and C. Hazlett, “Making sense of sensitivity: Extending omitted variable bias,” Journal of the Royal Statistical Society Series B-Statistical Methodology
2020
Later among the works it cites.
S. Moza, “sahilm89/lhsmdu: Latin Hypercube Sampling with Multi-Dimensional Uniformity (LHSMDU): Speed Boost minor compatibility fixes,” jul 2020
2020
Later among the works it cites.
J. Panovska-Griffiths, C. C. Kerr, W. Waites, R. M. Stuart, D. Mistry, D. Foster, D. J. Klein, R. M. Viner, and C. Bonell, “The potential contribution of face coverings to the control of sars-cov-2 transmission in schools and broader society in the uk: a modelling study,” 2020
2020
Later among the works it cites.
R. M. Stuart, R. G. Abeysuriya, C. C. Kerr, D. Mistry, D. J. Klein, R. Gray, M. Hellard, and N. Scott, “The role of masks in reducing the risk of new waves of covid-19 in low transmission settings: a modeling study,” 2020
2020
Later among the works it cites.
A. Podgurski and Y. Küçük, “Counterfault: Value-based fault localization by modeling and predicting counterfactual outcomes,” in 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME)
2020
Later among the works it cites.
B. Johnson, Y. Brun, and A. Meliou, “Causal testing: understanding defects’ root causes,” in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
2020
Later among the works it cites.
M. Oldfield and E. Haig, “Analytical modelling and UK government policy,” AI and Ethics
2021
Later among the works it cites.
C. C. Kerr, R. M. Stuart, D. Mistry, R. G. Abeysuriya, K. Rosenfeld, G. R. Hart, R. C. Núñez, J. A. Cohen, P. Selvaraj, B. Hagedorn, et al
2021
Later among the works it cites.
P. W. Tennant, E. J. Murray, K. F. Arnold, L. Berrie, M. P. Fox, S. C. Gadd, W. J. Harrison, C. Keeble, L. R. Ranker, J. Textor, et al
2021
Later among the works it cites.
C. C. Kerr, D. Mistry, R. M. Stuart, K. Rosenfeld, G. R. Hart, R. C. Núñez, J. A. Cohen, P. Selvaraj, R. G. Abeysuriya, M. Jastrzębski, et al
2021
Later among the works it cites.
P. Ralph, “Acm sigsoft empirical standards released,” SIGSOFT Softw. Eng. Notes
2021
Later among the works it cites.
J. W. Nevin, F. Vaquero-Caballero, D. J. Ives, and S. J. Savory, “Physics-informed gaussian process regression for optical fiber communication systems,” Journal of Lightwave Technology
2021
Later among the works it cites.
N. Burkart and M. F. Huber, “A survey on the explainability of supervised machine learning,” Journal of Artificial Intelligence Research
2021
Later among the works it cites.
J. Ayerdi, V. Terragni, A. Arrieta, P. Tonella, G. Sagardui, and M. Arratibel, “Generating metamorphic relations for cyber-physical systems with genetic programming: An industrial case study,” in Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2021
Later among the works it cites.
S. Lee, D. Binkley, R. Feldt, N. Gold, and S. Yoo, “Causal program dependence analysis,” 2021
2021
Later among the works it cites.
H. Chockler, D. Kroening, and Y. Sun, “Explanations for occluded images,” 2021
2021
Later among the works it cites.
A. Arrieta, J. Ayerdi, M. Illarramendi, A. Agirre, G. Sagardui, and M. Arratibel, “Using machine learning to build test oracles: an industrial case study on elevators dispatching algorithms,” in 2021 IEEE/ACM International Conference on Automation of Software Test (AST)
2021
Later among the works it cites.
I. for Disease Modelling, “Covasim.” https://github.com/InstituteforDiseaseModeling/covasim, 2022
2022
Closest in time.
I. for Disease Modeling, “Covasim: Vaccine tests.” https://github.com/InstituteforDiseaseModeling/covasim/blob/master/tests/ test_interventions.py, 2022
2022
Closest in time.
cellML, “cellml: Luo-rudy 1991.” https://models.cellml.org/exposure/456b07d6a7a5b45ed71caad0ea2c0b9d , 2022
2022
Closest in time.
J. Ayerdi, V. Terragni, A. Arrieta, P. Tonella, G. Sagardui, and M. Arratibel, “Evolutionary generation of metamorphic relations for cyber-physical systems,” in Proceedings of the Genetic and Evolutionary Computation Conference Companion
2022
Closest in time.
L. Giamattei, R. Pietrantuono, and S. Russo, “Reasoning-based software testing,” 2023
2023
Closest in time.