Inferring Incorrectness Specifications for Object-Oriented Programs.

Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin

Browse the full TACAS paper archive.