2 search results - page 1 / 1 » TETE: A Non-Invasive Unit Testing Framework for Source Trans... |
STEP
2005
IEEE
13 years 10 months ago
2005
IEEE
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...