Using formal specifications to support testing

By Robert M. Hierons, K. Bogdanov, Jonathan P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, Mark Harman, K. Kapoor, P. Krause and 5 more. CSUR, 2009

391 citations recorded by the source corpus.

Subfields: Information Systems, Software

View Paper: https://www.semanticscholar.org/paper/b57f3c75b041eb48328bd43e7cd9be26e7ff6355

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Information Systems

1. Mark Harman
2. Phil McMinn
3. Shin Yoo
4. Earl T. Barr
5. Mark Utting
6. Bruno Legeard
7. Alexander Pretschner
8. Andrea Arcuri

In Software

1. Mark Harman
2. Phil McMinn
3. Shin Yoo
4. Earl T. Barr
5. Mark Utting
6. Bruno Legeard
7. Muzammil Shahbaz
8. Alexander Pretschner

Citations in the corpus

• The Oracle Problem in Software Testing: A Survey (2015, background): “finite set of states and are therefore particularly well-suited for automated reasoning about systems whose behaviour can be abstracted into states defined by a finite set of values [93].”
• A taxonomy of model‐based testing approaches (2012, background): “[2] discusses many of these paradigms in more detail.”