Automated Test Oracles: State of the Art, Taxonomies, and Trends
暂无分享,去创建一个
Upulee Kanewala | Paulo Augusto Nardi | Rafael A. P. Oliveira | Upulee Kanewala | P. Nardi | R. Oliveira
[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. Introduction to Software Testing , 2008 .
[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).