DMCA

Abstracting Formal Specifications to Generate Software Tests via Model Checking (1999)

Cached

Download Links

by Paul Ammann , Paul E. Black
Citations:26 - 2 self