WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software.

Varsha P. Suresh, Sujit Kumar Chakrabarti, Athul Suresh, Raoul Jetley

Browse the full SEKE paper archive.