organization's business context and respect legacy languages, design styles, and development processes. Siddhartha develops domain-specific test automation support for transforming formal test specifications (TestSpecs) into test driver-oracle procedures (TDOPs), where a TDOP invokes not only the unit-under-test (UUT) but also an embedded oracle that verifies whether the tested UUT behavior agrees with the expected behavior expressed in TestSpec. In using Siddhartha, a test engineer develops a domain-specific synthesizer to accept and generate formal test artifacts in formats, languages, and styles already in use in her application domain. Thus, Siddhartha provides test development automation support in application domains that cannot be wellsupported by general-purpose test development tools.
Unfortunately, ACM prohibits us from displaying non-influential references for this paper.
To see the full reference list, please visit http://dl.acm.org/citation.cfm?id=341138.