STG: A Symbolic Test Generation Tool.

Duncan Clarke, Thierry Jron, Vlad Rusu, Elena Zinovieva

Browse the full TACAS paper archive.