Test case generation principle based on assume-guarantee reasoning.

Toms Ausberger, Karel Kubicek, Pavla Medvecov

Browse the full ETFA paper archive.