Issue 1/2006
Content (5 Articles)
Verification Approach of Metropolis Design Framework for Embedded Systems
Xi Chen, Harry Hsieh, Felice Balarin
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions
David Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga Rajan
Testing of Embedded Systems
Efficient Techniques for Automatic Verification-Oriented Test Set Optimization
Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero