Using runtime testing to detect defects in applications without test oracles

Authors:
Christian Murphy
Affiliations:
Department of Computer Science, Columbia University, New York, New York, USA
Venue:
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
Year:
2008

Citing 11
Cited 0

Run-time consistency checking of algebraic specifications

TAV4 Proceedings of the symposium on Testing, analysis, and verification
Dynamically discovering likely program invariants to support program evolution

Proceedings of the 21st international conference on Software engineering
Tracking down software bugs using automatic anomaly detection

Proceedings of the 24th International Conference on Software Engineering
Pseudo-oracles for non-testable programs

ACM '81 Proceedings of the ACM '81 conference
Software Testing Using Algebraic Specification Based Test Oracles

Software Testing Using Algebraic Specification Based Test Oracles
Leveraging field data for impact analysis and regression testing

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
An empirical study of profiling strategies for released software and their impact on testing activities

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Metamorphic Testing and Beyond

STEP '03 Proceedings of the Eleventh Annual International Workshop on Software Technology and Engineering Practice
Software Manual for the Elementary Functions (Prentice-Hall series in computational mathematics)

Software Manual for the Elementary Functions (Prentice-Hall series in computational mathematics)
A historical perspective on runtime assertion checking in software development

ACM SIGSOFT Software Engineering Notes
Data Mining: Practical Machine Learning Tools and Techniques, Second Edition (Morgan Kaufmann Series in Data Management Systems)

Data Mining: Practical Machine Learning Tools and Techniques, Second Edition (Morgan Kaufmann Series in Data Management Systems)

Quantified Score

Hi-index	0.01

Visualization

Abstract

We address the testing of complex, highly-configurable systems - particularly those without test oracles - by testing in the field using built-in oracles from functions' metamorphic properties. This work is advised by Prof. Gail Kaiser.