[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Symbolic Execution with Interval Solving and Meta-heuristic Search
Borges, Mateus; d'Amorim, Marcelo; Anand, Saswat; Bushnell, David; Pasareanu, Corina S.
- 作者Borges, Mateus; d'Amorim, Marcelo; Anand, Saswat; Bushnell, David; Pasareanu, Corina S.
- 文件大小389.64KB
- 发表时间2012
- DOI10.1109/ICST.2012.91
- 页码111-120