Automated testing with targeted event sequence generation.

Casper Svenning Jensen, Mukul R. Prasad, Anders Mller

Browse the full ISSTA paper archive.