| Autor: |
Hierons, RM, Bogdanov, K, Bowen, JP, Cleaveland, R, Derrick, J, Dick, JH, Gheorghe, M, Harman, M, Kapoor, K, Krause, P, Luettgen, G, Simons, AJH, Vilkomir, S, Woodward, M |
| Jazyk: |
angličtina |
| Rok vydání: |
2008 |
| Předmět: |
|
| Popis: |
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. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
