{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T11:46:34Z","timestamp":1780400794798,"version":"3.54.1"},"reference-count":102,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Oper Res"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1007\/bf02136828","type":"journal-article","created":{"date-parts":[[2005,9,15]],"date-time":"2005-09-15T06:06:41Z","timestamp":1126764401000},"page":"121-173","source":"Crossref","is-referenced-by-count":232,"title":["Validation, verification, and testing techniques throughout the life cycle of a simulation study"],"prefix":"10.1007","volume":"53","author":[{"given":"Osman","family":"Balci","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"BF02136828_CR1","unstructured":"A.F. Ackerman, P.J. Fowler and R.G. Ebenau, Software inspections and the industrial production of software, in:Software Validation: Inspection, Testing, Alternatives, Alternatives, Proc. Symp. on Software Validation, Darmstadt, Germany, ed. H.-L. Hausen (1983) pp. 13\u201340."},{"key":"BF02136828_CR2","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/356876.356879","volume":"14","author":"W.R. Adrion","year":"1982","unstructured":"W.R. Adrion, M.A. Branstad and J.C. Cherniavsky, Validation, verification, and testing of computer software, Comp. Surveys 14(1982)159\u2013192.","journal-title":"Comp. Surveys"},{"key":"BF02136828_CR3","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1287\/mnsc.18.11.615","volume":"18","author":"D.J. Aigner","year":"1972","unstructured":"D.J. Aigner, A note on verification of computer simulation models, Manag. Sci. 18(1972)615\u2013619.","journal-title":"Manag. Sci."},{"key":"BF02136828_CR4","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/360018.360025","volume":"19","author":"F.E. Allen","year":"1976","unstructured":"F.E. Allen and J. Cocke, A program data flow analysis procedure, Commun. ACM 19(1976)137\u2013147.","journal-title":"Commun. ACM"},{"key":"BF02136828_CR5","volume-title":"Program Construction and Verification","author":"R.C. Backhouse","year":"1986","unstructured":"R.C. Backhouse,Program Construction and Verification (Prentice-Hall, London, 1986)."},{"key":"BF02136828_CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0305-0548(86)90064-X","volume":"13","author":"O. Balci","year":"1986","unstructured":"O. Balci, Requirements for model development environments, Comp. Oper. Res. 13(1986)53\u201367.","journal-title":"Comp. Oper. Res."},{"key":"BF02136828_CR7","first-page":"287","volume-title":"The implementation of four conceptual frameworks for simulation modeling in high-level languages","author":"O. Balci","year":"1988","unstructured":"O. Balci, The implementation of four conceptual frameworks for simulation modeling in high-level languages, in:Proc. 1988 Winter Simulation Conf., ed. M.A. Abrams, P.L. Haigh, and J.C. Comfort (IEEE, Piscataway, NJ, 1988) pp. 287\u2013295."},{"key":"BF02136828_CR8","first-page":"25","volume-title":"Guidelines for successful simulation studies","author":"O. Balci","year":"1990","unstructured":"O. Balci, Guidelines for successful simulation studies, in:Proc. 1990 Winter Simulation Conf., ed. O. Balci, R.P. Sadowski, and R.E. Nance (IEEE, Piscataway, NJ, 1990) pp. 25\u201332."},{"key":"BF02136828_CR9","series-title":"Technical Report","volume-title":"Principles of simulation model validation, verification, and testing","author":"O. Balci","year":"1994","unstructured":"O. Balci, Principles of simulation model validation, verification, and testing, Technical Report TR-94-24 Department of Computer Science. Virginia Tech, Blacksburg, VA (1994)."},{"key":"BF02136828_CR10","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1177\/003754978504500204","volume":"45","author":"O. Balci","year":"1985","unstructured":"O. Balci and R.E. Nance, Formulated problem verification as an explicit requirement of model credibility, Simulation 45(1985)76\u201386.","journal-title":"Simulation"},{"key":"BF02136828_CR11","doi-asserted-by":"crossref","first-page":"753","DOI":"10.1057\/jors.1987.123","volume":"38","author":"O. Balci","year":"1987","unstructured":"O. Balci and R.E. Nance, Simulation model development environments: A research prototype, J. Oper. Res. Soc. 38(1987)753\u2013763.","journal-title":"J. Oper. Res. Soc."},{"key":"BF02136828_CR12","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/358598.358609","volume":"24","author":"O. Balci","year":"1981","unstructured":"O. Balci and R.G. Sargent, A methodology for cost-risk analysis in the statistical validation of simulation models, Commun. ACM 24(1981)190\u2013197.","journal-title":"Commun. ACM"},{"key":"BF02136828_CR13","first-page":"620","volume-title":"Some examples of simulation model validation using hypothesis testing","author":"O. Balci","year":"1982","unstructured":"O. Balci and R.G. Sargent, Some examples of simulation model validation using hypothesis testing, in:Proc. 1982 Winter Simulation Conf., ed. H.J. Highland, Y.W. Chao and O.S. Madrigal (IEEE, Piscataway, NJ, 1982) pp. 620\u2013629."},{"key":"BF02136828_CR14","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1177\/003754978203900602","volume":"39","author":"O. Balci","year":"1982","unstructured":"O. Balci and R.G. Sargent, Validation of multivariate response models using Hotelling's two-sampleT 2 test, Simulation 39(1982)185\u2013192.","journal-title":"Simulation"},{"key":"BF02136828_CR15","first-page":"309","volume-title":"Performance '83","author":"O. Balci","year":"1983","unstructured":"O. Balci and R.G. Sargent, Validation of multivariate response trace-driven simulation models, in:Performance '83, ed. A. K. Agrawala and S.K. Tripathi (North-Holland, Amsterdam, 1983) 309\u2013323."},{"key":"BF02136828_CR16","first-page":"375","volume":"4","author":"O. Balci","year":"1984","unstructured":"O. Balci and R.G. Sargent, Validation of simulation models via simultaneous confidence intervals, Amer. J. Math. Manag. Sci. 4(1984)375\u2013406.","journal-title":"Amer. J. Math. Manag. Sci."},{"key":"BF02136828_CR17","volume-title":"Discrete-Event System Simulation","author":"J. Banks","year":"1984","unstructured":"J. Banks and J.S. Carson,Discrete-Event System Simulation (Prentice-Hall, Englewood Cliffs, NJ, 1984)."},{"key":"BF02136828_CR18","first-page":"13","volume-title":"Methodology and Validation","author":"J. Banks","year":"1987","unstructured":"J. Banks, D. Gerstein and S.P. Searles, Modeling processes, validation, and verification of complex simulations: A survey, in:Methodology and Validation, ed. O. Balci (SCS, San Diego, CA, 1987) pp. 13\u201318."},{"key":"BF02136828_CR19","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H.P. Barendregt","year":"1981","unstructured":"H.P. Barendregt,The Lambda Calculus: Its Syntax and Semantics (North-Holland, New York, 1981)."},{"key":"BF02136828_CR20","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TSE.1987.233196","volume":"13","author":"T. Chusho","year":"1987","unstructured":"T. Chusho, Test data selection and quality estimation based on the concept of essential branches for path testing, IEEE Trans. Software Eng. SE-13(1987)509\u2013517.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02136828_CR21","doi-asserted-by":"crossref","first-page":"112","DOI":"10.2307\/1883207","volume":"75","author":"K.J. Cohen","year":"1961","unstructured":"K.J. Cohen and R.M. Cyert, Computer models in dynamic economics, Quarterly J. Econ. 75(1961)112\u2013127.","journal-title":"Quarterly J. Econ."},{"key":"BF02136828_CR22","series-title":"ERDA Report","doi-asserted-by":"crossref","DOI":"10.2172\/7233076","volume-title":"Model validation using time and frequency domain error measures","author":"M.J. Damborg","year":"1976","unstructured":"M.J. Damborg and L.F. Fuller, Model validation using time and frequency domain error measures, ERDA Report 76-152, NTIS, Springfield, VA (1976)."},{"key":"BF02136828_CR23","volume-title":"Software Verification and Validation: Realistic Project Approaches","author":"M.S. Deutsch","year":"1982","unstructured":"M.S. Deutsch,Software Verification and Validation: Realistic Project Approaches (Prentice-Hall, Englewood Cliffs, NJ, 1982)."},{"key":"BF02136828_CR24","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"E.W. Dijkstra, Guarded commands, non-determinacy and a calculus for the derivation of programs, Commun. ACM 18(1975)453\u2013457.","journal-title":"Commun. ACM"},{"key":"BF02136828_CR25","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1145\/88616.96551","volume":"12","author":"L.K. Dillon","year":"1990","unstructured":"L.K. Dillon, Using symbolic execution for verification of Ada tasking programs, ACM Trans. Progr. Languages Syst. 12(1990)643\u2013669.","journal-title":"ACM Trans. Progr. Languages Syst."},{"key":"BF02136828_CR26","first-page":"137","volume-title":"Handbook of Software Quality Assurance","author":"J.H. Dobbins","year":"1987","unstructured":"J.H. Dobbins, Inspections as an up-front quality technique, in:Handbook of Software Quality Assurance, ed. G.G. Schulmeyer and J.I. McManus (Van Nostrand-Reinhold, New York, NY, 1987) pp. 137\u2013177."},{"key":"BF02136828_CR27","first-page":"342","volume-title":"Handbook of Software Quality Assurance","author":"R.H. Dunn","year":"1987","unstructured":"R.H. Dunn, The quest for software reliability, in:Handbook of Software Quality Assurance, ed. G.G. Schulmeyer and J.I. McManus (Van Nostrand-Reinhold, New York, NY, 1987) pp. 342\u2013384."},{"key":"BF02136828_CR28","first-page":"292","volume":"19","author":"S.E. Elmaghraby","year":"1968","unstructured":"S.E. Elmaghraby, The role of modeling in IE design, Ind. Eng. 19(1968)292\u2013305.","journal-title":"Ind. Eng."},{"key":"BF02136828_CR29","volume-title":"Design and Use of Computer Simulation Models","author":"J.R. Emshoff","year":"1970","unstructured":"J.R. Emshoff and R.L. Sisson,Design and Use of Computer Simulation Models (MacMillan, New York, NY, 1970)."},{"key":"BF02136828_CR30","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/TSE.1975.6312864","volume":"1","author":"R.E. Fairley","year":"1975","unstructured":"R.E. Fairley, An experimental program-testing facility, IEEE Trans. Software Eng. SE-1(1975)350\u2013357.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02136828_CR31","first-page":"708","volume-title":"Dynamic testing of simulation software","author":"R.E. Fairley","year":"1976","unstructured":"R.E. Fairley, Dynamic testing of simulation software, in:Proc. 1976 Summer Computer Simulation Conf., Washington, DC (Simulation Councils, La Jolla, CA, 1976) pp. 708\u2013710."},{"key":"BF02136828_CR32","volume-title":"Principles of Discrete Event Simulation","author":"G.S. Fishman","year":"1978","unstructured":"G.S. Fishman,Principles of Discrete Event Simulation (Wiley-Interscience, New York, NY, 1978)."},{"key":"BF02136828_CR33","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1287\/mnsc.13.7.525","volume":"13","author":"G.S. Fishman","year":"1967","unstructured":"G.S. Fishman and P.J. Kiviat, The analysis of simulation generated time series, Manag. Sci. 13(1967)525\u2013557.","journal-title":"Manag. Sci."},{"key":"BF02136828_CR34","volume-title":"Industrial Dynamics","author":"J.W. Forrester","year":"1961","unstructured":"J.W. Forrester,Industrial Dynamics (MIT Press, Cambridge, MA, 1961)."},{"key":"BF02136828_CR35","first-page":"702","volume-title":"Proc. 4th Int. Conf. on Operations Research","author":"A.V. Gafarian","year":"1969","unstructured":"A.V. Gafarian and J.E. Walsh, Statistical approach for validating simulation models by comparison with operational systems, in:Proc. 4th Int. Conf. on Operations Research (Wiley, New York, NY, 1969) pp. 702\u2013705."},{"key":"BF02136828_CR36","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1080\/01621459.1974.10480181","volume":"69","author":"A.R. Gallant","year":"1974","unstructured":"A.R. Gallant, T.M. Gerig and J.W. Evans, Time series realizations obtained according to an experimental design, J. Amer. Statist. Assoc. 69(1974)639\u2013645.","journal-title":"J. Amer. Statist. Assoc."},{"key":"BF02136828_CR37","first-page":"915","volume-title":"Statistical validation of simulation models","author":"M. Garratt","year":"1974","unstructured":"M. Garratt, Statistical validation of simulation models, in:Proc. 1974 Summer Computer Simulation Conf, Houston, TX (Simulation Councils, La Jolla, CA, 1974) pp. 915\u2013926."},{"key":"BF02136828_CR38","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1287\/opre.31.4.603","volume":"31","author":"S.I. Gass","year":"1983","unstructured":"S.I. Gass, Decision-aiding models: Validation, assessment, and related issues for policy analysis, Oper. Res. 31(1983)603\u2013631.","journal-title":"Oper. Res."},{"key":"BF02136828_CR39","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1002\/bs.3830120306","volume":"12","author":"C.F. Hermann","year":"1967","unstructured":"C.F. Hermann, Validation problems in games and simulations with special reference to models of international politics, Behav. Sci. 12(1967)216\u2013231.","journal-title":"Behav. Sci."},{"key":"BF02136828_CR40","volume-title":"The Complete Guide to Software Testing","author":"W. Hetzel","year":"1984","unstructured":"W. Hetzel,The Complete Guide to Software Testing (QED Information Sciences, Wellesley, MA, 1984)."},{"key":"BF02136828_CR41","first-page":"211","volume-title":"Handbook of Software Quality Assurance","author":"C.P. Hollocker","year":"1987","unstructured":"C.P. Hollocker, The standardization of software reviews and audits, in:Handbook of Software Quality Assurance, ed. G.G. Schulmeyer and J.I. McManus (Van Nostrand-Reinhold, New York, NY, 1987) pp. 211\u2013266."},{"key":"BF02136828_CR42","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1109\/TSE.1976.233816","volume":"2","author":"W.E. Howden","year":"1976","unstructured":"W.E. Howden, Reliability of the path analysis testing strategy, IEEE Trans. Software Eng. SE-2(1976)208\u2013214.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02136828_CR43","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1109\/TSE.1980.230467","volume":"6","author":"W.E. Howden","year":"1980","unstructured":"W.E. Howden, Functional program testing, IEEE Trans. Software Eng. SE-6(1980)162\u2013169.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02136828_CR44","first-page":"207","volume-title":"The Design of Computer Simulation Experiments","author":"P. Howrey","year":"1969","unstructured":"P. Howrey and H.H. Kelejian, Simulation versus analytical solutions, in:The Design of Computer Simulation Experiments, ed. T.H. Naylor (Duke University Press, Durham, NC, 1969) pp. 207\u2013231."},{"key":"BF02136828_CR45","volume-title":"Statistical evaluation and verification of digital simulation models through spectral analysis","author":"A.W. Hunt","year":"1970","unstructured":"A.W. Hunt, Statistical evaluation and verification of digital simulation models through spectral analysis, Ph.D. Dissertation, University of Texas at Austin, Austin, TX (1970)."},{"key":"BF02136828_CR46","series-title":"Technical Report","volume-title":"On the NP-completeness of verifying structural properties of discrete event simulation models","author":"S.H. Jacobson","year":"1993","unstructured":"S.H. Jacobson and E. Y\u00fccesan, On the NP-completeness of verifying structural properties of discrete event simulation models, Technical Report, Department of Industrial and Systems Engineering, Virginia Tech, Blacksburg, VA (1993)."},{"key":"BF02136828_CR47","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1093\/comjnl\/34.4.350","volume":"34","author":"S. Khanna","year":"1991","unstructured":"S. Khanna, Logic programming for software verification and testing, Comp. J. 34(1991)350\u2013357.","journal-title":"Comp. J."},{"key":"BF02136828_CR48","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1177\/003754977803000404","volume":"30","author":"N.A. Kheir","year":"1978","unstructured":"N.A. Kheir and W.M. Holmes, On validating simulation models of missile systems, Simulation 30(1978)117\u2013128.","journal-title":"Simulation"},{"key":"BF02136828_CR49","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"J.C. King, Symbolic execution and program testing, Commun. ACM 19(1976)385\u2013394.","journal-title":"Commun. ACM"},{"key":"BF02136828_CR50","volume-title":"Statistical Techniques in Simulation, Vol. 2","author":"J.P.C. Kleijnen","year":"1975","unstructured":"J.P.C. Kleijnen,Statistical Techniques in Simulation, Vol. 2 (Marcel Dekker, New York, NY, 1975)."},{"key":"BF02136828_CR51","volume-title":"Simulation Validation: A Confidence Assessment Methodology, Monograph 3512-04","author":"P.L. Knepell","year":"1993","unstructured":"P.L. Knepell and D.C. Arangno,Simulation Validation: A Confidence Assessment Methodology, Monograph 3512-04 (IEEE Computer Society Press, Los Alamitos, CA, 1993)."},{"key":"BF02136828_CR52","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/163359.163366","volume":"36","author":"J.C. Knight","year":"1993","unstructured":"J.C. Knight and E.A. Myers, An improved inspection technique, Commun. ACM 36(1993)51\u201361.","journal-title":"Commun. ACM"},{"key":"BF02136828_CR53","doi-asserted-by":"crossref","first-page":"983","DOI":"10.1287\/opre.31.6.983","volume":"31","author":"A.M. Law","year":"1983","unstructured":"A.M. Law, Statistical analysis of simulation output data, Oper. Res. 31(1983)983\u20131029.","journal-title":"Oper. Res."},{"key":"BF02136828_CR54","volume-title":"Simulation Modeling and Analysis","author":"A.M. Law","year":"1991","unstructured":"A.M. Law and W.D. Kelton,Simulation Modeling and Analysis, 2nd ed. (McGraw-Hill, New York, NY, 1991).","edition":"2nd ed."},{"key":"BF02136828_CR55","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/355609.362336","volume":"16","author":"Z. Manna","year":"1973","unstructured":"Z. Manna, S. Ness and J. Vuillemin, Inductive methods for proving properties of programs, Commun. ACM 16(1973)491\u2013502.","journal-title":"Commun. ACM"},{"key":"BF02136828_CR56","volume-title":"Diagramming Techniques for Analysts and Programmers","author":"J. Martin","year":"1985","unstructured":"J. Martin and C. McClure,Diagramming Techniques for Analysts and Programmers (Prentice-Hall, Englewood Cliffs, NJ, 1985)."},{"key":"BF02136828_CR57","unstructured":"D.K. Miller, Validation of computer simulations in the social sciences, in:Proc. 6th Annual Conf. on Modeling and Simulation (Pittsburg, PA, 1975) pp. 743\u2013746."},{"key":"BF02136828_CR58","first-page":"911","volume-title":"Model validation through sensitivity analysis","author":"D.R. Miller","year":"1974","unstructured":"D.R. Miller, Model validation through sensitivity analysis, in:Proc. 1974 Summer Computer Simulation Conf., Houston, TX (Simulation Councils, La Jolla, CA, 1974) pp. 911\u2013914."},{"key":"BF02136828_CR59","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/S0022-5193(74)80005-6","volume":"48","author":"D.R. Miller","year":"1974","unstructured":"D.R. Miller, Sensitivity analysis and validation of simulation models, J. Theor. Biol. 48(1974)345\u2013360.","journal-title":"J. Theor. Biol."},{"key":"BF02136828_CR60","first-page":"407","volume-title":"Impacts of Recent Computer Advances on Operations Research","author":"R.L. Moose","year":"1989","unstructured":"R.L. Moose and R.E. Nance, The design and development of an analyzer for discrete event model specifications, in:Impacts of Recent Computer Advances on Operations Research, ed. R. Sharda, B.L. Golden, E. Wasil, O. Balci and W. Stewart (Elsevier, New York, NY, 1989) pp. 407\u2013421."},{"key":"BF02136828_CR61","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1145\/359588.359602","volume":"21","author":"G.J. Myers","year":"1978","unstructured":"G.J. Myers, A controlled experiment in program testing and code walkthroughs\/inspections, Commun. ACM 21(1978)760\u2013768.","journal-title":"Commun. ACM"},{"key":"BF02136828_CR62","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"1979","unstructured":"G.J. Myers,The Art of Software Testing (Wiley, New York, NY, 1979)."},{"key":"BF02136828_CR63","volume-title":"The feasibility of and methodology for developing federal documentation standards for simulation models: Final report to the National Bureau of Standards","author":"R.E. Nance","year":"1977","unstructured":"R.E. Nance, The feasibility of and methodology for developing federal documentation standards for simulation models: Final report to the National Bureau of Standards, Department of Computer Science, VPI&SU, Blacksburg, VA (1977)."},{"key":"BF02136828_CR64","series-title":"Technical Report","volume-title":"Model representation in discrete event simulation: The conical methodology","author":"R.E. Nance","year":"1981","unstructured":"R.E. Nance, Model representation in discrete event simulation: The conical methodology, Technical Report CS81003-R, Department of Computer Science, VPI&SU, Blacksburg, VA (1981)."},{"key":"BF02136828_CR65","first-page":"38","volume-title":"Methodology and Validation","author":"R.E. Nance","year":"1987","unstructured":"R.E. Nance, The conical methodology: A framework for simulation model development, in:Methodology and Validation, ed. O. Balci, (SCS, San Diego, CA, 1987) pp. 38\u201343."},{"key":"BF02136828_CR66","doi-asserted-by":"crossref","unstructured":"R.E. Nance, Conical methodology: An evolutionary convergence of systems and software engineering, Ann. Oper. Res. 53(1994), this volume.","DOI":"10.1007\/BF02136825"},{"key":"BF02136828_CR67","first-page":"33","volume":"4","author":"R.E. Nance","year":"1987","unstructured":"R.E. Nance and C.M. Overstreet, Diagnostic assistance using digraph representations of discrete event simulation model specifications. Trans. SCS 4(1987)33\u201357.","journal-title":"Trans. SCS"},{"key":"BF02136828_CR68","doi-asserted-by":"crossref","first-page":"B92","DOI":"10.1287\/mnsc.14.2.B92","volume":"14","author":"T.H. Naylor","year":"1967","unstructured":"T.H. Naylor and J.M. Finger, Verification of computer simulation models, Manag. Sci. 14(1967)B92-B101.","journal-title":"Manag. Sci."},{"key":"BF02136828_CR69","volume-title":"Testing in Software Development","author":"M.A. Ould","year":"1986","unstructured":"M.A. Ould and C. Unwin,Testing in Software Development (Cambridge University Press, Cambridge, 1986)."},{"key":"BF02136828_CR70","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/2786.2792","volume":"28","author":"C.M. Overstreet","year":"1985","unstructured":"C.M. Overstreet and R.E. Nance, A specification language to assist in analysis of discrete event simulation models, Commun. ACM 28(1985)190\u2013201.","journal-title":"Commun. ACM"},{"key":"BF02136828_CR71","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1145\/358598.358605","volume":"24","author":"T.I. \u00d6ren","year":"1981","unstructured":"T.I. \u00d6ren, Concepts and criteria to assess acceptability of simulation studies: A frame of reference, Commun. ACM 24(1981)180\u2013189.","journal-title":"Commun. ACM"},{"key":"BF02136828_CR72","first-page":"267","volume-title":"Modelling and Simulation Methodology in the Artificial Intelligence Era","author":"T.I. \u00d6ren","year":"1986","unstructured":"T.I. \u00d6ren, Artificial intelligence in quality assurance of simulation studies, in:Modelling and Simulation Methodology in the Artificial Intelligence Era, ed. M.S. Elzas, T.I. \u00d6ren and B.P. Zeigler (North Holland, Amsterdam, 1986) pp. 267\u2013278."},{"key":"BF02136828_CR73","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1177\/003754978704800406","volume":"48","author":"T.I. \u00d6ren","year":"1987","unstructured":"T.I. \u00d6ren, Quality assurance paradigms for artificial intelligence in modelling and simulation, Simulation 48(1987)149\u2013151.","journal-title":"Simulation"},{"key":"BF02136828_CR74","first-page":"422","volume-title":"Impa\u00e7ts of Recent ComputerAdvances on Operations Research","author":"R.J. Paul","year":"1989","unstructured":"R.J. Paul, Visual simulation: Seeing is believing?, in:Impa\u00e7ts of Recent ComputerAdvances on Operations Research, ed. R. Sharda, B.L. Golden, E. Wasil, O. Balci, and W. Stewart (Elsevier, New York, NY, 1989) pp. 422\u2013432."},{"key":"BF02136828_CR75","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1109\/TSE.1987.233487","volume":"13","author":"R.E. Prather","year":"1987","unstructured":"R.E. Prather and J.P. Myers, Jr., The path prefix software testing strategy, IEEE Trans. Software Eng. SE-13(1987)761\u2013766.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02136828_CR76","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1976.233835","volume":"2","author":"C.V. Ramamoorthy","year":"1976","unstructured":"C.V. Ramamoorthy, S.F. Ho and W.T. Chen, On the automated generation of program test data, IEEE Trans. Software Eng. SE-2(1976)293\u2013300.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02136828_CR77","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1109\/TSE.1976.233829","volume":"2","author":"C. Reynolds","year":"1976","unstructured":"C. Reynolds and R.T. Yeh, Induction as the basis for program verification, IEEE Trans. Software Eng. SE-2(1976)244\u2013252.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02136828_CR78","doi-asserted-by":"crossref","first-page":"1477","DOI":"10.1109\/TSE.1985.231892","volume":"11","author":"D.J. Richardson","year":"1985","unstructured":"D.J. Richardson and L.A. Clarke, Partition analysis: A method combining testing and verification, IEEE Trans. Software Eng. SE-11(1985)1477\u20131490.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02136828_CR79","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0045-7906(78)90016-2","volume":"5","author":"J.R. Rowland","year":"1978","unstructured":"J.R. Rowland and W.M. Holmes, Simulation validation with sparse random data, Comp. Elect. Eng. 5(1978)37\u201349.","journal-title":"Comp. Elect. Eng."},{"key":"BF02136828_CR80","first-page":"104","volume-title":"Validation and verification of simulation models","author":"R.G. Sargent","year":"1992","unstructured":"R.G. Sargent, Validation and verification of simulation models, in:Proc. 1992 Winter Simulation Conf., ed. J.J. Swain, D. Goldsman, R.C. Crain, and J.R. Wilson (IEEE, Piscataway, NJ, 1992) pp. 104\u2013114."},{"key":"BF02136828_CR81","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1002\/spe.4380020303","volume":"2","author":"E. Satterthwaite","year":"1972","unstructured":"E. Satterthwaite, Debugging tools for high level languages, Software \u2014 Practice and Experience 2(1972)197\u2013217.","journal-title":"Software \u2014 Practice and Experience"},{"key":"BF02136828_CR82","volume-title":"Software Engineering","author":"S.R. Schach","year":"1993","unstructured":"S.R. Schach,Software Engineering, 2nd ed. (Irwin, Homewood, IL 1993).","edition":"2nd ed."},{"key":"BF02136828_CR83","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1177\/003754977903200304","volume":"32","author":"S. Schlesinger","year":"1979","unstructured":"S. Schlesinger et al., Terminology for model credibility, Simulation 32(1979)103\u2013104.","journal-title":"Simulation"},{"key":"BF02136828_CR84","first-page":"227","volume-title":"Random variate generation","author":"B. Schmeiser","year":"1981","unstructured":"B. Schmeiser, Random variate generation, in:Proc. 1981 Winter Simulation Conf., ed. T.I. \u00d6ren, C.M. Delfosse and C.M. Shub (IEEE, Piscataway, NJ, 1981) pp. 227\u2013242."},{"key":"BF02136828_CR85","volume-title":"Simulation Using GPSS","author":"T.J. Schriber","year":"1974","unstructured":"T.J. Schriber,Simulation Using GPSS (Wiley, New York, NY, 1974)."},{"key":"BF02136828_CR86","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1177\/003754978003400310","volume":"34","author":"L.W. Schruben","year":"1980","unstructured":"L.W. Schruben, Establishing the credibility of simulations, Simulation 34(1980)101\u2013105.","journal-title":"Simulation"},{"key":"BF02136828_CR87","volume-title":"Systems Simulation: The Art and Science","author":"R.E. Shannon","year":"1975","unstructured":"R.E. Shannon,Systems Simulation: The Art and Science (Prentice-Hall, Englewood Cliffs, NJ, 1975)."},{"key":"BF02136828_CR88","first-page":"80","volume-title":"Current Trends in Programming Methodology, Vol. 2","author":"L.G. Stucki","year":"1977","unstructured":"L.G. Stucki, New directions in automated tools for improving software quality, in:Current Trends in Programming Methodology, Vol. 2, ed. R. Yeh (Prentice-Hall, Englewood Cliffs, NJ, 1977) pp. 80\u2013111."},{"key":"BF02136828_CR89","first-page":"9","volume":"6","author":"T.J. Teorey","year":"1975","unstructured":"T.J. Teorey, Validation criteria for computer system simulations, Simuletter 6(1975)9\u201320.","journal-title":"Simuletter"},{"key":"BF02136828_CR90","volume-title":"Economic Forecasts and Policy","author":"H. Theil","year":"1961","unstructured":"H. Theil,Economic Forecasts and Policy (North-Holland, Amsterdam, 1961)."},{"key":"BF02136828_CR91","first-page":"11","volume-title":"Computers and Thought","author":"A.M. Turing","year":"1963","unstructured":"A.M. Turing, Computing machinery and intelligence, in:Computers and Thought, ed. E.A. Feigenbaum and J. Feldman (McGraw-Hill, New York, NY, 1963) pp. 11\u201315."},{"key":"BF02136828_CR92","unstructured":"T.P. Tytula, A method for validating missile system simulation models, Technical Report E-78-11, U.S. Army Missile R&D Command, Redstone Arsenal, AL (1978)."},{"key":"BF02136828_CR93","unstructured":"U.S. GAO,DOD Simulations: Improved Assessment Procedures Would Increase the Credibility of Results, U.S. General Accounting Office GAO\/PEMD-88-3, Washington, DC (1987)."},{"key":"BF02136828_CR94","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1287\/mnsc.17.5.247","volume":"17","author":"R.L. Horn Van","year":"1971","unstructured":"R.L. Van Horn, Validation of simulation results, Manag. Sci. 17(1971)247\u2013258.","journal-title":"Manag. Sci."},{"key":"BF02136828_CR95","first-page":"165","volume-title":"The Design of Computer Simulation Experiments","author":"D. Watts","year":"1969","unstructured":"D. Watts, Time series analysis, in:The Design of Computer Simulation Experiments, ed. T.H. Naylor (Duke University Press, Durham, NC, 1969) pp. 165\u2013179."},{"key":"BF02136828_CR96","first-page":"559","volume-title":"Guidelines for selecting and using simulation model verification techniques","author":"R.B. Whitner","year":"1989","unstructured":"R.B. Whitner and O. Balci, Guidelines for selecting and using simulation model verification techniques, in:Proc. 1989 Winter Simulation Conf., ed. E.A. MacNair, K.J. Musselman and P. Heidelberger (IEEE, Piscataway, NJ, 1989) pp. 559\u2013568."},{"key":"BF02136828_CR97","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1177\/003754977803100204","volume":"31","author":"J.R. Wilson","year":"1978","unstructured":"J.R. Wilson and A.A.B. Pritsker, A survey of research on the simulation startup problem, Simulation 31(1978)55\u201358.","journal-title":"Simulation"},{"key":"BF02136828_CR98","first-page":"197","volume":"32","author":"R.N. Woolley","year":"1981","unstructured":"R.N. Woolley and M. Pidd, Problem structuring \u2014 A literature review, J. Oper. Res. Soc. 32(1981)197\u2013206.","journal-title":"J. Oper. Res. Soc."},{"key":"BF02136828_CR99","first-page":"1286","volume-title":"Validating dynamic models: An evaluation of tests of predictive power","author":"R.D. Wright","year":"1972","unstructured":"R.D. Wright, Validating dynamic models: An evaluation of tests of predictive power, in:Proc. 1972 Summer Computer Simulation Conf., San Diego, CA, (Simulation Councils, La Jolla, CA, 1972) pp. 1286\u20131296."},{"key":"BF02136828_CR100","first-page":"228","volume-title":"Current Trends in Programming Methodology, Vol. 2","author":"R.T. Yeh","year":"1977","unstructured":"R.T. Yeh, Verification of programs by predicate transformation, in:Current Trends in Programming Methodology, Vol. 2, ed. R. Yeh (Prentice-Hall, Englewood Cliffs, NJ, 1977) pp. 228\u2013247."},{"key":"BF02136828_CR101","volume-title":"Structured Walkthroughs","author":"E. Yourdon","year":"1985","unstructured":"E. Yourdon,Structured Walkthroughs, 3rd ed. (Yourdon Press, New York, NY, 1985).","edition":"3rd ed."},{"key":"BF02136828_CR102","first-page":"783","volume-title":"Building correct simulation models is difficult","author":"E. Y\u00fccesan","year":"1992","unstructured":"E. Y\u00fccesan and S.H. Jacobson, Building correct simulation models is difficult, in:Proc. 1992 Winter Simulation Conf., ed. J.J. Swain, D. Goldsman, R.C. Crain, and J.R. Wilson (IEEE, Piscataway, NJ, 1992) pp. 783\u2013790."}],"container-title":["Annals of Operations Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02136828.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02136828\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02136828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,17]],"date-time":"2021-07-17T14:53:49Z","timestamp":1626533629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02136828"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":102,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["BF02136828"],"URL":"https:\/\/doi.org\/10.1007\/bf02136828","relation":{},"ISSN":["0254-5330","1572-9338"],"issn-type":[{"value":"0254-5330","type":"print"},{"value":"1572-9338","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}