Validation, verification, and testing techniques throughout the life cycle of a simulation study
- 1 December 1994
- journal article
- Published by Springer Nature in Annals of Operations Research
- Vol. 53 (1) , 121-173
- https://doi.org/10.1007/bf02136828
Abstract
No abstract availableKeywords
This publication has 43 references indexed in Scilit:
- An improved inspection techniqueCommunications of the ACM, 1993
- Logic Programming for Software Verification and TestingThe Computer Journal, 1991
- Using symbolic execution for verification of Ada tasking programsACM Transactions on Programming Languages and Systems, 1990
- Quality assurance paradigms for artificial intelligence in modelling and simulationSIMULATION, 1987
- A methodology for cost-risk analysis in the statistical validation of simulation modelsCommunications of the ACM, 1981
- On validating simulation models of missile systemsSIMULATION, 1978
- Sensitivity analysis and validation of simulation modelsJournal of Theoretical Biology, 1974
- Time Series Realizations Obtained According to an Experimental DesignJournal of the American Statistical Association, 1974
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Debugging tools for high level languagesSoftware: Practice and Experience, 1972