IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automated Formal Verification and Testing of C Programs for Embedded Systems

2007 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing

Author(s): S. Kandl ; R. Kirner ; P. Puschner
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2007
Conference Location: Santorini Island, Greece
Conference Date: 7 May 2007
Page(s): 373 - 381
ISBN (Paper): 0-7695-2765-5
DOI: 10.1109/ISORC.2007.22
Regular:

In this paper, we introduce an approach for automated verification and testing of ANSI C programs for embedded systems. We automatically extract an automaton model from the C code of the SUT... View More

Advertisement