Verification Approach of Metropolis Design Framework for Embedded Systems Xi ChenHarry HsiehFelice Balarin OriginalPaper 25 January 2006 Pages: 3 - 27
Verification of System Level Model Transformations Samar AbdiDaniel Gajski OriginalPaper 01 February 2006 Pages: 29 - 59
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions David CurrieXiushan FengSreeranga Rajan OriginalPaper 07 February 2006 Pages: 61 - 91
Efficient Techniques for Automatic Verification-Oriented Test Set Optimization Ernesto SánchezMatteo Sonza ReordaGiovanni Squillero Testing of Embedded Systems 12 January 2006 Pages: 93 - 109