Susanne Kandl, Raimund Kirner, Peter P. Puschner. Automated Formal Verification and Testing of C Programs for Embedded Systems. In Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece. pages 373-381, IEEE Computer Society, 2007. [doi]
Abstract is missing.