New test approach for embedded applications

: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics covered include what Abstract Interpretation is, how it works, how it can help in verification and validation activities. It will also present an industrial tool for the automatic detection of runtime errors.

• Type: Conference
• Year: 2007
• Where: SE
• Authors: Alain Deutsch, Klaus Wissing
• Keywords: Abstract Interpretation, SE 2007, Software Engineering, Static Tion, Validation Ded Applications