Development of an automated testing software for real time systems
暂无分享,去创建一个
[1] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.
[2] Klaus Beetz,et al. Model Based Testing of System Requirements using UML Use Case Models , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.
[3] István Majzik,et al. Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers , 2006, 2006 International Conference on Dependability of Computer Systems.
[4] Andreas Krämer,et al. Model-Based Testing of Automotive Systems , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.
[5] Dae-Hyun Kum,et al. Automated Testing for Automotive Embedded Systems , 2006, 2006 SICE-ICASE International Joint Conference.
[6] Ismael Rodríguez,et al. Formally comparing user and implementer model-based testing methods , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.
[7] Joachim Wegener,et al. Evolutionary Testing of Embedded Systems , 2003 .