DMCA

Mutually enhancing test generation and specification inference (2003)

by Tao Xie , David Notkin
Venue:In Proc. 3rd International Workshop on Formal Approaches to Testing of Software, volume 2931 of LNCS
Citations:25 - 3 self