True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing

Sayali Salvi, Daniel Kästner, Tom Bienmüller, Christian Ferdinand. True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. In Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier, editors, Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Volume 8696 of Lecture Notes in Computer Science, pages 84-96, Springer, 2014. [doi]

Abstract

Abstract is missing.