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

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