A comparison of the model-based & algebraic styles of specification as a basis for test specification
Richard Denney · ACM SIGSOFT Software Engineering Notes · 1996
The use of formal specifications as a basis for specifying functional tests has been discussed by a numbers of researchers with most work focusing on one style of specification or another separately. But is any single style an adequate basis for writing functional tests? The strengths, weaknesses and complementary nature of two popular styles of software specification, model-based and algebraic, are examined as a basis for functional test specification.