Finding Feasible Counter-examples when Model Checking Abstracted Java Programs (2001)

Cached

Download Links

by Corina S. Pasareanu , Matthew B. Dwyer , Willem Visser
Venue:In Proceedings of TACAS
Citations:47 - 5 self