A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.

Jan Peleska A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. 3-22 2008 ICTAC http://dx.doi.org/10.1007/978-3-540-85762-4_2 conf/ictac/2008 db/conf/ictac/ictac2008.html#Peleska08