DMCA

F.: State space exploration using feedback constraint generation and Monte-Carlo sampling

by Richard M. Chang , Franjo Ivančić , Guofei Jiang
Venue:In: ESEC-FSE’07, ACM
Citations:7 - 2 self