Automated Test Oracles: State of the Art, Taxonomies, and Trends

Abstract Test oracle methods have changed significantly over time, which has resulted in clear shifts in the research literature. Over the years, the testing techniques, strategies, and criteria utilized by researchers went through technical developments due to the improvement of technologies and programming languages. Software testing designers, known as testers, currently have several resources to increase their confidence in the software under test correctness. All of these software testing resources are supposed to include a mechanism to decide whether a particular execution is considered a failure or not. In software testing environments, this decision is the responsibility of the test oracle. Despite the evolution and adaptation of testing techniques over more than 30 years, test oracles remain a particular and relevant issue. In this chapter, using literary evidence from a pool of about 300 studies directly related to test oracles, we present a classification of test oracles based on a taxonomy that considers their source of information and notations. Based on this classification, we perform a quantitative analysis to highlight the shifts in (evolution of) research on test oracles. Exploring geographical and quantitative information, we analyzed the maturity of this field using coauthorship networks among studies published between 1978 and 2013. Further, we determine the most prolific authors and their countries, main conferences and journals, supporting tools, and academic efforts and use a comparative analysis between academia and industry. Finally, from these analyses, we draw an analytic reflection about contemporary test oracle approaches and a criticism about oracle trends.

[1]  Johann Schumann,et al.  Formal testing for separation assurance , 2011, Annals of Mathematics and Artificial Intelligence.

[2]  S. R. Shahamiri,et al.  An automated oracle approach to test decision-making structures , 2010, 2010 3rd International Conference on Computer Science and Information Technology.

[3]  Jean Arlat,et al.  Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems , 2012, 2012 Ninth European Dependable Computing Conference.

[4]  Márcio Eduardo Delamaro,et al.  Test oracles associated with dynamical systems models , 2011 .

[5]  Leo Grady,et al.  Automating image segmentation verification and validation by learning test oracles , 2011, Inf. Softw. Technol..

[6]  Zarina Shukur,et al.  An experimental assessment of module documentation-based testing , 2011, Inf. Softw. Technol..

[7]  James H. Andrews,et al.  Testing using log file analysis: tools, methods, and issues , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[8]  Xuan Liu,et al.  A New Method for Constructing Metamorphic Relations , 2012, 2012 12th International Conference on Quality Software.

[9]  Nancy G. Leveson,et al.  An Empirical Comparison of Software Fault Tolerance and Fault Elimination , 1991, IEEE Trans. Software Eng..

[10]  Luciano Baresi,et al.  Test oracles for simulink-like models , 2016, Automated Software Engineering.

[11]  Abraham Kandel,et al.  A Comparative Study of Artificial Neural Networks and Info-Fuzzy Networks as Automated Oracles in Software Testing , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[12]  Toshiaki Aoki,et al.  Conformance Testing for OSEK/VDX Operating System Using Model Checking , 2011, 2011 18th Asia-Pacific Software Engineering Conference.

[13]  David Crocker Perfect Developer: A tool for Object-Oriented Formal Specification and Refinement , 2003 .

[14]  Atif M. Memon,et al.  What test oracle should I use for effective GUI testing? , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[15]  Xiaoying Bai,et al.  Contract-Based Testing for Web Services , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[16]  Paolo Tonella,et al.  Capture-replay vs. programmable web testing: An empirical assessment during test case evolution , 2013, 2013 20th Working Conference on Reverse Engineering (WCRE).

[17]  Jon Edvardsson,et al.  Techniques for Automatic Generation of Tests from Programs and Specifications , 2006 .

[18]  T. H. Tse,et al.  Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software , 2013, IEEE Transactions on Software Engineering.

[19]  Abdul Rauf,et al.  Ontology driven semantic annotation based GUI testing , 2010, 2010 6th International Conference on Emerging Technologies (ICET).

[20]  Arnaud Gotlieb Exploiting symmetries to test programs , 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..

[21]  Yogesh Singh,et al.  Radial basis function neural network based approach to test oracle , 2011, SOEN.

[22]  Diane Kelly,et al.  Testing for trustworthiness in scientific software , 2009, 2009 ICSE Workshop on Software Engineering for Computational Science and Engineering.

[23]  Gail E. Kaiser,et al.  Automatic system testing of programs without test oracles , 2009, ISSTA.

