Systematic software testing: The Korat approach

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Systematic software testing: The Korat approach'. Together they form a unique fingerprint.

Engineering & Materials Science