Reasoning-Based Software Testing.

Luca Giamattei, Roberto Pietrantuono, Stefano Russo

Browse the full ICSE paper archive.