FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.

Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Browse the full CAV paper archive.