Using a model checker to test safety properties

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2001, Pages 212-221

  Ammann, P ^a   Ding, W ^a   Xu, D ^a  

^a GEORGE MASON UNIVERSITY   (United States)

Author keywords

Model checking; Mutation analysis; Safety; Software testing

Indexed keywords

COMPUTATIONAL METHODS; DATA STRUCTURES; FORMAL LOGIC; LOGIC DESIGN; MATHEMATICAL MODELS; PROGRAM DIAGNOSTICS;

COMPUTATION TREE LOGIC; LOGIC OPERATORS; MODEL CHECKER; SPECIFICATION BASED TESTING; TEMPORAL LOGIC;

SOFTWARE ENGINEERING;

EID: 0034869711     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Evaluation of three specification-based coverage testing criteria
2. A specification-based coverage metric to evaluate test sets
3. Using model checking to generate tests from specifications
4. A logic-model semantics for SCR software requirements
5. Modeling and marshaling: Making tests from model checker counterexamples
6. Mutation operators for specifications
7. Specification-based testing using model-checking
8. Model checking large software specifications
9. Hints on test data selection: Help for the practicing programmer
10. Using model checking to generate test cases for critical systems
11. Test generation for intelligent networks using model checking
12. Mutation analysis testing for finite state machines
13. Mutation analysis applied to validate specifications based on petri nets
14. Test selection based on finite state models
15. Data-abstraction implementation, specification, and testing
16. Using model checking to generate tests from requirements specifications
17. Automated consistency checking of requirements specifications
18. Example NRL/SCR software requirements for an automobile cruise control and monitoring system
19. "Sometime" is sometimes "not never" - On the temporal logic of programs
20. Specifying the mode logic of a flight guidance system in CoRE and SCR
21. On the statistical validation of computer programs
22. Model-based vulnerability analysis of computer systems
23. Using model checking to analyze network vulnerabilities
24. A framework for specification-based testing
25. Errors in algebraic specifications and an experimental mutation testing tool