Finding common ground: Choose, assert, and assume

Alex Groce, Martin Erwig

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations


At present, the "testing community" is on good speaking terms, but typically lacks a common language for expressing some computational ideas, even in cases where such a language would be both useful and plausible. In particular, a large body of testing systems define a testing problem in the language of the system under test, extended with operations for choosing inputs, asserting properties, and constraining the domain of executions considered. While the underlying algorithms used for "testing" include symbolic execution, explicit-state model checking, machine learning, and "old fashioned" random testing, there seems to be a common core of expressive need. We propose that the dynamic analysis community could benefit from working with some common syntactic (and to some extent semantic) mechanisms for expressing a body of testing problems. Such a shared language would have immediate practical uses and make cross-tool comparisons and research into identifying appropriate tools for different testing activities easier. We also suspect that considering the more abstract testing problem arising from this minimalist common ground could serve as a basis for thinking about the design of usable embedded domain-specific languages for testing and might help identify computational patterns that have escaped the notice of the community.

Original languageEnglish (US)
Title of host publication10th International Workshop on Dynamic Analysis, WODA 2012 - Proceedings
Number of pages6
StatePublished - 2012
Externally publishedYes
Event10th International Workshop on Dynamic Analysis, WODA 2012 - Minneapolis, MN, United States
Duration: Jul 15 2012Jul 15 2012

Publication series

Name10th International Workshop on Dynamic Analysis, WODA 2012 - Proceedings


Conference10th International Workshop on Dynamic Analysis, WODA 2012
Country/TerritoryUnited States
CityMinneapolis, MN


  • Random testing
  • domain specific languages
  • model checking
  • symbolic execution

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Finding common ground: Choose, assert, and assume'. Together they form a unique fingerprint.

Cite this