Model Based Testing with Labelled Transition Systems

By J. Tretmans. Formal Methods and Testing, 2008

482 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Software

View Paper: https://www.semanticscholar.org/paper/4fe258774fb1257d2177e93fab944657af7395d4

How researchers see this paper

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

In Computer Networks and Communications

1. Tsong Yueh Chen
2. John A. Clark
3. Mark Harman
4. Wolfgang Grieskamp
5. Edmund Kieran Burke
6. Myra B. Cohen
7. Phil McMinn
8. Saswat Anand

In Software

1. Mark Harman
2. Phil McMinn
3. Myra B. Cohen
4. Tsong Yueh Chen
5. Mary Jean Harrold
6. Saswat Anand
7. John A. Clark
8. Wolfgang Grieskamp

Citations in the corpus

• An orchestrated survey of methodologies for automated software test case generation (2013, background): “The effect of distributed systems has been investigated for IOCO in (Hierons et al., 2008).”