Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
State-based model checking of event-driven system requirements
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Model diagnosis using the condition specification: from conceptualization to implementation
WSC '94 Proceedings of the 26th conference on Winter simulation
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
Computational issues for accessibility in discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Strategic directions in software quality
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Improving efficiency of symbolic model checking for state-based system requirements
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
All-du-path coverage for parallel programs
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Efficient composite data flow analysis applied to concurrent programs
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Observations on the complexity of composable simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Proceedings of the 32nd conference on Winter simulation
Planning for verification, validation, and accreditation of modeling and simulation applications
Proceedings of the 32nd conference on Winter simulation
Software Testing
Proceedings of the 33nd conference on Winter simulation
Arena: the Arena product family: enterprise modeling solutions
Proceedings of the 33nd conference on Winter simulation
Extend: the extend simulation environment
Proceedings of the 33nd conference on Winter simulation
ProModel/MedModel: simulation modeling and optimization using ProModel technology
Proceedings of the 33nd conference on Winter simulation
The Complete Guide to Software Testing
The Complete Guide to Software Testing
Model specification and analysis for discrete event simulation
Model specification and analysis for discrete event simulation
Building modeling tools that support verification, validation, and testing for the domain expert
WSC '05 Proceedings of the 37th conference on Winter simulation
Hi-index | 0.00 |
Effective testing of software is an important concern in the software engineering community. While many techniques regularly used for testing software apply equally well to testing the implementations of simulation models, we believe that testing simulations often raises issues that occur infrequently in other types of software. We believe that many code characteristics that commonly occur in simulation code are precisely those that the software testing community has identified as making testing challenging. We discuss many of the techniques that software engineering community has developed to deal with those features and evaluate their applicability to simulation development.