Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems ∗
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. Software Verification with BLAST , 2003, SPIN.
[2] Raimund Kirner,et al. Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems , 2006, 2006 International Workshop on Intelligent Solutions in Embedded Systems.
[3] Vadim Okun,et al. Testing with Model Checker: Insuring Fault Visibility , 2002 .
[4] Paul E. Black. Modeling and marshaling: making tests from model checker counterexamples , 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).
[5] Paul Ammann,et al. A specification-based coverage metric to evaluate test sets , 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.
[6] Angelo Gargantini,et al. Using model checking to generate tests from requirements specifications , 1999, ESEC/FSE-7.
[7] Daniel Kroening,et al. A Tool for Checking ANSI-C Programs , 2004, TACAS.
[8] Leonardo de Moura,et al. Automated Test Generation with SAL , 2005 .
[9] Sanjai Rayadurgam,et al. Coverage based test-case generation using model checkers , 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.
[10] Stephan Merz,et al. Model Checking , 2000 .
[11] Doron A. Peled,et al. Model checking, testing and verification working together , 2005, Formal Aspects of Computing.
[12] John R. Callahan,et al. Automated Software Testing Using Model-Checking , 1996 .
[13] Paul Ammann,et al. Using model checking to generate tests from specifications , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
[14] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .
[15] Angelika Mader,et al. Model checking embedded system designs , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..