Introducing Model-Based Testing in Industrial Context – An Experience Report
暂无分享,去创建一个
Stephan Weißleder | Jaroslav Svacina | Hartmut Lackner | S. Weißleder | H. Lackner | Jaroslav Svacina | Mirko Aigner | M. Kresse | Mirko Aigner | Marina Kresse
[1] Glenford J. Myers,et al. Art of Software Testing , 1979 .
[2] Manfred Broy,et al. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) , 2005 .
[3] Alexander Pretschner,et al. One evaluation of model-based testing and its automation , 2005, ICSE.
[4] Rajesh Subramanyan,et al. Peer-to-Peer Comparison of Model-Based Test Tools , 2008, GI Jahrestagung.
[5] A. Jefferson Offutt,et al. Generating Tests from UML Specifications , 1999, UML.
[6] Bruno Legeard,et al. Boundary coverage criteria for test generation from formal models , 2004, 15th International Symposium on Software Reliability Engineering.
[7] Luciano Baresi,et al. An Introduction to Software Testing , 2006, FoVMT.
[8] Robert V. Binder,et al. Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .
[9] Mario Friske,et al. Improving Test Coverage for UML State Machines Using Transition Instrumentation , 2007, SAFECOMP.
[10] Stephan Weißleder,et al. Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation , 2009, MoDELS.
[11] Manfred Broy,et al. Model-Based Testing of Reactive Systems, Advanced Lectures , 2005 .