Symbolic execution for software testing in practice: preliminary assessment

In  ICSE

Details

TypeInproceedings
Pages1066-1071
> Publications > Symbolic execution for software testing in practice: preliminary assessment