Case studies on fault detection effectiveness of model based test generation techniques

Proceedings of the 1st International Workshop on Advances in Model-Based Testing, A-MOST '05

Volumn , Issue , 2005, Pages

  Paradkar, Amit ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDARY VALUES; CONCEPTUAL LEVELS; COVERAGE CRITERIA; EXPRESSIVE POWER; FAULT DETECTION EFFECTIVENESS; FAULT MODELING; MODEL-BASED TEST GENERATION; MODELING NOTATION; TEST GENERATIONS;

RESEARCH; TESTING;

FAULT DETECTION;

EID: 77954003772     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1083274.1083286     Document Type: Conference Paper

References (12)

1. P. E. Amman, P. E. Black, and W. Majurski. Using model checking to generate tests from specifications. In Proc. Int. Conf. on Formal Eng. Methods, pages 46-54, 1998.
2. E. Bernard, B. Legeard, X. Luck, and F. Peureux. "Generation of test sequences from formal specifications: GSM 11-11 standard case study". Software - Practice and Experience, 34:915-948, 2004.
3. L. Briand, M. Di Penta, and Y. Labiche. Assessing and improving state-based class testing - a series of experiments. Transactions on Software Engineering, 30(11):1-37, 2004.
4. D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva. STG: a tool for generating symbolic test programs and oracles from operational specifications. In ESEC / SIGSOFT FSE, pages 301-302, 2001.
5. G. Friedman, A. Hartman, K. Nagin, and T. Shiran. Projected state machine coverage for softare testing. In Proc. ACM Int. Symp. on Software Testing and Analysis, pages 134-143, July 2002.
6. S. Kim, J.A. Clark, and J.A. McDermid. The rigorous generation of java mutation using hazop. In Int. Conf. on Software & Systems Eng. and their App., 1999.
7. Bruno Legeard, Fabien Peureux, and Mark Utting. A comparison of the btt and ttf test-generation methods. In Proc. of ZB '02, pages 309-329, 2002.
8. J. Offutt, S. Liu, A. Abdurazik, and P. Ammann. Generating test data from state-based specifications. J. Software Testing, Verification and Reliability, 13:25-53, 2003.
9. A. M. Paradkar. "Plannable Test Selection Criteria for FSMs Extracted from Operational Specifications". In Proc. of Int. Symp. on Software Reliablity Eng.'2004, pages 173-184, November 2004.
10. A. Petrenko, S. Boroday, and R. Groz. "Confirming Configurations in EFSM Testing". IEEE Trans. Software Eng., 30(1):29-42, January 2004.
11. P. Stocks and D. Carrington. A framework for specification-based testing. IEEE Trans. Software Eng., 22(11):777-793, November 1996.
12. K. C. Tai. Theory of fault-based predicate testing for computer programs. IEEE Trans. Software Eng., 22(8):552-562, August 1996.