Concepedia

Testing object-oriented industrial software without precise oracles or results

T.H. Tse, Francis C. M. Lau, W. K. Chan, Peter C. K. Liu, Colin K. F. Luk

Communications of the ACM · 2007 · 18 citations · 11 references

DOI

Concepts

Abstract

TACCLE tests an automated assembly system in which the expected outcomes cannot be precisely defined and the actual results cannot be directly observed.

References

11

On Communicating Finite-State Machines

Daniël Brand, P. Zafiropulo · Journal of the ACM · 1983 · 1.1K citations · Full text

, , +13

Branching time and abstraction in bisimulation semantics

Rob J. van Glabbeek, W. P. Weijland · Journal of the ACM · 1996 · 737 citations · Full text

, , +12

On Testing Non-Testable Programs

Elaine J. Weyuker · The Computer Journal · 1982 · 600 citations · Full text

, , +11

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

, , +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

, , +13