Specification Based Regression Testing Using Explicit State Space Enumeration.

Sujit Kumar Chakrabarti, Y. N. Srikant

Browse the full ICSEA paper archive.