[24]  Derrick G. Kourie,et al.  Software testing using model programs , 2001, Softw. Pract. Exp..

[25]  Gail E. Kaiser,et al.  Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles , 2009, 2009 International Conference on Software Testing Verification and Validation.

[26]  Colin Atkinson,et al.  Automated harvesting of test oracles for reliability testing , 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).

[27]  Tore Dybå,et al.  Evidence-Based Software Engineering for Practitioners , 2005, IEEE Softw..

[28]  Xiaodong Zhang The construction of oracles for software testing , 1993 .

[29]  Daniel Hoffman,et al.  Automated Module Testing in Prolog , 1991, IEEE Trans. Software Eng..

[30]  René Just,et al.  Benchmarking Testing Strategies with Tools from Mutation Analysis , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[31]  Atif M. Memon,et al.  Designing and comparing automated test oracles for GUI-based software applications , 2007, TSEM.

[32]  Aditya P. Mathur,et al.  Foundations of Software Testing , 2007 .

[33]  B. Eng,et al.  GENERATING A TEST ORACLE FROM PROGRAM DOCUMENTATION , 1995 .

[34]  Leesa Murray,et al.  Translating Object-Z specifications to object-oriented test oracles , 1997, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.

[35]  Paolo Arcaini,et al.  Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

[36]  Jie Liu,et al.  Metamorphic Testing and its Application on Hardware Fault-Tolerance , 2011 .

[37]  Gail E. Kaiser,et al.  Metamorphic Runtime Checking of Non-Testable Programs , 2009 .

[38]  Huai Liu,et al.  On Testing Effectiveness of Metamorphic Relations: A Case Study , 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement.

[39]  Mark Harman,et al.  Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem , 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

