Zur Kosteneffektivität des modellbasierten Testens
暂无分享,去创建一个
[1] Alan Hartman,et al. Using a model-based test generator to test for standard conformance , 2002, IBM Syst. J..
[2] Alexander Pretschner,et al. One evaluation of model-based testing and its automation , 2005, ICSE.
[3] Thierry Heuillard,et al. AGEDIS Case Studies: Model-Based Testing in Industry , 2003 .
[4] Siddhartha R. Dalal,et al. Model-based testing in practice , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[5] Jian Shen,et al. An RTL Abstraction Technique for Processor Microarchitecture Validation and Test Generation , 2000, J. Electron. Test..
[6] Albert Endres,et al. A handbook of software and systems engineering - empirical observations, laws and theories , 2003, The Fraunhofer IESE series on software engineering.
[7] Bruno Legeard,et al. Generation of test sequences from formal specifications: GSM 11‐11 standard case study , 2004, Softw. Pract. Exp..
[8] Jesse H. Poore,et al. Generating transition probabilities to support model‐based software testing , 2000 .
[9] L. Fournier,et al. Developing an architecture validation suite: application to the PowerPC architecture , 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
[10] Bruno Legeard,et al. A taxonomy of model-based testing , 2006 .
[11] Mark Blackburn,et al. Why Model-Based Test Automation is Different and What You Should Know to Get Started , 2004 .
[12] Joachim Wegener,et al. Automatic Testing of an Autonomous Parking System Using Evolutionary Computation , 2004 .
[13] Alexander Pretschner,et al. Model-Based Test Case Generation for Smart Cards , 2003, FMICS.
[14] Alexander Pretschner,et al. Methodological Issues in Model-Based Testing , 2004, Model-Based Testing of Reactive Systems.
[15] John D. Musa,et al. Software Reliability Engineering , 1998 .
[16] Jim Clarke. Automated test generation from a behavioral model , 1998 .
[17] Nicolae Goga,et al. Formal Test Automation: A Simple Experiment , 1999, IWTCS.
[18] César Viho,et al. An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol , 1998, IWTCS.
[19] Alexander Pretschner,et al. Abstractions for Model-Based Testing , 2005, Electron. Notes Theor. Comput. Sci..
[20] Daniel Geist,et al. Semi-formal test generation with Genevieve , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[21] P. Hall,et al. Software Unit Test Coverage and Adequacy HONG , 1997 .
[22] Duncan Clarke,et al. Automated Test and Oracle Generation for Smart-Card Applications , 2001, E-smart.
[23] J. K. Buckle. Reviews and Inspections , 1982 .
[24] Robert V. Binder,et al. Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .