Validation, verification, and testing techniques throughout the life cycle of a simulation study

Simulation Modeling and Analysis.

1983 • 9,138 citations

Computing Machinery and Intelligence (1950)

2004 • 6,264 citations

The Art of Software Testing

1979 • 3,052 citations

The Lambda Calculus - Its Syntax and Semantics

1984 • 2,897 citations

Symbolic execution and program testing

1976 • 2,890 citations

Discrete-Event System Simulation

1984 • 2,601 citations

Guarded commands, nondeterminacy and formal derivation of programs

1975 • 1,898 citations

Discrete-Event System Simulation

1984 • 1,499 citations

Economic Forecasts and Policy

1962 • 1,020 citations

Systems Simulation: The Art and Science

1975 • 613 citations

Principles of Discrete Event Simulation.

1980 • 564 citations

Systems Simulation: The Art and Science

1976 • 552 citations

Economic Forecasts and Policy

1962 • 437 citations

Verification of Computer Simulation Models

1967 • 430 citations

Validation, Verification, and Testing of Computer Software

1982 • 429 citations

Reliability of the Path Analysis Testing Strategy

1976 • 409 citations

A program data flow analysis procedure

1976 • 400 citations

Validation and verification of simulation models

1999 • 391 citations

Terminology for model credibility

1979 • 381 citations

Simulation using GPSS

1974 • 379 citations

Terminology for model credibility

1980 • 367 citations

Principles of Discrete Event Simulation

1979 • 343 citations

On the Automated Generation of Program Test Data

1976 • 323 citations

A controlled experiment in program testing and code walkthroughs/inspections

1978 • 268 citations

Design and use of computer simulation models

1970 • 245 citations

Feature Article—Decision-Aiding Models: Validation, Assessment, and Related Issues for Policy Analysis

1983 • 222 citations

The complete guide to software testing

1984 • 221 citations

Structured walkthroughs

1978 • 201 citations

Validation of Simulation Results

1971 • 194 citations

An improved inspection technique

1993 • 193 citations

Handbook of Software Quality Assurance

1987 • 191 citations

Functional Program Testing

1980 • 184 citations

The complete guide to software testing

1985 • 170 citations

Diagramming techniques for analysts and programmers

1984 • 168 citations

Establishing the credibility of simulations

1980 • 165 citations

A methodology for cost-risk analysis in the statistical validation of simulation models

1981 • 163 citations

A survey of research on the simulation startup problem

1978 • 147 citations

Guidelines for successful simulation studies

2002 • 146 citations

The Analysis of Simulation-Generated Time Series

1967 • 140 citations

Inductive methods for proving properties of programs

1973 • 140 citations

Validation and Verification of Simulation Models

2005 • 135 citations

Statistical Analysis of Simulation Output Data

1980 • 134 citations

Program Construction and Verification

1986 • 124 citations

Principles of simulation model validation, verification, and testing

1997 • 123 citations

Validation problems in games and simulations with special reference to models of international politics

1967 • 123 citations

Partition Analysis: A Method Combining Testing and Verification

1985 • 119 citations

Concepts and criteria to assess acceptability of simulation studies

1981 • 116 citations

A specification language to assist in analysis of discrete event simulation models

1985 • 116 citations

The design of computer simulation experiments

1969 • 113 citations

The implementation of four conceptual frameworks for simulation modeling in high-level languages

1988 • 107 citations

Statistical validation of simulation models

1995 • 106 citations

Guidelines for selecting and using simulation model verification techniques

1989 • 104 citations

Modelling and simulation methodology in the artificial intelligence era.

1986 • 95 citations

The Conical Methodology and the evolution of simulation model development

1994 • 95 citations

Feature Article—Statistical Analysis of Simulation Output Data

1983 • 95 citations

Requirements for model development environments

1986 • 93 citations

Validation of Simulation Models via Simultaneous Confidence Intervals

1984 • 89 citations

Debugging tools for high level languages

1972 • 88 citations

Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing

1987 • 86 citations

Computer Models in Dynamic Economics

1961 • 86 citations

Formulated problem verification as an explicit requirement of model credibility

1985 • 81 citations

Simulation Model Development Environments: A Research Prototype

1987 • 77 citations

The Path Prefix Software Testing Strategy

1987 • 75 citations

Impacts of recent computer advances on operations research

1989 • 73 citations

Problem Structuring — A Literature Review

1981 • 72 citations

Some examples of simulation model validation using hypothesis testing

1982 • 72 citations

Guarded commands, non-determinacy and a calculus for the derivation of programs

1975 • 67 citations

Sensitivity analysis and validation of simulation models

1974 • 65 citations

Model Representation in Discrete Event Simulation: The Conical Methodology

1981 • 62 citations

Software inspections and the industrial production of software

1984 • 60 citations

Validation of multivariate response models using Hotelling's two-sample T2 test

1982 • 58 citations

On validating simulation models of missile systems

1978 • 56 citations

Testing in software development

1987 • 50 citations

Software verification and validation: Realistic project approaches

1983 • 47 citations

The Conical Methodology: A Framework for Simulation Model Development

1987 • 46 citations

An experimental program-testing facility

1975 • 46 citations

Using symbolic execution for verification of Ada tasking programs

1990 • 32 citations

Quality assurance paradigms for artificial intelligence in modelling and simulation

1987 • 31 citations

Diagnostic Assistance Using Digraph Representation of Discrete Event Simulation Model Specifications

1986 • 30 citations

A Note on Verification of Computer Simulation Models

1972 • 28 citations

Validation fo Multivariate Response Trace-driven Simulation Models

1983 • 24 citations

Validation criteria for computer system simulations

1975 • 20 citations

Building correct simulation models is difficult

1992 • 20 citations

Simulation validation with sparse random data

1978 • 16 citations

Induction as the Basis for Program Verification

1976 • 15 citations

Time Series Realizations Obtained According to an Experimental Design

1974 • 15 citations

Random variate generation

1981 • 10 citations

A method for validating missile system simulation models

1978 • 9 citations

Guidelines For Selecting And Using Simulation Model Verification Techniques

2005 • 9 citations

Statistical evaluation and verification of digital simulation models through spectral analysis

1970 • 8 citations

Logic Programming for Software Verification and Testing

1991 • 6 citations