[40]  Wei-Tek Tsai,et al.  Web service group testing with windowing mechanisms , 2005, IEEE International Workshop on Service-Oriented System Engineering (SOSE'05).

[41]  Tsong Yueh Chen,et al.  Backward-Slice-Based Statistical Fault Localization without Test Oracles , 2013, 2013 13th International Conference on Quality Software.

[42]  David Lorge Parnas,et al.  Using Test Oracles Generated from Program Documentation , 1998, IEEE Trans. Software Eng..

[43]  H. M. Sneed State coverage of embedded realtime programs , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

[44]  D. Richard Kuhn,et al.  Pseudo-Exhaustive Testing for Software , 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.

[45]  Baowen Xu,et al.  Automated EFSM-based test case generation with scatter search , 2012, 2012 7th International Workshop on Automation of Software Test (AST).

[46]  Vangalur S. Alagar,et al.  Automated test generation from object-oriented specifications of real-time reactive systems , 2003, Tenth Asia-Pacific Software Engineering Conference, 2003..

[47]  James M. Bieman,et al.  Adding formal specifications to a proven V&V process for system-critical flight software , 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.

[48]  Yoonsik Cheon,et al.  Automating Java Program Testing Using OCL and AspectJ , 2010, 2010 Seventh International Conference on Information Technology: New Generations.

[49]  Mary Lou Soffa,et al.  A comprehensive framework for testing graphical user interfaces , 2001 .

[50]  Phil McMinn,et al.  Efficient Mutation Analysis of Relational Database Structure Using Mutant Schemata and Parallelisation , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

[51]  Deepak D'Souza,et al.  Computing Complete Test Graphs for Hierarchical Systems , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[52]  Douglas Hoffman A Taxonomy for Test Oracles , 1998 .

[53]  Mats Per Erik Heimdahl,et al.  Programs, tests, and oracles: the foundations of testing revisited , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[54]  Mao Ye,et al.  Automated Test Oracle Based on Neural Networks , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[55]  D. Roest Automated Regression Testing of Ajax Web Applications , 2010 .

[56]  Jeff Yu Lei,et al.  Practical Combinatorial Testing: Beyond Pairwise , 2008, IT Professional.

[57]  Elaine J. Weyuker,et al.  On Testing Non-Testable Programs , 1982, Comput. J..

[58]  Abraham Kandel,et al.  Using a neural network in the software testing process , 2002, Int. J. Intell. Syst..

[59]  Fabien Peureux,et al.  Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems , 2011, ETSE '11.

[60]  Sushil Garg,et al.  A study of aspect oriented testing techniques , 2009, 2009 IEEE Symposium on Industrial Electronics & Applications.

[61]  J. Paul Gibson,et al.  Formal object-oriented development of a voting system test oracle , 2011, Innovations in Systems and Software Engineering.

[62]  Dirk Seifert Conformance Testing Based on UML State Machines , 2008, ICFEM.

[63]  Mahmuda Asrafi On testing effectiveness of metamorphic relations , 2012 .

[64]  Mika Mäntylä,et al.  The Role of the Tester's Knowledge in Exploratory Software Testing , 2013, IEEE Transactions on Software Engineering.

[65]  Robert M. Hierons Oracles for Distributed Testing , 2012, IEEE Transactions on Software Engineering.

[66]  Duncan Clarke,et al.  STG: a tool for generating symbolic test programs and oracles from operational specifications , 2001, ESEC/FSE-9.

[67]  Fadi A. Zaraket,et al.  GUICOP: Specification-Based GUI Testing , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[68]  Paul A. Strooper,et al.  Automated Generation of Test Cases Using Model-Driven Architecture , 2007, Second International Workshop on Automation of Software Test (AST '07).

[69]  Atif M. Memon,et al.  Empirical evaluation of the fault-detection effectiveness of smoke regression test cases for GUI-based software , 2004, 20th IEEE International Conference on Software Maintenance, 2004. Proceedings..

[70]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, UML.

[71]  Huai Liu,et al.  How Effectively Does Metamorphic Testing Alleviate the Oracle Problem? , 2014, IEEE Transactions on Software Engineering.

[72]  S. Sprenkle,et al.  WebVizOr: A Visualization Tool for Applying Automated Oracles and Analyzing Test Results of Web Applications , 2008, Testing: Academic & Industrial Conference - Practice and Research Techniques (taic part 2008).

[73]  Farn Wang,et al.  Evolving a Test Oracle in Black-Box Testing , 2011, FASE.

[74]  Daniel Hoffman,et al.  Tool support for generating passive C++ test oracles from Object-Z specifications , 2003, Tenth Asia-Pacific Software Engineering Conference, 2003..

[75]  Suhaimi Ibrahim,et al.  A Single-Network ANN-based Oracle to verify logical software modules , 2010, 2010 2nd International Conference on Software Technology and Engineering.

[76]  Hong Zhu A note on test oracles and semantics of algebraic specifications , 2003, Third International Conference on Quality Software, 2003. Proceedings..

[77]  Bin Liu,et al.  Real-time embedded software testing method based on extended finite state machine , 2012 .

[78]  Fayçal Bessayah A complementary approach for testing system robustness based on passive testing and fault injection techniques. (Une approche complémentaire de test de robustesse basée sur l'injection de fautes et le test passif) , 2010 .

[79]  Laurie A. Williams,et al.  On the Effective Use of Security Test Patterns , 2012, 2012 IEEE Sixth International Conference on Software Security and Reliability.

[80]  Siti Zaiton Mohd Hashim,et al.  A Comparative Study on Automated Software Test Oracle Methods , 2009, 2009 Fourth International Conference on Software Engineering Advances.

[81]  Rui Abreu,et al.  Zoltar: A Toolset for Automatic Fault Localization , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

[82]  Raul Dookhoo,et al.  Automated Regression Testing Approach To Expansion And Refinement Of Speech Recognition Grammars , 2008 .

[83]  Upsorn Praphamontripong Web Mutation Testing , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[84]  Antonia Bertolino,et al.  Software Testing Research: Achievements, Challenges, Dreams , 2007, Future of Software Engineering (FOSE '07).

[85]  Matthew J. Rutherford,et al.  An Empirical Evaluation of Assertions as Oracles , 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.

[86]  Nancy G. Leveson,et al.  Automated testing from specifications , 2002, Proceedings. The 21st Digital Avionics Systems Conference.

[87]  Wei Wu,et al.  An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique , 2010, 2010 Asia Pacific Software Engineering Conference.

[88]  René Just,et al.  Automating software tests with partial oracles in integrated environments , 2010, AST '10.

[89]  Juichi Takahashi An automated oracle for verifying GUI objects , 2001, SOEN.

[90]  Seyed Reza Shahamiri An automated framework for software test oracle based on multi-networks , 2011 .

[91]  Farn Wang,et al.  Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications , 2011, 2011 IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing.

[92]  Mark Harman,et al.  Reducing qualitative human oracle costs associated with automatically generated test data , 2010, STOV '10.

[93]  Gregory Gay,et al.  Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[94]  Elaine J. Weyuker,et al.  Pseudo-oracles for non-testable programs , 1981, ACM '81.

[95]  Jason Baumgartner,et al.  A toolset for assisted formal verification , 1999, 1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305).

[96]  Michael D. Ernst,et al.  Automated diagnosis of software configuration errors , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[97]  Xun Yuan,et al.  Developing a Feedback-Driven Automated Testing Tool for Web Applications , 2012, 2012 12th International Conference on Quality Software.

[98]  Eun Man Choi,et al.  Rigorous Vertical Software System Testing In IDE , 2007, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).

[99]  Mark Harman,et al.  A Comprehensive Survey of Trends in Oracles for Software Testing , 2013 .

[100]  Michael D. Ernst,et al.  Eclat: Automatic Generation and Classification of Test Inputs , 2005, ECOOP.

[101]  Marti A. Hearst,et al.  The state of the art in automating usability evaluation of user interfaces , 2001, CSUR.

[102]  William Jenkins,et al.  Fault Evaluator: A tool for experimental investigation of effectiveness in software testing , 2010, 2010 IEEE International Conference on Progress in Informatics and Computing.

[103]  Yoonsik Cheon Abstraction in Assertion-Based Test Oracles , 2007, Seventh International Conference on Quality Software (QSIC 2007).

[104]  Dennis K. Peters,et al.  Specification-based test oracles with JUnit , 2010, CCECE 2010.

[105]  Jin Chen,et al.  When a GUI Regression Test Failed, What Should be Blamed? , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[106]  Mao Ye,et al.  Neural Networks Based Automated Test Oracle for Software Testing , 2006, ICONIP.

[107]  Sheeva Afshan,et al.  Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

[108]  Ling Chen,et al.  JAOUT: automated generation of aspect-oriented unit test , 2004, 11th Asia-Pacific Software Engineering Conference.

[109]  Dimitra Giannakopoulou,et al.  Automated test case generation for an autopilot requirement prototype , 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

[110]  Chonchanok Viravan Enhancing debugging technology , 1994 .

[111]  Atif M. Memon,et al.  DART: a framework for regression testing "nightly/daily builds" of GUI applications , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

[112]  Phil McMinn,et al.  Search-Based Test Input Generation for String Data Types Using the Results of Web Queries , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[113]  James M. Bieman,et al.  Techniques for testing scientific programs without an oracle , 2013, 2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE).

[114]  Márcio Eduardo Delamaro,et al.  Using concepts of content‐based image retrieval to implement graphical testing oracles , 2013, Softw. Test. Verification Reliab..

[115]  Sheeva Afshan,et al.  Search-based generation of human readable test data and its impact on human oracle costs , 2013 .

[116]  Emily Hill,et al.  Learning Effective Oracle Comparator Combinations for Web Applications , 2007, Seventh International Conference on Quality Software (QSIC 2007).

[117]  Debra J. Richardson,et al.  TAOS: Testing with Analysis and Oracle Support , 1994, ISSTA '94.

[118]  Tsong Yueh Chen,et al.  Metamorphic testing of programs on partial differential equations: a case study , 2002, Proceedings 26th Annual International Computer Software and Applications.

[119]  A. M. Simoes Dias Vieira A Generic and Automatic Test Strategy for Compiler Testing , 2013 .

[120]  Mariano Ceccato,et al.  Grammar based oracle for security testing of web applications , 2012, 2012 7th International Workshop on Automation of Software Test (AST).

[121]  Tsong Yueh Chen,et al.  Fault-based testing in the absence of an oracle , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.

[122]  K. K. Aggarwal,et al.  A neural net based approach to Test Oracle , 2004, SOEN.

[123]  Xin Wang,et al.  An optimized method for automatic test oracle generation from real-time specification , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[124]  Shailesh Tiwari,et al.  Spectrum-Based Fault Localization in Regression Testing , 2011, 2011 Eighth International Conference on Information Technology: New Generations.

[125]  Curtis E. Dyreson,et al.  Building test cases and oracles to automate the testing of web database applications , 2009, Inf. Softw. Technol..

[126]  Haifeng Chen,et al.  Multi-resolution Abnormal Trace Detection Using Varied-length N-grams and Automata , 2005, ICAC.

[127]  Darko Marinov,et al.  Reducing the Costs of Bounded-Exhaustive Testing , 2009, FASE.

[128]  Arie van Deursen,et al.  Invariant-based automatic testing of AJAX user interfaces , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[129]  Jason McDonald,et al.  Translating Object-Z specifications to passive test oracles , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[130]  Ajitha Rajan,et al.  Assertion-based test oracles for home automation systems , 2010, MOMPES '10.

[131]  Elfriede Dustin,et al.  Implementing Automated Software Testing: How to Save Time and Lower Costs While Raising Quality , 2009 .

[132]  Jiaolong Xu,et al.  Weakly Supervised Automatic Annotation of Pedestrian Bounding Boxes , 2013, 2013 IEEE Conference on Computer Vision and Pattern Recognition Workshops.

[133]  Massimiliano Di Penta,et al.  Assessing and improving state-based class testing: a series of experiments , 2004, IEEE Transactions on Software Engineering.

[134]  Pankaj Jalote,et al.  An Integrated Approach to Software Engineering , 1997, Undergraduate Texts in Computer Science.

[135]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[136]  Jessica Chen,et al.  Specification-based Testing for Gui-based Applications , 2002, Software Quality Journal.

[137]  Deepam Agarwal,et al.  A Comparative Study Of Artificial Neural Networks And Info Fuzzy Networks On Their Use In Software Testing , 2004 .

[138]  Atif M. Memon,et al.  Using transient/persistent errors to develop automated test oracles for event-driven software , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..

[139]  Baowen Xu,et al.  Spectrum-Based Fault Localization: Testing Oracles are No Longer Mandatory , 2011, 2011 11th International Conference on Quality Software.

[140]  Jin-Cherng Lin,et al.  Generating timed test cases with oracles for real-time software , 2001 .

[141]  Boris Beizer,et al.  Software Testing Techniques , 1983 .

[142]  Dave E. Eckhardt,et al.  A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors , 1985, IEEE Transactions on Software Engineering.

[143]  Bertrand Meyer,et al.  Automatic testing of object-oriented software , 2011 .

[144]  Vahid Garousi,et al.  On Adequacy of Assertions in Automated Test Suites: An Empirical Investigation , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

[145]  Zuohua Ding,et al.  Testing Central Processing Unit scheduling algorithms using Metamorphic Testing , 2013, 2013 IEEE 4th International Conference on Software Engineering and Service Science.

[146]  Xin Chen,et al.  UML interaction model-driven runtime verification of Java programs , 2011, IET Softw..

[147]  Shan Lu,et al.  Toddler: Detecting performance problems via similar memory-access patterns , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[148]  Insup Lee,et al.  On effective testing of health care simulation software , 2011, SEHC '11.

[149]  Johan Moe Observing the dynamic behaviour of large distributed systems to improve development and testing : an empirical study in software engineering , 2003 .

[150]  Nancy G. Leveson,et al.  An experimental evaluation of the assumption of independence in multiversion programming , 1986, IEEE Transactions on Software Engineering.

[151]  Yuhua Qi,et al.  Light-Weight Test Oracles for Resource Leaks Based on Finalizers , 2012, 2012 19th Asia-Pacific Software Engineering Conference.

[152]  Bernhard K. Aichernig,et al.  Conformance Testing of Distributed Concurrent Systems with Executable Designs , 2008, FMCO.

[153]  Gary T. Leavens,et al.  A Simple and Practical Approach to Unit Testing: The JML and JUnit Way , 2002, ECOOP.

[154]  Richard G. Hamlet,et al.  Automatically Checking an Implementation against Its Formal Specification , 2000, IEEE Trans. Software Eng..

[155]  Louis M. Rose,et al.  Efficient probabilistic testing of model transformations using search , 2013, 2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE).

[156]  René Just,et al.  Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis , 2009, 2009 International Conference on Software Testing, Verification, and Validation Workshops.

[157]  Sai Zhang ConfDiagnoser: An automated configuration error diagnosis tool for Java software , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[158]  Rong Chen,et al.  A Method of Log File Analysis for Test Oracle , 2009, 2009 International Conference on Scalable Computing and Communications; Eighth International Conference on Embedded Computing.

[159]  Stephen H. Edwards,et al.  A framework for practical, automated black‐box testing of component‐based software † , 2001, Softw. Test. Verification Reliab..

[160]  Nancy G. Leveson,et al.  An empirical comparison of software fault tolerance and fault elimination , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

[161]  Myung-Hwan Park An approach for oracle data selection criterion , 2010 .

[162]  Paul A. Strooper,et al.  Systematically deriving partial oracles for testing concurrent programs , 2001, Proceedings 24th Australian Computer Science Conference. ACSC 2001.

[163]  W. K. Chan,et al.  Experimental study to compare the use of metamorphic testing and assertion checking , 2009 .

[164]  Hong Sun,et al.  Investigating the use of analysis contracts to improve the testability of object‐oriented code , 2003, Softw. Pract. Exp..

[165]  Virginie Wiels,et al.  LETO - A Lustre-Based Test Oracle for Airbus Critical Systems , 2008, FMICS.

[166]  James M. Bieman,et al.  DESIGNING FOR SOFTWARE TESTABILITY USING AUTOMATED ORACLES , 1992, Proceedings International Test Conference 1992.

[167]  Chen Huo Yan The application of an algebraic design method to deal with oracle problem in object-oriented class level testing , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[168]  Colin Atkinson,et al.  Search-enhanced testing: NIER track , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[169]  Guolin Li,et al.  Prior Distribution of Missile Range Trial Successive Test Data Based on Random Weighting , 2012, 2012 Fourth International Conference on Computational and Information Sciences.

[170]  Baowen Xu,et al.  Metamorphic slice: An application in spectrum-based fault localization , 2013, Inf. Softw. Technol..

[171]  Jens Palsberg,et al.  Deadline analysis of interrupt-driven software , 2003, IEEE Transactions on Software Engineering.

[172]  Patrícia Duarte de Lima Machado Testing from structured algebraic specifications : the oracle problem , 2000 .

[173]  Science of Science (Sci2) Tool , 2014, Encyclopedia of Social Network Analysis and Mining.

[174]  Gustavo Soares Soares Automated behavioral testing of refactoring engines , 2012, SPLASH '12.

[175]  Mary Lou Soffa,et al.  Automated test oracles for GUIs , 2000, SIGSOFT '00/FSE-8.

[176]  Daniel Hoffman,et al.  Programmatic testing of the Standard Template Library containers , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[177]  Jianqiang. Feng,et al.  On the effectiveness of metamorphic testing for numerical programs , 2003 .

[178]  T. H. Tse,et al.  Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[179]  Miguel Felder,et al.  Validating real-time systems by history-checking TRIO specifications , 1992, ICSE '92.

[180]  Mao Ye,et al.  Oracle Model Based on RBF Neural Networks for Automated Software Testing , 2007 .

[181]  Mariano Ceccato,et al.  Circe: A grammar-based oracle for testing Cross-site scripting in web applications , 2013, 2013 20th Working Conference on Reverse Engineering (WCRE).

[182]  Dianxiang Xu,et al.  Metamorphic testing of a Monte Carlo modeling program , 2011, AST '11.

[183]  Liviu-Iulian Manolache Testing algorithmically complex software using model programs , 2000 .

[184]  James H. Andrews,et al.  General Test Result Checking with Log File Analysis , 2003, IEEE Trans. Software Eng..

[185]  Shing-Chi Cheung,et al.  Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study , 2006, J. Syst. Softw..

[186]  Baowen Xu,et al.  Testing and validating machine learning classifiers by metamorphic testing , 2011, J. Syst. Softw..

[187]  Tong Wu Self-Checked Metamorphic Testing of Monte Carlo Simulation , 2011 .

[188]  Gordon Fraser,et al.  Whole Test Suite Generation , 2013, IEEE Transactions on Software Engineering.

[189]  T. H. Tse,et al.  Oracles Are Hardly Attain'd, and Hardly Understood: Confessions of Software Testing Researchers , 2013, 2013 13th International Conference on Quality Software.

[190]  Kavir Shrestha,et al.  An empirical evaluation of the effectiveness of JML assertions as test oracles , 2010 .

[191]  A. Jefferson Offutt,et al.  Book review: Introduction to Software Testing written by Paul Amman & Jeff Offutt. and published by CUP, 2008, 978-0-521-88038 322 pp., 0-471-20282-7 , 2008, SOEN.

[192]  Tarjei Huse Is using images to test web pages the solution to a Sisyphean task , 2008 .

[193]  Roberto Castañeda Lozano Constraint programming for random testing of a trading system , 2010 .

[194]  Tsong Yueh Chen,et al.  Testing embedded software by metamorphic testing: A wireless metering system case study , 2011, 2011 IEEE 36th Conference on Local Computer Networks.

[195]  Gail E. Kaiser,et al.  Metamorphic testing techniques to detect defects in applications without test oracles , 2010 .

[196]  Pankaj Jalote An Integrated Approach to Software Engineering, Third Edition , 2005, Texts in Computer Science.

[197]  Arne-Michael Torsel Automated Test Case Generation for Web Applications from a Domain Specific Model , 2011, COMPSAC 2011.

[198]  Mei Liu,et al.  Assessing reliability of protein-protein interactions by integrative analysis of data in model organisms , 2009, BMC Bioinformatics.

[199]  Christian Murphy Using runtime testing to detect defects in applications without test oracles , 2008, FSEDS '08.

[200]  William E. Howden,et al.  Theoretical and Empirical Studies of Program Testing , 1978, IEEE Transactions on Software Engineering.

[201]  Sheetal Kudari An Ontology-based Automated Test Oracle Comparator for Testing Web Applications , 2011 .

[202]  Franz Wotawa,et al.  GUI savvy end-to-end testing with smart monkeys , 2009, 2009 ICSE Workshop on Automation of Software Test.

[203]  Dianxiang Xu,et al.  Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution , 2009, 2009 International Conference on Software Testing, Verification, and Validation Workshops.

[204]  Qing Xie,et al.  Developing cost-effective model-based techniques for GUI testing , 2006, ICSE.

[205]  Márcio Eduardo Delamaro,et al.  A scoping study on the 25 years of research into software testing in Brazil and an outlook on the future of the area , 2013, J. Syst. Softw..

[206]  Tim Miller,et al.  Supporting the software testing process through specification animation , 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..

[207]  Yi Wang,et al.  Artificial Neural Network for Automatic Test Oracles Generation , 2008, 2008 International Conference on Computer Science and Software Engineering.

[208]  Andrea Avancini Security testing of web applications: A research plan , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[209]  Arie van Deursen,et al.  Invariant-Based Automatic Testing of Modern Web Applications , 2012, IEEE Transactions on Software Engineering.

[210]  James M. Bieman,et al.  Using formal specifications as test oracles for system-critical software , 1996, ALET.

[211]  Gail E. Kaiser,et al.  Properties of Machine Learning Applications for Use in Metamorphic Testing , 2008, SEKE.

[212]  Elthon A. S. Oliveira,et al.  Testing from Structured Algebraic Specifications: The Veritas Case Study , 2005, SBMF.

[213]  René Just On effective and efficient mutation analysis for unit and integration testing , 2013 .

[214]  Baowen Xu,et al.  Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis , 2011, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.

[215]  David A. Carrington,et al.  A passive test oracle using a component's API , 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).

[216]  Sebastian Bauersfeld GUIdiff -- A Regression Testing Tool for Graphical User Interfaces , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

[217]  Richard G. Hamlet,et al.  Software Quality, Software Process, and Software Testing , 1995, Adv. Comput..

[218]  A. Goldberg,et al.  Runtime verification for autonomous spacecraft software , 2005, 2005 IEEE Aerospace Conference.

[219]  Fabiano Cutigi Ferrari,et al.  Mutation Testing for Aspect-Oriented Programs , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[220]  Bruno Barbieri Pontes Cafeo,et al.  Contextual Integration Testing of Object-Oriented and Aspect-Oriented Programs: A Structural Approach for Java and AspectJ , 2011, 2011 25th Brazilian Symposium on Software Engineering.

