Testing nondeterminate systems

Proceedings of the International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2000, Pages 222-231

  Menzies, Tim ^a   Cukic, Bojan ^b   Singh, Harhsinder ^b   Powell, John ^b  

^a NASA HEADQUARTERS   (United States)

^b WEST VIRGINIA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SYSTEMS; ERROR CORRECTION; MAINTAINABILITY; RELIABILITY; STRESS ANALYSIS;

NONDETERMINATE SYSTEMS;

COMPUTER TESTING;

EID: 0034546896     PISSN: 10719458     EISSN: None     Source Type: Journal    
DOI: 10.1109/ISSRE.2000.885874     Document Type: Article

References (22)

1. L. S. A. Bertolino On the use of testability measures for dependability assessment IEEE Trans. Software Engineering 22 2 97 108 Feb 1996
2. A. Acree On Mutations 1980
3. A. Avritzer J. Ros E. Weyuker Reliability of rule-based systems IEEE Software 76 82 September 1996
4. J. Bieman J. Schultz An empirical evaluation (and specification) of the all-du-paths testing criterion Software Engineering Journal 7 1 43 51 1992
5. T. Budd Mutation analysis of programs test data 1980 Yale University
6. R. Colomb Representation of propositional expert systems as partial functions Artificial Intelligence 1999 http://www.csee.uq.edu.au/colomb/PartialFunctions.html
7. J. Crawford A. Baker Experimental results on the application of satisfiability algorithms to scheduling problems AAAI '94 AAAI '94 1994
8. N. E. Fenton S. Pfleeger Software Metrics: A Rigorous & Practical Approach 1997 International Thompson Press
9. A. Finkelstein D. Gabbay A. Hunter J. Kramer B. Nuseibeh Inconsistency handling in multi-perspective specification IEEE Transactions on Software Engineering 20 8 569 578 1994
10. G. Holzmann The model checker SPIN IEEE Transactions on Software Engineering 23 5 279 295 May 1997
11. J. Horgan A. Mathur The Handbook of Software Reliability Engineering 531 565 1996 McGraw-Hill Software testing and reliability
12. T. Menzies B. Cukic Adequacy of limited testing for knowledge based systems International Journal on Artificial Intelligence Tools (IJAIT) June 2000
13. T. Menzies S. Easterbrook B. Nuseibeh S. Waugh An empirical investigation of multiple viewpoint reasoning in requirements engineering RE '99 RE '99 1999 http://research.ivv.nasa.gov/does/techreports/1999/NASA-IVV-99-009.pdf
14. T. Menzies C. Michael Fewer slices of pie: Optimising mutation testing via abduction SEKE '99 SEKE '99 Kaiserslautern Germany 1999-June-17-19 http://research.ivv.nasa.gov/docs/techreports/1999/NASA-IVV-99-007.pdf
15. C. Michael On the uniformity of error propagation in software Proceedings of the 12th Annual Confererence on Computer Assurance (COMPASS '97) Proceedings of the 12th Annual Confererence on Computer Assurance (COMPASS '97) Gaithersburg MD 1997
16. K. Miller L. J. Morell R. E. Noonan S. Κ. Park D. M. Nicol B. W. Murrill J. W. Voas Estimating the probability of failure when testing reveals no failures IEEE Trans. on Software Engineering 18 1 33 44 Jan 1992
17. J. Quinlan Induction of decision trees Machine Learning 1 81 106 1986
18. G. Rothermel M. Harrold J. Ostrin C. Hong An empirical study of the effects of minimizaton on the fault-detection capabilities of test suites Proceedings of International Conference on Software Maintenance '98 34 43 Proceedings of International Conference on Software Maintenance '98 1998-November http://www.cis.ohio-state.edu/harrold/research/webpapers/icsm98-min.pd%f
19. F. Schneider S. Easterbrook J. Callahan G. Holzmann W. Reinholtz A. Ko M. Shahabuddin Validating requirements for fault tolerant systems using model checking 3rd IEEE International Conference On Requirements Engineering 3rd IEEE International Conference On Requirements Engineering 1998
20. B. Selman H. Levesque D. Mitchell A new method for solving hard satisfiability problems AAAI '92 440 446 AAAI '92 1992
21. B. Williams P. Nayak A model-based approach to reactive self-configuring systems Proceedings, AAAI '96 971 978 Proceedings, AAAI '96 1996
22. W. Wong A. Mathur Reducing the cost of mutation testing: An empirical study The Journal of Systems and Software 31 3 185 196 December 1995