Using formal specifications to support testing
- Hierons, R.M.
- Bogdanov, K.
- Bowen, J.P.
- Cleaveland, R.
- Derrick, J.
- Dick, J.
- Gheorghe, M.
- Harman, M.
- Kapoor, K.
- Krause, P.
- Lüttgen, G.
- Simons, A.J.H.
- Vilkomir, S.
- Woodward, M.R.
- Zedan, H.
Publication date
January 2009
DOIAbstract
Formal methods and testing are two important approaches that assist in the development of high-quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing
Add to ORKG