Using Test Oracles and Formal Specifications with Test-Driven Development.

Shadi G. Alawneh Dennis K. Peters

Published in: Int. J. Softw. Eng. Knowl. Eng. (2013)

Keyphrases

test driven development
formal specification
software development
software testing
test cases
specification languages
specification language
object oriented design
databases
machine learning
active learning
case study
design methodology
formal methods
process algebra
database