DMCA

Symbolic test selection based on approximate analysis (2005)

by Vlad Rusu , Elena Zinovieva
Venue:In TACAS
Citations:46 - 10 self