DMCA

Symbolic test selection based on approximate analysis (2005)

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