Symbolic Test Selection Based on Approximate Analysis.

Bertrand Jeannet, Thierry Jron, Vlad Rusu, Elena Zinovieva

Browse the full TACAS paper archive.