External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Symbolic Execution with Interval Solving and Meta-heuristic Search

Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu. Symbolic Execution with Interval Solving and Meta-heuristic Search. In Giuliano Antoniol, Antonia Bertolino, Yvan Labiche, editors, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. pages 111-120, IEEE, 2012. [doi]

Authors

Mateus Borges

This author has not been identified. Look up 'Mateus Borges' in Google

Marcelo d'Amorim

This author has not been identified. Look up 'Marcelo d'Amorim' in Google

Saswat Anand

This author has not been identified. Look up 'Saswat Anand' in Google

David H. Bushnell

This author has not been identified. Look up 'David H. Bushnell' in Google

Corina S. Pasareanu

This author has not been identified. Look up 'Corina S. Pasareanu' in Google
runs on