Testing object-oriented industrial software without precise oracles or results

Authors:
T. H. Tse;Francis C. M. Lau;W. K. Chan;Peter C. K. Liu;Colin K. F. Luk
Affiliations:
The University of Hong Kong;The University of Hong Kong;City University of Hong Kong;ASM Assembly Automation Ltd., Hong Kong;ASM Technology Singapore (Pte) Ltd., Singapore
Venue:
Communications of the ACM
Year:
2007

Citing 12
Cited 2

Software testing techniques (2nd ed.)

Software testing techniques (2nd ed.)
The ASTOOT approach to testing object-oriented programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Branching time and abstraction in bisimulation semantics

Journal of the ACM (JACM)
Using Test Oracles Generated from Program Documentation

IEEE Transactions on Software Engineering
In black and white: an integrated approach to class-level testing of object-oriented programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
On Communicating Finite-State Machines

Journal of the ACM (JACM)
TACCLE: a methodology for object-oriented software testing at the class and cluster levels

ACM Transactions on Software Engineering and Methodology (TOSEM)
Communication and Concurrency

Communication and Concurrency
General Test Result Checking with Log File Analysis

IEEE Transactions on Software Engineering
Testing Object Oriented Software

Proceedings of the 26th International Conference on Software Engineering
Automatic Detection and Masking of Nonatomic Exception Handling

IEEE Transactions on Software Engineering
Assessing and Improving State-Based Class Testing: A Series of Experiments

IEEE Transactions on Software Engineering

Towards the testing of power-aware software applications for wireless sensor networks

Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Testing data types implementations from algebraic specifications

Formal methods and testing

Quantified Score

Hi-index	48.22

Visualization

Abstract

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