A UML-Based Approach to System Testing

The category-partition method for specifying and generating functional tests

Thomas J. Ostrand, Marc Balcer · Communications of the ACM · 1988 · 795 citations · Full text

Computing, Computer Science, Systems Engineering +15

Generating Tests from UML Specifications

1999 · 325 citations

Computing, Computer Science, Systems Engineering +12

Using UML Collaboration Diagrams for Static Checking and Test Generation

2000 · 215 citations

Computing, Computer Engineering, Computer Science +16

Measures of testability as a basis for quality assurance

Richard Bache, Monika Müllerburg · Software Engineering Journal · 1990 · 83 citations

Computing, Computer Science, Quality Assurance +15

Robustness and diagnosability of OO systems designed by contracts

Benoît Baudry, Yves Le Traon, Jean‐Marc Jezéquél · 2002 · 33 citations

Engineering, Systems Engineering, Fault-tolerant Systems +13