[221]  Javier Tuya,et al.  An automated test oracle for XML processing programs , 2010, STOV '10.

[222]  Farid Djahli,et al.  An Optical BILBO for Online Testing of Embedded Systems , 2013, IEEE Design & Test.

[223]  Hongqun Zhang,et al.  A practical approach to assertion testing framework based on inner class , 2011, 2011 IEEE 2nd International Conference on Software Engineering and Service Science.

[224]  Douglas Hoffman,et al.  Using Oracles in Test Automation , 2001 .

[225]  Eduardas Bareisa,et al.  Software testing using imprecise OCL constraints as oracles , 2007, CompSysTech '07.

[226]  Elio Salvadori,et al.  Path Loss Measurements at 3.5 GHz: A Trial Test WiMAX Based in Rural Environment , 2007, 2007 3rd International Conference on Testbeds and Research Infrastructure for the Development of Networks and Communities.

[227]  N. Ramaraj,et al.  Enhancing the Efficiency of Regression Testing through Intelligent Agents , 2007, International Conference on Computational Intelligence and Multimedia Applications (ICCIMA 2007).

[228]  Tsipi Heart,et al.  Developing the Basic Verification Action (BVA) Structure Towards Test Oracle Automation , 2010, 2010 International Conference on Computational Intelligence and Software Engineering.

[229]  Atif M. Memon,et al.  Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software , 2005, IEEE Transactions on Software Engineering.

[230]  Jin-Cherng Lin,et al.  A new perspective on formal testing method for real-time software , 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.

[231]  Shuo Wang,et al.  Predication of Program Behaviours for Functionality Testing , 2009, 2009 First International Conference on Information Science and Engineering.

[232]  Antonia Bertolino,et al.  Software Testing Research and Practice , 2003, Abstract State Machines.

[233]  Tsong Yueh Chen,et al.  Fault-based testing without the need of oracles , 2003, Inf. Softw. Technol..

[234]  Luciano Baresi,et al.  Specifying automated oracles for Simulink models , 2013, 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications.

[235]  Huai Liu,et al.  An innovative approach for testing bioinformatics programs using metamorphic testing , 2009, BMC Bioinformatics.

[236]  Sarfraz Khurshid,et al.  Software assurance by bounded exhaustive testing , 2004, IEEE Transactions on Software Engineering.

[237]  David A. Carrington,et al.  Tool support for statistical testing of software components , 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).

[238]  Jez Humble,et al.  Continuous Delivery: Reliable Software Releases Through Build, Test, and Deployment Automation , 2010 .

[239]  William E. Howden,et al.  Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.

[240]  Siti Zaiton Mohd Hashim,et al.  An automated framework for software test oracle , 2011, Inf. Softw. Technol..

[241]  David Lorge Parnas,et al.  Generating a test oracle from program documentation: work in progress , 1994, ISSTA '94.

[242]  Tao Ding,et al.  Mining Auto-generated Test Inputs for Test Oracle , 2013, 2013 10th International Conference on Information Technology: New Generations.

[243]  David A. Carrington,et al.  Test templates: a specification-based testing framework , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[244]  David C. Luckham,et al.  An Overview of Anna, a Specification Language for Ada , 1985, IEEE Software.

[245]  Mats Per Erik Heimdahl,et al.  Better testing through oracle selection: (NIER track) , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[246]  Sriram Sankar,et al.  Software Testing Using Algebraic Specification Based Test Oracles , 1993 .

[247]  Tao Xie,et al.  Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking , 2006, ECOOP.

[248]  Baowen Xu,et al.  Application of Metamorphic Testing to Supervised Classifiers , 2009, 2009 Ninth International Conference on Quality Software.

[249]  Pearl Brereton,et al.  Systematic literature reviews in software engineering - A tertiary study , 2010, Inf. Softw. Technol..

[250]  J. D. Day,et al.  A test oracle based on formal specifications , 1985 .

[251]  Leesa Murray,et al.  Specification-based class testing: a case study , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[252]  Dianxiang Xu,et al.  Mining Test Oracles for Test Inputs Generated from Java Bytecode , 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference.

[253]  Anjaneyulu Pasala,et al.  On the validation of API execution-sequence to assess the correctness of application upon COTS upgrades deployment , 2007, 2007 Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'07).