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

Sayali Salvi, Daniel Kstner, Tom Bienmller, Christian Ferdinand

Browse the full SAFECOMP paper archive.