Testing, abstraction, theorem proving: better together (2006)

by Greta Yorsh
Venue:In Software Testing and Analysis (ISSTA
Citations:16 - 0 self