DMCA

Using Model Checking to Generate Tests from Requirements Specifications (1999)

Cached

Download Links

by Angelo Gargantini , Constance Heitmeyer
Citations:175 - 16 self