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.

High-Coverage Symbolic Patch Testing

Paul Dan Marinescu, Cristian Cadar. High-Coverage Symbolic Patch Testing. In Alastair F. Donaldson, David Parker, editors, Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Volume 7385 of Lecture Notes in Computer Science, pages 7-21, Springer, 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