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.

make test-zesti: A symbolic execution solution for improving regression testing

Paul Dan Marinescu, Cristian Cadar. make test-zesti: A symbolic execution solution for improving regression testing. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 716-726, IEEE, 2012. [doi]

Authors

Paul Dan Marinescu

This author has not been identified. Look up 'Paul Dan Marinescu' in Google

Cristian Cadar

This author has not been identified. Look up 'Cristian Cadar' in Google
runs on