Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo: The Oracle Problem in Software Testing: A Survey. In: IEEE Transactions on Software Engineering. Band41, Nr.5, 1. Mai 2015, ISSN0098-5589, S.507–525, doi:10.1109/TSE.2014.2372785 (ieee.org [abgerufen am 15. November 2021]).
Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo: The Oracle Problem in Software Testing: A Survey. In: IEEE Transactions on Software Engineering. Band41, Nr.5, November 2014, S.507–525, doi:10.1109/TSE.2014.2372785 (ucl.ac.uk [PDF]).
W. E. Howden: Theoretical and Empirical Studies of Program Testing. In: IEEE Transactions on Software Engineering. Band4, Nr.4, Juli 1978, S.293–298, doi:10.1109/TSE.1978.231514.
E. Börger: High Level System Design and Analysis Using Abstract State Machines. Hrsg.: D. Hutter, W. Stephan, P. Traverso, M. Ullman (= Lecture Notes in Computer Science. Band1641). 1999, ISBN 3-540-66462-9, S.1–43, doi:10.1007/3-540-48257-1_1.
D. K. Peters: Using test oracles generated from program documentation. In: IEEE Transactions on Software Engineering. Band24, Nr.3, März 1998, S.161–173, doi:10.1109/32.667877.
Mark Utting, Alexander Pretschner, Bruno Legeard: A taxonomy of model-based testing approaches. In: Software Testing, Verification and Reliability. Band22, Nr.5, 2012, ISSN1099-1689, S.297–312, doi:10.1002/stvr.456 (edu.au [PDF]).
Pascale Le Gall, Agnès Arnould: Formal specifications and test: Correctness and oracle. In: Recent Trends in Data Type Specification. Band1130. Springer, Berlin / Heidelberg 1996, ISBN 3-540-61629-2, S.342–358, doi:10.1007/3-540-61629-2_52 (springer.com [abgerufen am 16. November 2021]).
Tao Wu, Le Huang, Liang Zhe, Xiaoning Zhang, Canrong Zhang: A Supervised Learning-Driven Heuristic for Solving the Facility Location and Production Planning Problem. In: European Journal of Operational Research. 15. November 2021, ISSN0377-2217, doi:10.1016/j.ejor.2021.11.020 (sciencedirect.com [abgerufen am 16. November 2021]).
E. J. Weyuker: On Testing Non-Testable Programs. In: The Computer Journal. Band25, Nr.4, November 1982, S.465–470, doi:10.1093/comjnl/25.4.465.
Z. Q. Zhou, S. Zhang, M. Hagenbuchner, T. H. Tse, F.-C. Kuo, T. Y. Chen: Automated functional testing of online search services. In: Software Testing, Verification and Reliability. Band22, Nr.4, 2012, S.221–243, doi:10.1002/stvr.437.
Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo: The Oracle Problem in Software Testing: A Survey. In: IEEE Transactions on Software Engineering. Band41, Nr.5, 1. Mai 2015, ISSN0098-5589, S.507–525, doi:10.1109/TSE.2014.2372785 (ieee.org [abgerufen am 15. November 2021]).
mun.ca
engr.mun.ca
Dennis K. Peters, David L. Parnas: Generating a Test Oracle from Program Documentation. In: Proceedings of the 1994 International Symposium on Software Testing and Analysis. International Symposium on Software Testing and Analysis (ISSTA); ACM Press, S.58–65 (mun.ca [PDF]).
qut.edu.au
eprints.qut.edu.au
Mark Utting, Alexander Pretschner, Bruno Legeard: A taxonomy of model-based testing approaches. In: Software Testing, Verification and Reliability. Band22, Nr.5, 2012, ISSN1099-1689, S.297–312, doi:10.1002/stvr.456 (edu.au [PDF]).
Tao Wu, Le Huang, Liang Zhe, Xiaoning Zhang, Canrong Zhang: A Supervised Learning-Driven Heuristic for Solving the Facility Location and Production Planning Problem. In: European Journal of Operational Research. 15. November 2021, ISSN0377-2217, doi:10.1016/j.ejor.2021.11.020 (sciencedirect.com [abgerufen am 16. November 2021]).
Pascale Le Gall, Agnès Arnould: Formal specifications and test: Correctness and oracle. In: Recent Trends in Data Type Specification. Band1130. Springer, Berlin / Heidelberg 1996, ISBN 3-540-61629-2, S.342–358, doi:10.1007/3-540-61629-2_52 (springer.com [abgerufen am 16. November 2021]).
Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo: The Oracle Problem in Software Testing: A Survey. In: IEEE Transactions on Software Engineering. Band41, Nr.5, November 2014, S.507–525, doi:10.1109/TSE.2014.2372785 (ucl.ac.uk [PDF]).
uni-ulm.de
mathematik.uni-ulm.de
Johannes Mayer, Ralph Guderlei: Test Oracles Using Statistical Methods. First International Workshop on Software Quality. In: Proceedings of the First International Workshop on Software Quality, Lecture Notes in Informatics. Springer, 2004, S.179–189 (englisch, uni-ulm.de [PDF]).
Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo: The Oracle Problem in Software Testing: A Survey. In: IEEE Transactions on Software Engineering. Band41, Nr.5, 1. Mai 2015, ISSN0098-5589, S.507–525, doi:10.1109/TSE.2014.2372785 (ieee.org [abgerufen am 15. November 2021]).
Mark Utting, Alexander Pretschner, Bruno Legeard: A taxonomy of model-based testing approaches. In: Software Testing, Verification and Reliability. Band22, Nr.5, 2012, ISSN1099-1689, S.297–312, doi:10.1002/stvr.456 (edu.au [PDF]).
Tao Wu, Le Huang, Liang Zhe, Xiaoning Zhang, Canrong Zhang: A Supervised Learning-Driven Heuristic for Solving the Facility Location and Production Planning Problem. In: European Journal of Operational Research. 15. November 2021, ISSN0377-2217, doi:10.1016/j.ejor.2021.11.020 (sciencedirect.com [abgerufen am 16. November 2021]).