Adapting Structural Testing to Functional Programming.

Published in: Software Engineering Research and Practice (2006)

Keyphrases

functional programming
execution model
functional language
quantifier elimination
programming language
object oriented programming
test cases
object oriented
databases