Handling Backtracking for Symbolic Testing of Embedded Software.

Varsha P. Suresh, Sujit Kumar Chakrabarti, Raoul Jetley, Devina Mohan

Browse the full ETFA paper archive.