Combining Input Constraints with Execution Goals.

Leon Bettscheider, Marius Smytzek, Andreas Zeller

Browse the full ICST paper archive.