Testing meets static and runtime verification.

Jess Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider

Browse the full ICSE paper archive.