Extension-Aware Automated Testing Based on Imperative Predicates.

Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid

Browse the full ICST paper archive.