ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique

A Domain Strategy for Computer Program Testing

Lee White, Edward I. Cohen · IEEE Transactions on Software Engineering · 1980 · 379 citations

Computing, Computer Engineering, Computer Science +10

The ASTOOT approach to testing object-oriented programs

Roong-Ko Doong, Phyllis G. Frankl · ACM Transactions on Software Engineering and Methodology · 1994 · 324 citations · Full text

Computing, Computer Engineering, Computer Science +16

Software testing based on formal specifications: a theory and a tool

Gilles Bernot, Marie Claude Gaudel, Bruno Marre · Software Engineering Journal · 1991 · 323 citations

Computing, Computer Science, Formal Methods +16

In black and white

Huo Yan Chen, T.H. Tse, F. T. Chan et al. · ACM Transactions on Software Engineering and Methodology · 1998 · 176 citations

Computing, Computer Science, Algorithms +13

The state-based testing of object-oriented programs

C.D. Turner, D. Robson · 2002 · 127 citations

Computing, Computer Science, Programming Languages +11