Model-based testing

Proceedings - International Conference on Software Engineering

Volumn 2005, Issue , 2005, Pages 722-723

  Pretschner, Alexander ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Coverage; Development processes; Model based development

Indexed keywords

COVERAGE; DEVELOPMENT PROCESSES; MODEL-BASED DEVELOPMENT;

ABSTRACTING; INVERSE PROBLEMS; MATHEMATICAL MODELS; QUALITY ASSURANCE; SOFTWARE ENGINEERING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 33244497111     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2005.1553681     Document Type: Conference Paper

References (6)

1. R. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison Wesley, 1999.
2. M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, and A. Pretschner (eds.). Model-Based Testing. LNCS. Springer, 2005. To appear.
3. J. Musa. Software Reliability Engineering: More Reliable Software Faster and Cheaper. AuthorHouse, 2004.
4. G. Myers. The Art of Software Testing. J. Wiley and Sons, 1979.
5. A. Pretschner, O. Slotosch, A. Aiglstorfer, and S. Kriebel. Model-Based Testing for Real. Software Tools for Technology Transfer, 5(2-3): 140-157, 2004.
6. H. Zhu, P. Hall, and J. May. Software Unit Test Coverage and Adequacy. ACM Computing Surveys, 29(4):366-427, December 1997.