A Meaningful Bound for Branch Testing (Abstract).

Antonia Bertolino, Martina Marr

Browse the full ISSTA paper archive.