Repository of Publications on the Test Oracle Problem

@article{Adleman:1995nj,
  author = {L.M. Adleman and M.D. Huang and K. Kompella},
  title = {Efficient Checkers for Number-Theoretic Computations},
  journal = {Information and Computation},
  year = {1995},
  volume = {121},
  number = {1},
  pages = {93 - 102},
  url = {http://www.sciencedirect.com/science/article/pii/S089054018571125X},
  doi = {http://dx.doi.org/10.1006/inco.1995.1125}
}
					

@article{Agarwal:2012gz,
  author = {D. Agarwal and D.E. Tamir and M. Last and A. Kandel},
  title = {A Comparative Study of Artificial Neural Networks and Info-Fuzzy Networks as Automated Oracles in Software Testing},
  journal = {IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans},
  year = {2012},
  volume = {42},
  number = {5},
  pages = {1183 -1193},
  month = {September}
}
					

@inproceedings{Agerholm:1998xa,
  author = {Sten Agerholm and Pierre-Jean Lecoeur and Etienne Reichert},
  title = {Formal specification and validation at work: a case study using VDM-SL},
  booktitle = {Proceedings of the second workshop on Formal methods in software practice},
  year = {1998},
  pages = {78--84},
  address = {New York, NY, USA}
}
					

@article{Aggarwal:2004do,
  author = {K. Aggarwal and Yogesh Singh and A. Kaur and O. Sangwan},
  title = {A neural net based approach to Test Oracle},
  journal = {SIGSOFT Software Engineering Notes},
  year = {2004},
  volume = {29},
  number = {3},
  pages = {1--6},
  address = {New York, NY, USA},
  month = {May}
}
					

@inproceedings{Aichernig:1998zo,
  author = {Bernhard Aichernig},
  title = {Automated requirements testing with abstract oracles},
  booktitle = {The Ninth International Symposium on Software Reliability Engineering},
  year = {1998},
  pages = {21-22}
}
					

@incollection{Aichernig:2009ok,
  author = {Bernhard Aichernig and Andreas Griesmayer and Einar Johnsen and Rudolf Schlatte and Andries Stam},
  title = {Conformance Testing of Distributed Concurrent Systems with Executable Designs},
  booktitle = {Formal Methods for Components and Objects},
  year = {2009},
  volume = {5751},
  pages = {61-81},
  url = {http://dx.doi.org/10.1007/978-3-642-04167-9_4}
}
					

@article{Aichernig:2009bz,
  author = {Bernhard Aichernig and Andreas Griesmayer and Rudolf Schlatte and Andries Stam},
  title = {Modeling and Testing Multi-Threaded Asynchronous Systems with Creol},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2009},
  volume = {243},
  number = {0},
  pages = {3 - 14},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066109002242},
  doi = {http://dx.doi.org/10.1016/j.entcs.2009.07.002}
}
					

@inproceedings{Alagar:2003dm,
  author = {V.S. Alagar and M. Chen and O. Ormandjieva and M. Zheng},
  title = {Automated test generation from object-oriented specifications of real-time reactive systems},
  booktitle = {Software Engineering Conference, 2003. Tenth Asia-Pacific},
  year = {2003},
  pages = {406 - 414},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/APSEC.2003.1254396}
}
					

@phdthesis{Alawneh:2010xj,
  author = {S.G. Alawneh},
  title = {Test-Driven Development with Oracles and Formal Specifications},
  school = {Memorial University of Newfoundland},
  year = {2010}
}
					

@inproceedings{Alawneh:2010si,
  author = {S.G. Alawneh and D.K. Peters},
  title = {Specification-based test oracles with JUnit},
  booktitle = {Proceedings of the 2010 23rd Canadian Conference on Electrical and Computer Engineering (CCECE)},
  year = {2010},
  pages = {1 -7},
  month = {may},
  doi = {http://dx.doi.org/10.1109/CCECE.2010.5575202}
}
					

@inproceedings{Almog:2010ly,
  author = {D. Almog and T. Heart},
  title = {Developing the Basic Verification Action (BVA) Structure Towards Test Oracle Automation},
  booktitle = {Proceedings of the 2010 International Conference on Computational Intelligence and Software Engineering (CiSE)},
  year = {2010},
  pages = {1 -4},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/CISE.2010.5676837}
}
					

@inproceedings{Amalfitano:2008rh,
  author = {D. Amalfitano and A.R. Fasolino and P. Tramontana},
  title = {Reverse Engineering Finite State Machines from Rich Internet Applications},
  booktitle = {Proceedings of the 15th Working Conference on Reverse Engineering, 2008. WCRE '08.},
  year = {2008},
  pages = {69 -73},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/WCRE.2008.17}
}
					

@inproceedings{Ammann:1998rj,
  author = {P.E. Ammann and P.E. Black and W. Majurski},
  title = {Using model checking to generate tests from specifications},
  booktitle = {Proceedings of the Second International Conference on Formal Engineering Methods, 1998.},
  year = {1998},
  pages = {46 -54},
  month = {dec},
  doi = {http://dx.doi.org/10.1109/ICFEM.1998.730569}
}
					

@article{Ammann:1994pu,
  author = {P.E. Ammann and S.S. Brilliant and J.C. Knight},
  title = {The effect of imperfect error detection on reliability assessment via life testing},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1994},
  volume = {20},
  number = {2},
  pages = {142 -148},
  month = {feb},
  doi = {http://dx.doi.org/10.1109/32.265635}
}
					

@article{Ammann:1988nj,
  author = {P.E. Ammann and J.C. Knight},
  title = {Data diversity: an approach to software fault tolerance},
  journal = {Computers, IEEE Transactions on},
  year = {1988},
  volume = {37},
  number = {4},
  pages = {418 -425},
  month = {apr},
  doi = {http://dx.doi.org/10.1109/12.2185}
}
					

@inproceedings{Andrews:2004nq,
  author = {J.H. Andrews},
  title = {Deriving state-based test oracles for conformance testing},
  booktitle = {Proceedings of the 2nd International Workshop on Dynamic Analysis},
  year = {2004},
  pages = {9--16}
}
					

@inproceedings{Andrews:2004oq,
  author = {J.H. Andrews},
  title = {A case study of coverage-checked random data structure testing},
  booktitle = {Proceedings of the 19th International Conference on Automated Software Engineering},
  year = {2004},
  pages = {316 -319},
  month = {September},
  doi = {http://dx.doi.org/10.1109/ASE.2004.1342755}
}
					

@inproceedings{Andrews:1998gf,
  author = {J.H. Andrews},
  title = {Testing using log file analysis: tools, methods, and issues},
  booktitle = {Proceedings of the 13th IEEE International Conference on Automated Software Engineering, 1998.},
  year = {1998},
  pages = {157 -166},
  month = {oct},
  doi = {http://dx.doi.org/10.1109/ASE.1998.732614}
}
					

@techreport{Andrews:1998qn,
  author = {J.H. Andrews},
  title = {Theory and practice of log file analysis},
  year = {1998},
  number = {524}
}
					

@inproceedings{Andrews:2002qd,
  author = {J.H. Andrews and Rui Fu and V.D. Liu},
  title = {Adding value to formal test oracles},
  booktitle = {Proceedings of the ASE 2002. 17th IEEE International Conference on Automated Software Engineering, 2002.},
  year = {2002},
  pages = {275 - 278},
  doi = {http://dx.doi.org/10.1109/ASE.2002.1115029}
}
					

@article{Andrews:2003to,
  author = {J.H. Andrews and Yingjun Zhang},
  title = {General test result checking with log file analysis},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2003},
  volume = {29},
  number = {7},
  pages = {634 - 648},
  month = {july},
  doi = {http://dx.doi.org/10.1109/TSE.2003.1214327}
}
					

@inproceedings{Andrews:2000eq,
  author = {James Andrews and Yingjun Zhang},
  title = {Broad-spectrum studies of log file analysis},
  booktitle = {Proceedings of the 22nd international conference on Software engineering},
  year = {2000},
  pages = {105--114},
  address = {New York, NY, USA}
}
					

@article{Angluin:1987hx,
  author = {Dana Angluin},
  title = {Learning regular sets from queries and counterexamples},
  journal = {Information and Computation},
  year = {1987},
  volume = {75},
  number = {2},
  pages = {87 - 106},
  url = {http://www.sciencedirect.com/science/article/pii/0890540187900526},
  doi = {http://dx.doi.org/10.1016/0890-5401(87)90052-6}
}
					

@article{Antoy:2000cj,
  author = {S. Antoy and D. Hamlet},
  title = {Automatically checking an implementation against its formal specification},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2000},
  volume = {26},
  number = {1},
  pages = {55 -69},
  month = {jan},
  doi = {http://dx.doi.org/10.1109/32.825766}
}
					

@inproceedings{Antoy:1992lv,
  author = {S. Antoy and D. Hamlet},
  title = {Self-checking against formal specifications},
  booktitle = {Proceedings of the ICCI '92., Fourth International Conference on Computing and Information, 1992.},
  year = {1992},
  pages = {355 -360},
  month = {may},
  doi = {http://dx.doi.org/10.1109/ICCI.1992.227637}
}
					

@inproceedings{Araujo:2011tg,
  author = {W. Araujo and L.C. Briand and Y. Labiche},
  title = {On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software},
  booktitle = {Proceedings of the 2011 International Symposium on Empirical Software Engineering and Measurement (ESEM)},
  year = {2011},
  pages = {10 -19},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/ESEM.2011.9}
}
					

@inproceedings{El-Ariss:2010pa,
  author = {O. El Ariss and Dianxiang Xu and S. Dandey and B. Vender and P. McClean and B. Slator},
  title = {A Systematic Capture and Replay Strategy for Testing Complex GUI Based Java Applications},
  booktitle = {Proceedings of the 7th International Conference on Information Technology: New Generations (ITNG)},
  year = {2010},
  pages = {1038 -1043},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ITNG.2010.216}
}
					

@article{Arkin:2005ek,
  author = {B. Arkin and S. Stender and G. McGraw},
  title = {Software penetration testing},
  journal = {Security Privacy, IEEE},
  year = {2005},
  volume = {3},
  number = {1},
  pages = {84 -87},
  month = {jan.-feb.},
  doi = {http://dx.doi.org/10.1109/MSP.2005.23}
}
					

@article{Arvind:2010ra,
  author = {V. Arvind and Partha Mukhopadhyay and Srikanth Srinivasan},
  title = {New Results on Noncommutative and Commutative Polynomial Identity Testing},
  journal = {Computational Complexity},
  year = {2010},
  volume = {19},
  pages = {521-558},
  url = {http://dx.doi.org/10.1007/s00037-010-0299-8}
}
					

@inproceedings{Asrafi:2011zf,
  author = {M. Asrafi and Huai Liu and Fei-Ching Kuo},
  title = {On Testing Effectiveness of Metamorphic Relations: A Case Study},
  booktitle = {Proceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement (SSIRI)},
  year = {2011},
  pages = {147 -156},
  month = {june},
  doi = {http://dx.doi.org/10.1109/SSIRI.2011.21}
}
					

@article{Astesiano2002,
  author = {Egidio Astesiano and Michel Bidoit and Hélène Kirchner and Bernd Krieg-Brückner and Peter D. Mosses and Donald Sannella and Andrzej Tarlecki},
  title = {CASL: the Common Algebraic Specification Language},
  journal = {Theor. Comput. Sci.},
  year = {2002},
  volume = {286},
  number = {2},
  pages = {153-196}
}
					

@inproceedings{Atkinson:2011bv,
  author = {C. Atkinson and O. Hummel and W. Janjic},
  title = {Search-enhanced testing: NIER track},
  booktitle = {Proceedings of the 2011 33rd International Conference on Software Engineering (ICSE)},
  year = {2011},
  pages = {880 -883},
  month = {may},
  doi = {http://dx.doi.org/10.1145/1985793.1985932}
}
					

@inproceedings{Austin:1994ld,
  author = {Todd Austin and Scott Breach and Gurindar Sohi},
  title = {Efficient detection of all pointer and array access errors},
  booktitle = {Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation},
  year = {1994},
  pages = {290--301},
  address = {New York, NY, USA}
}
					

@article{Ayewah:2008hh,
  author = {N. Ayewah and D. Hovemeyer and J.D. Morgenthaler and J. Penix and W. Pugh},
  title = {Using Static Analysis to Find Bugs},
  journal = {Software, IEEE},
  year = {2008},
  volume = {25},
  number = {5},
  pages = {22 -29},
  month = {sept.-oct.},
  doi = {http://dx.doi.org/10.1109/MS.2008.130}
}
					

@incollection{Bottger:2003um,
  author = {Kathrin Böttger and Rolf Schwitter and Diego Mollá and Debbie Richards},
  title = {Towards Reconciling Use Cases via Controlled Language and Graphical Models},
  booktitle = {Web Knowledge Management and Decision Support},
  year = {2003},
  volume = {2543},
  pages = {115-128},
  url = {http://dx.doi.org/10.1007/3-540-36524-9_10}
}
					

@inproceedings{Bohr:2011uq,
  author = {F. Böhr},
  title = {Model Based Statistical Testing of Embedded Systems},
  booktitle = {Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
  year = {2011},
  pages = {18 -25},
  month = {march},
  doi = {http://dx.doi.org/10.1109/ICSTW.2011.11}
}
					

@inproceedings{Bohr:2010xr,
  author = {F. Böhr},
  title = {Model Based Statistical Testing and Durations},
  booktitle = {Proceedings of the 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS)},
  year = {2010},
  pages = {344 -351},
  month = {march},
  doi = {http://dx.doi.org/10.1109/ECBS.2010.49}
}
					

@article{babich1979proving,
  author = {Babich, A.F.},
  title = {Proving total correctness of parallel programs},
  journal = {Software Engineering, IEEE Transactions on},
  publisher = {IEEE},
  year = {1979},
  number = {6},
  pages = {558--574}
}
					

@inproceedings{Bader:1998ay,
  author = {A. Bader and A.S.M. Sajeev and S. Ramakrishnan},
  title = {Testing concurrency and communication in distributed objects},
  booktitle = {High Performance Computing, 1998. HIPC '98. 5th International Conference On},
  year = {1998},
  pages = {422 -428},
  month = {dec},
  doi = {http://dx.doi.org/10.1109/HIPC.1998.738017}
}
					

@article{Bagge:2009uj,
  author = {Anya Bagge and Magne Haveraaen},
  title = {Axiom-Based Transformations: Optimisation and Testing},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2009},
  volume = {238},
  number = {5},
  pages = {17 - 33},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066109003922},
  doi = {http://dx.doi.org/10.1016/j.entcs.2009.09.038}
}
					

@inproceedings{Baharom:2009xk,
  author = {S. Baharom and Z. Shukur},
  title = {Utilizing an abstraction relation document in grey-box testing approach},
  booktitle = {Proceedings of the International Conference on Electrical Engineering and Informatics, 2009. ICEEI '09.},
  year = {2009},
  volume = {01},
  pages = {304 -308},
  month = {aug.},
  doi = {http://dx.doi.org/10.1109/ICEEI.2009.5254769}
}
					

@inproceedings{Bai:2011mj,
  author = {Xiaoying Bai and Kejia Hou and Hao Lu and Yao Zhang and Linping Hu and Hong Ye},
  title = {Semantic-Based Test Oracles},
  booktitle = {Computer Software and Applications Conference (COMPSAC), 2011 IEEE 35th Annual},
  year = {2011},
  pages = {640 -649},
  month = {july},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2011.89}
}
					

@article{Balcer:1989xj,
  author = {M. Balcer and W. Hasling and T. Ostrand},
  title = {Automatic generation of test scripts from formal test specifications},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {1989},
  volume = {14},
  number = {8},
  pages = {210--218},
  address = {New York, NY, USA},
  month = {November}
}
					

@inproceedings{Baradhi:1997jv,
  author = {G. Baradhi and N. Mansour},
  title = {A comparative study of five regression testing algorithms},
  booktitle = {Proceedings of the Australian Software Engineering Conference},
  year = {1997},
  pages = {174 -182},
  month = {September},
  doi = {http://dx.doi.org/10.1109/ASWEC.1997.623769}
}
					

@phdthesis{Barbey:1997jt,
  author = {Stèphane Barbey},
  title = {Test Selection for Specification-Based Unit Testing of Object-Oriented Software based on Formal Specifications},
  school = {École Polytechnique Fédérale de Lausanne},
  year = {1997}
}
					

@inproceedings{Barbosa:2011xt,
  author = {Ana Barbosa and Ana Paiva and José Campos},
  title = {Test case generation from mutated task models},
  booktitle = {Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems},
  year = {2011},
  pages = {175--184},
  address = {New York, NY, USA}
}
					

@techreport{Baresi:2001lw,
  author = {Luciano Baresi and Michal Young},
  title = {Test Oracles},
  year = {2001},
  number = {CIS-TR-01-02},
  address = {Eugene, Oregon, U.S.A.},
  month = {August}
}
					

@incollection{Barus:2011yx,
  author = {A. Barus and T. Chen and D. Grant and F. Kuo and M. Lau},
  title = {Testing of Heuristic Methods: A Case Study of Greedy Algorithm},
  booktitle = {Software Engineering Techniques},
  year = {2011},
  volume = {4980},
  pages = {246-260},
  url = {http://dx.doi.org/10.1007/978-3-642-22386-0_19}
}
					

@article{Bastani:1985fu,
  author = {F.B. Bastani},
  title = {On the Uncertainty in the Correctness of Computer Programs},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1985},
  volume = {SE-11},
  number = {9},
  pages = {857 - 864},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/TSE.1985.232545}
}
					

@inproceedings{Bekrar:2012rd,
  author = {S. Bekrar and C. Bekrar and R. Groz and L. Mounier},
  title = {A Taint Based Approach for Smart Fuzzing},
  booktitle = {Proceedings of the IEEE 5th International Conference on Software Testing, Verification and Validation},
  year = {2012},
  pages = {818 -825},
  month = {April},
  doi = {http://dx.doi.org/10.1109/ICST.2012.182}
}
					

@inproceedings{Bekrar:2011zr,
  author = {S. Bekrar and C. Bekrar and R. Groz and L. Mounier},
  title = {Finding Software Vulnerabilities by Smart Fuzzing},
  booktitle = {Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2011},
  pages = {427 -430},
  month = {march},
  doi = {http://dx.doi.org/10.1109/ICST.2011.48}
}
					

@article{Belli:2007wt,
  author = {Fevzi Belli and Christof Budnik},
  title = {Test minimization for human-computer interaction},
  journal = {Applied Intelligence},
  year = {2007},
  volume = {26},
  pages = {161-174},
  url = {http://dx.doi.org/10.1007/s10489-006-0008-0}
}
					

@incollection{Belli:2005ep,
  author = {Fevzi Belli and Baris Güldali},
  title = {A Holistic Approach to Test-Driven Model Checking},
  booktitle = {Innovations in Applied Artificial Intelligence},
  year = {2005},
  volume = {3533},
  pages = {225-239},
  url = {http://dx.doi.org/10.1007/11504894_45}
}
					

@incollection{Berg:2005ux,
  author = {Therese Berg and Olga Grinchtein and Bengt Jonsson and Martin Leucker and Harald Raffelt and Bernhard Steffen},
  title = {On the Correspondence Between Conformance Testing and Regular Inference},
  booktitle = {Fundamental Approaches to Software Engineering},
  year = {2005},
  volume = {3442},
  pages = {175-189},
  url = {http://dx.doi.org/10.1007/978-3-540-31984-9_14}
}
					

@incollection{Berg:2006da,
  author = {Therese Berg and Bengt Jonsson and Harald Raffelt},
  title = {Regular Inference for State Machines with Parameters},
  booktitle = {Fundamental Approaches to Software Engineering},
  year = {2006},
  volume = {3922},
  pages = {107-121},
  url = {http://dx.doi.org/10.1007/11693017_10}
}
					

@article{Bernhard:1994lk,
  author = {Philip Bernhard},
  title = {A reduced test suite for protocol conformance testing},
  journal = {ACM Transactions on Software Engineering Methodologies},
  year = {1994},
  volume = {3},
  number = {3},
  pages = {201--220},
  address = {New York, NY, USA},
  month = {July}
}
					

@article{Bernot:1991nb,
  author = {G. Bernot and M.C. Gaudel and B. Marre},
  title = {Software testing based on formal specifications: a theory and a tool},
  journal = {Software Engineering Journal},
  year = {1991},
  volume = {6},
  number = {6},
  pages = {387 -405},
  month = {nov}
}
					

@inproceedings{Bernot:1991io,
  author = {Gilles Bernot and Marie-Claude Gaudel and Bruno Marre},
  title = {A Formal Approach to Software Testing},
  booktitle = {Proceedings of the 2nd International Conference on Algebraic Methodology and Software Technology},
  year = {1991},
  pages = {243-253}
}
					

@incollection{Bertolino:2007br,
  author = {Antonia Bertolino and Henry Muccini and Andrea Polini},
  title = {Architectural Verification of Black-Box Component-Based Systems},
  booktitle = {Rapid Integration of Software Engineering Techniques},
  year = {2007},
  volume = {4401},
  pages = {98-113},
  url = {http://dx.doi.org/10.1007/978-3-540-71876-5_7}
}
					

@article{Bertolino:1996rt,
  author = {A. Bertolino and L. Strigini},
  title = {On the use of testability measures for dependability assessment},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1996},
  volume = {22},
  number = {2},
  pages = {97 -108},
  month = {feb},
  doi = {http://dx.doi.org/10.1109/32.485220}
}
					

@inproceedings{Bessayah:2010em,
  author = {F. Bessayah and A. Cavalli},
  title = {A Formal Passive Testing Approach for Checking Real Time Constraints},
  booktitle = {Proceedings of the 7th International Conference on the Quality of Information and Communications Technology},
  year = {2010},
  pages = {274 -279},
  month = {October},
  doi = {http://dx.doi.org/10.1109/QUATIC.2010.55}
}
					

@inproceedings{Beydeda:2006wd,
  author = {S. Beydeda},
  title = {Self-Metamorphic-Testing Components},
  booktitle = {Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International},
  year = {2006},
  volume = {2},
  pages = {265 -272},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2006.161}
}
					

@incollection{Beyer:2005nv,
  author = {Dirk Beyer and Thomas Henzinger and Ranjit Jhala and Rupak Majumdar},
  title = {Checking Memory Safety with Blast},
  booktitle = {Fundamental Approaches to Software Engineering},
  year = {2005},
  volume = {3442},
  pages = {2-18},
  url = {http://dx.doi.org/10.1007/978-3-540-31984-9_2}
}
					

@article{Binkley:1997pb,
  author = {D. Binkley},
  title = {Semantics guided regression test cost reduction},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1997},
  volume = {23},
  number = {8},
  pages = {498 -516},
  month = {aug},
  doi = {http://dx.doi.org/10.1109/32.624306}
}
					

@inproceedings{Binnig:2008eg,
  author = {C. Binnig and D. Kossmann and E. Lo and A. Saenz-Badillos},
  title = {Automatic Result Verification for the Functional Testing of a Query Language},
  booktitle = {Proceedings of the IEEE 24th International Conference on Data Engineering, 2008. ICDE 2008.},
  year = {2008},
  pages = {1534 -1536},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICDE.2008.4497614}
}
					

@inproceedings{blikle1975proving,
  author = {Blikle, A.},
  title = {Proving programs by sets of computations},
  booktitle = {Mathematical Foundations of Computer Science},
  year = {1975},
  pages = {333--358}
}
					

@article{Bloomfield:1986bp,
  author = {R.E. Bloomfield and P.K.D. Froome},
  title = {The application of formal methods to the assessment of high integrity software},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1986},
  volume = {SE-12},
  number = {9},
  pages = {988 -993},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/TSE.1986.6313053}
}
					

@article{Blum:1995vo,
  author = {Manuel Blum and Sampath Kannan},
  title = {Designing programs that check their work},
  journal = {J. ACM},
  year = {1995},
  volume = {42},
  number = {1},
  pages = {269--291},
  address = {New York, NY, USA},
  month = {January}
}
					

@article{Bochmann:1989jx,
  author = {G.V. Bochmann and R. Dssouli and J.R. Zhao},
  title = {Trace analysis for conformance and arbitration testing},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1989},
  volume = {15},
  number = {11},
  pages = {1347 -1356},
  month = {nov},
  doi = {http://dx.doi.org/10.1109/32.41328}
}
					

@inproceedings{Bochmann:1994qr,
  author = {Gregor Bochmann and Alexandre Petrenko},
  title = {Protocol testing: review of methods and relevance for software testing},
  booktitle = {Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis},
  year = {1994},
  pages = {109--124},
  address = {New York, NY, USA}
}
					

@inproceedings{Bogdanov:2009nv,
  author = {K. Bogdanov and N. Walkinshaw},
  title = {Computing the Structural Difference between State-Based Models},
  booktitle = {Proceedings of the 16th Working Conference on Reverse Engineering, 2009. WCRE '09.},
  year = {2009},
  pages = {177 -186},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/WCRE.2009.17}
}
					

@incollection{Bourdonov:2001te,
  author = {Igor Bourdonov and Alexey Demakov and Andrew Jarov and Alexander Kossatchev and Victor Kuliamin and Alexander Petrenko and Sergey Zelenov},
  title = {Java Specification Extension for Automated Test Development},
  booktitle = {Perspectives of System Informatics},
  year = {2001},
  volume = {2244},
  pages = {301-307},
  url = {http://dx.doi.org/10.1007/3-540-45575-2_30}
}
					

@inproceedings{Boyapati:2002jv,
  author = {C. Boyapati and S. Khurshid and D. Marinov},
  title = {Korat: Automated testing based on Java predicates},
  booktitle = {International Symposium on Software Testing and Analysis: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis: Roma, Italy},
  year = {2002},
  volume = {22},
  number = {24},
  pages = {123--133}
}
					

@inproceedings{Bozkurt:2011pm,
  author = {M. Bozkurt and M. Harman},
  title = {Automatically generating realistic test input from web services},
  booktitle = {Proceedings of the 2011 IEEE 6th International Symposium on Service Oriented System Engineering (SOSE)},
  year = {2011},
  pages = {13 -24},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/SOSE.2011.6139088}
}
					

@inproceedings{Brand:2000au,
  author = {D. Brand},
  title = {A software falsifier},
  booktitle = {Proceedings of the 11th International Symposium on Software Reliability Engineering},
  year = {2000},
  pages = {174 -185},
  doi = {http://dx.doi.org/10.1109/ISSRE.2000.885870}
}
					

@inproceedings{Brand:2007wr,
  author = {D. Brand and M. Buss and V.C. Sreedhar},
  title = {Evidence-Based Analysis and Inferring Preconditions for Bug Detection},
  booktitle = {Proceedings of the IEEE International Conference on Software Maintenance, 2007. ICSM 2007.},
  year = {2007},
  pages = {44 -53},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/ICSM.2007.4362617}
}
					

@article{Briand:2003sk,
  author = {L. Briand and Y. Labiche and H. Sun},
  title = {Investigating the use of analysis contracts to improve the testability of object-oriented code},
  journal = {Software: Practice and Experience},
  year = {2003},
  volume = {33},
  number = {7},
  pages = {637--672},
  url = {http://dx.doi.org/10.1002/spe.520},
  doi = {http://dx.doi.org/10.1002/spe.520}
}
					

@article{Briand:2004hv,
  author = {L.C. Briand and M. Di Penta and Y. Labiche},
  title = {Assessing and improving state-based class testing: a series of experiments},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2004},
  volume = {30},
  number = {11},
  pages = {770 - 783},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/TSE.2004.79}
}
					

@article{Brown:1992cn,
  author = {D.B. Brown and R.F. Roggio and II Cross and C.L. McCreary},
  title = {An automated oracle for software testing},
  journal = {Reliability, IEEE Transactions on},
  year = {1992},
  volume = {41},
  number = {2},
  pages = {272 -280},
  month = {jun},
  doi = {http://dx.doi.org/10.1109/24.257793}
}
					

@article{Brylow:2003zr,
  author = {Dennis Brylow and Jens Palsberg},
  title = {Deadline analysis of interrupt-driven software},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2003},
  volume = {28},
  number = {5},
  pages = {198--207},
  address = {New York, NY, USA},
  month = {September}
}
					

@inproceedings{Budnik:2010qt,
  author = {Christof Budnik and Wing Chan and Gregory Kapfhammer},
  title = {Bridging the Gap Between the Theory and Practice of Software Test Automation},
  booktitle = {Proceedings of the 2010 ACM/IEEE 32nd International Conference on Software Engineering},
  year = {2010},
  volume = {2},
  pages = {445 -446},
  month = {may},
  doi = {http://dx.doi.org/10.1145/1810295.1810421}
}
					

@incollection{Burnett:2008we,
  author = {Andrew Burnett and Tom Dowling},
  title = {A Framework for the Development and Testing of Cryptographic Software},
  booktitle = {Advances in Computer and Information Sciences and Engineering},
  year = {2008},
  pages = {45-50}
}
					

@article{Bush:2000ke,
  author = {W.R. Bush and J.D. Pincus and D.J. Sielaff},
  title = {A static analyzer for finding dynamic programming errors},
  journal = {Software-Practice and Experience},
  year = {2000},
  volume = {30},
  number = {7},
  pages = {775--802}
}
					

@techreport{Callahan:1998ll,
  author = {J.R. Callahan and S.M. Easterbrook and T.L. Montgomery and others},
  title = {Generating test oracles via model checking},
  year = {1998},
  number = {NASA-IVV-98-015},
  address = {Fairmont, WV, USA}
}
					

@inproceedings{Callahan:1996sx,
  author = {J. Callahan and F. Schneider and S. Easterbrook and others},
  title = {Automated software testing using model-checking},
  booktitle = {Proceedings 1996 SPIN workshop},
  year = {1996},
  volume = {353}
}
					

@techreport{Campbell:2005hl,
  author = {C. Campbell and W. Grieskamp and L. Nachmanson and W. Schulte and N. Tillmann and M. Veanes},
  title = {Model-based testing of object-oriented reactive systems with Spec Explorer},
  year = {2005},
  number = {MSR-TR-2005-59}
}
					

@article{Carrington:2000vy,
  author = {David Carrington and Ian MacColl and Jason McDonald and Leesa Murray and Paul Strooper},
  title = {From Object-Z Specifications to ClassBench Test Suites},
  journal = {Softw. Test., Verif. Reliab.},
  year = {2000},
  volume = {10},
  number = {2},
  pages = {111-137},
  url = {http://dblp.uni-trier.de/db/journals/stvr/stvr10.html#CarringtonMMMS00}
}
					

@inproceedings{Carrington:1994ve,
  author = {D. Carrington and P. Stocks},
  title = {A tale of two paradigms: Formal methods and software testing},
  booktitle = {Z User Workshop, Cambridge},
  year = {1994},
  pages = {51--68}
}
					

@inproceedings{Catano:2009ip,
  author = {Néstor Catano and Tim Wahls},
  title = {Executing JML specifications of Java card applications: a case study},
  booktitle = {Proceedings of the 2009 ACM symposium on Applied Computing},
  year = {2009},
  pages = {404--408},
  address = {New York, NY, USA}
}
					

@incollection{Chan:2007eh,
  author = {W. Chan and Tsong Chen and S. Cheung and T. Tse and Zhenyu Zhang},
  title = {Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks},
  booktitle = {Reliable Software Technologies -- Ada Europe 2007},
  year = {2007},
  volume = {4498},
  pages = {84-99},
  url = {http://dx.doi.org/10.1007/978-3-540-73230-3_7}
}
					

@inproceedings{Chan:2005gs,
  author = {W.K. Chan and T.Y. Chen and Heng Lu and T.H. Tse and S.S. Yau},
  title = {A metamorphic approach to integration testing of context-sensitive middleware-based applications},
  booktitle = {Proceedings of the 5th International Conference on Quality Software},
  year = {2005},
  pages = {241 - 249},
  month = {September}
}
					

@article{Chan:2009kf,
  author = {W.K. Chan and S.C. Cheung and Jeffrey Ho and T.H. Tse},
  title = {PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs},
  journal = {Journal of Systems and Software},
  year = {2009},
  volume = {82},
  number = {3},
  pages = {422 - 434},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121208001817},
  doi = {http://dx.doi.org/10.1016/j.jss.2008.07.019}
}
					

@inproceedings{Chan:2006va,
  author = {W.K. Chan and S.C. Cheung and J.C.F. Ho and T.H. Tse},
  title = {Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering},
  booktitle = {Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International},
  year = {2006},
  volume = {1},
  pages = {429 -438},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2006.71}
}
					

@inproceedings{Chan:2005zi,
  author = {W.K. Chan and S.C. Cheung and K.R.P.H. Leung},
  title = {Towards a metamorphic testing methodology for service-oriented software applications},
  booktitle = {Proceedings of the Fifth International Conference on Quality Software, 2005. (QSIC 2005).},
  year = {2005},
  pages = {470 - 476},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/QSIC.2005.67}
}
					

@article{Chan:2010rz,
  author = {W. Chan and Jeffrey Ho and T. Tse},
  title = {Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs},
  journal = {Software Testing, Verification and Reliability},
  year = {2010},
  volume = {20},
  number = {2},
  pages = {89--120},
  url = {http://dx.doi.org/10.1002/stvr.408},
  doi = {http://dx.doi.org/10.1002/stvr.408}
}
					

@inproceedings{Chan:2007uj,
  author = {W.K. Chan and J.C.F. Ho and T.H. Tse},
  title = {Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs},
  booktitle = {Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International},
  year = {2007},
  volume = {1},
  pages = {397 -404},
  month = {july},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2007.167}
}
					

@article{Chapman:1982rl,
  author = {David Chapman},
  title = {A program testing assistant},
  journal = {Communications of ACM},
  year = {1982},
  volume = {25},
  number = {9},
  pages = {625--634},
  address = {New York, NY, USA},
  month = {September}
}
					

@article{Chen:1998za,
  author = {Huo Chen and T. Tse and F. Chan and T. Chen},
  title = {In black and white: an integrated approach to class-level testing of object-oriented programs},
  journal = {ACM Trans. Softw. Eng. Methodol.},
  year = {1998},
  volume = {7},
  number = {3},
  pages = {250--295},
  address = {New York, NY, USA},
  month = {July}
}
					

@article{Chen2001,
  author = {Chen, Huo Yan and Tse, T. H. and Chen, T. Y.},
  title = {TACCLE: a methodology for object-oriented software testing at the class and cluster levels},
  journal = {ACM Trans. Softw. Eng. Methodol.},
  publisher = {ACM},
  year = {2001},
  volume = {10},
  number = {1},
  pages = {56--109},
  month = {January}
}
					

@inproceedings{Chen:2011ba,
  author = {Jiang Chen and T. Aoki},
  title = {Conformance Testing for OSEK/VDX Operating System Using Model Checking},
  booktitle = {Software Engineering Conference (APSEC), 2011 18th Asia Pacific},
  year = {2011},
  pages = {274 -281},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/APSEC.2011.26}
}
					

@inproceedings{Chen:2012tp,
  author = {Jin Chen and Mengxiang Lin and Kai Yu and Bing Shao},
  title = {When a GUI Regression Test Failed, What Should be Blamed?},
  booktitle = {Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2012},
  pages = {467 -470},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICST.2012.127}
}
					

@inproceedings{Chen:2010ew,
  author = {Tsong Chen},
  title = {Metamorphic Testing: A Simple Approach to Alleviate the Oracle Problem},
  booktitle = {Proceedings of the 2010 Fifth IEEE International Symposium on Service Oriented System Engineering (SOSE)},
  year = {2010},
  pages = {1 -2},
  month = {june},
  doi = {http://dx.doi.org/10.1109/SOSE.2010.31}
}
					

@inproceedings{Chen:2002cu,
  author = {T.Y. Chen and Jianqiang Feng and T.H. Tse},
  title = {Metamorphic testing of programs on partial differential equations: a case study},
  booktitle = {Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International},
  year = {2002},
  pages = {327 - 333},
  doi = {http://dx.doi.org/10.1109/CMPSAC.2002.1045022}
}
					

@inproceedings{Chen:2004lg,
  author = {T.Y. Chen and D.H. Huang and T.H. Tse and Z.Q. Zhou},
  title = {Case studies on the selection of useful relations in metamorphic testing},
  booktitle = {Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004)},
  year = {2004},
  pages = {569--583}
}
					

@inproceedings{Chen:2004za,
  author = {Tsong Chen and Fei Kuo and Ying Liu and Antony Tang},
  title = {Metamorphic testing and testing with special values},
  booktitle = {Proceedings of the 5th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing},
  year = {2004},
  pages = {128-134}
}
					

@incollection{Chen:2009xv,
  author = {Tsong Chen and Fei-Ching Kuo and Huai Liu and Shengqiong Wang},
  title = {Conformance Testing of Network Simulators Based on Metamorphic Testing Technique},
  booktitle = {Formal Techniques for Distributed Systems},
  year = {2009},
  volume = {5522},
  pages = {243-248},
  url = {http://dx.doi.org/10.1007/978-3-642-02138-1_19}
}
					

@inproceedings{Chen:2009ha,
  author = {T.Y. Chen and F.-C. Kuo and R. Merkel and W.K. Tam},
  title = {Testing an Open Source Suite for Open Queuing Network Modelling Using Metamorphic Testing Technique},
  booktitle = {Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems},
  year = {2009},
  pages = {23 -29},
  month = {june},
  doi = {http://dx.doi.org/10.1109/ICECCS.2009.28}
}
					

@inproceedings{Chen:2003fm,
  author = {T.Y. Chen and F.-C. Kuo and T.H. Tse and Z.Q. Zhou},
  title = {Metamorphic testing and beyond},
  booktitle = {Proceedings of the Eleventh Annual International Workshop on Software Technology and Engineering Practice, 2003.},
  year = {2003},
  pages = {94 - 100},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/STEP.2003.18}
}
					

@inproceedings{Chen:2005jb,
  author = {T. Chen and F.-C. Kuo and Z.Q. Zhou},
  title = {An effective testing method for end-user programmers},
  booktitle = {Proceedings of the first workshop on End-user software engineering},
  year = {2005},
  pages = {1--5},
  address = {New York, NY, USA}
}
					

@article{Chen:2003ei,
  author = {T.Y. Chen and M.F. Lau},
  title = {On the divide-and-conquer approach towards test suite reduction},
  journal = {Information Sciences},
  year = {2003},
  volume = {152},
  number = {0},
  pages = {89 - 119},
  url = {http://www.sciencedirect.com/science/article/pii/S0020025503000604},
  doi = {http://dx.doi.org/10.1016/S0020-0255(03)00060-4}
}
					

@article{Chen:1999ks,
  author = {T.Y. Chen and M.F. Lau},
  title = {On the completeness of a test suite reduction strategy},
  journal = {The Computer Journal},
  year = {1999},
  volume = {42},
  number = {5},
  pages = {430--440}
}
					

@article{Chen:1998tt,
  author = {T.Y. Chen and M.F. Lau},
  title = {A new heuristic for test suite reduction},
  journal = {Information and Software Technology},
  year = {1998},
  volume = {40},
  number = {5-6},
  pages = {347 - 354}
}
					

@inproceedings{Chen:2000rj,
  author = {T. Chen and A. Von Mayrhauser and M. Sahinoglu and A. Hajjar and C. Anderson},
  title = {Achieving the quality of verification for behavioral models with minimum effort},
  booktitle = {Proceedings of the IEEE 2000 First International Symposium on Quality Electronic Design, 2000. ISQED 2000.},
  year = {2000},
  pages = {234 -239},
  doi = {http://dx.doi.org/10.1109/ISQED.2000.838877}
}
					

@article{Chen:2003gd,
  author = {T.Y. Chen and T.H. Tse and Z.Q. Zhou},
  title = {Fault-based testing without the need of oracles},
  journal = {Information and Software Technology},
  year = {2003},
  volume = {45},
  number = {1},
  pages = {1 - 9},
  url = {http://www.sciencedirect.com/science/article/pii/S0950584902001295},
  doi = {http://dx.doi.org/10.1016/S0950-5849(02)00129-5}
}
					

@article{Chen:2002lq,
  author = {T. Chen and T. Tse and Z.Q. Zhou},
  title = {Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2002},
  volume = {27},
  number = {4},
  pages = {191--195},
  address = {New York, NY, USA},
  month = {July}
}
					

@inproceedings{Chen:1994tn,
  author = {Yih-Farn Chen and D.S. Rosenblum and Kiem-Phong Vo},
  title = {TESTTUBE: a system for selective regression testing},
  booktitle = {Proceedings of the ICSE-16., 16th International Conference on Software Engineering, 1994.},
  year = {1994},
  pages = {211 -220},
  month = {may},
  doi = {http://dx.doi.org/10.1109/ICSE.1994.296780}
}
					

@inproceedings{Chen:2008be,
  author = {Zhenyu Chen and Baowen Xu and Xiaofang Zhang and Changhai Nie},
  title = {A novel approach for test suite reduction based on requirement relation contraction},
  booktitle = {Proceedings of the 2008 ACM symposium on Applied computing},
  year = {2008},
  pages = {390--394},
  address = {New York, NY, USA}
}
					

@inproceedings{Cheon:2007et,
  author = {Yoonsik Cheon},
  title = {Automated Random Testing to Detect Specification-Code Inconsistencies},
  booktitle = {Proceedings of the International Conference on Software Engineering Theory and Practice},
  year = {2007},
  pages = {112-119}
}
					

@inproceedings{Cheon:2007tb,
  author = {Yoonsik Cheon},
  title = {Abstraction in Assertion-Based Test Oracles},
  booktitle = {Proceedings of the Seventh International Conference on Quality Software, 2007. QSIC '07.},
  year = {2007},
  pages = {410 -414},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/QSIC.2007.4385528}
}
					

@inproceedings{Cheon:2010zx,
  author = {Yoonsik Cheon and C. Avila},
  title = {Automating Java Program Testing Using OCL and AspectJ},
  booktitle = {Proceedings of the 2010 Seventh International Conference on Information Technology: New Generations (ITNG)},
  year = {2010},
  pages = {1020 -1025},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ITNG.2010.123}
}
					

@techreport{Cheon:2005zi,
  author = {Yoonsik Cheon and Myoung Kim and Ashaveena Perumandla},
  title = {A Complete Automation of Unit Testing for Java Programs},
  year = {2005},
  number = {UTEP-CS-05-05}
}
					

@incollection{Cheon:2006hk,
  author = {Yoonsik Cheon and Gary Leavens},
  title = {A Simple and Practical Approach to Unit Testing: The JML and JUnit Way},
  booktitle = {ECOOP 2002 --- Object-Oriented Programming},
  year = {2006},
  volume = {2374},
  pages = {1789-1901},
  url = {http://dx.doi.org/10.1007/3-540-47993-7_10}
}
					

@techreport{Cheon:2004ox,
  author = {Y. Cheon and G.T. Leavens},
  title = {The JML and JUnit way of unit testing and its implementation},
  year = {2004},
  number = {TR-04-02}
}
					

@inproceedings{Cheon:2002ma,
  author = {Y. Cheon and G.T. Leavens},
  title = {A runtime assertion checker for the Java Modeling Language (JML)},
  booktitle = {Proceedings of the International Conference on Software Engineering Research and Practice},
  year = {2002},
  pages = {322--328}
}
					

@article{Cherem:2007iu,
  author = {Sigmund Cherem and Lonnie Princehouse and Radu Rugina},
  title = {Practical memory leak detection using guarded value-flow analysis},
  journal = {SIGPLAN Not.},
  year = {2007},
  volume = {42},
  number = {6},
  pages = {480--491},
  address = {New York, NY, USA},
  month = {June}
}
					

@inproceedings{Cho:2007he,
  author = {Dae Cho and Hyeon Kim and Seunguk Oh},
  title = {A new approach to detecting memory access errors in C programs},
  booktitle = {Proceedings of the 6th IEEE/ACIS International Conference on Computer and Information Science},
  year = {2007},
  pages = {885 -890},
  month = {july},
  doi = {http://dx.doi.org/10.1109/ICIS.2007.33}
}
					

@article{Cho:2005oh,
  author = {Seung Cho and Jae Lee},
  title = {Lightweight Specification-based Testing of Memory Cards: A Case Study},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2005},
  volume = {111},
  number = {0},
  pages = {73 - 91},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066104052338},
  doi = {http://dx.doi.org/10.1016/j.entcs.2004.12.008}
}
					

@inproceedings{Clarke:2001bq,
  author = {Duncan Clarke and Thierry Jéron and Vlad Rusu and Elena Zinovieva},
  title = {STG: a tool for generating symbolic test programs and oracles from operational specifications},
  booktitle = {Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering},
  year = {2001},
  pages = {301--302},
  address = {New York, NY, USA}
}
					

@inproceedings{Coppit:2005yd,
  author = {D. Coppit and J.M. Haddox-Schatz},
  title = {On the Use of Specification-Based Assertions as Test Oracles},
  booktitle = {Software Engineering Workshop, 2005. 29th Annual IEEE/NASA},
  year = {2005},
  pages = {305 -314},
  month = {april},
  doi = {http://dx.doi.org/10.1109/SEW.2005.33}
}
					

@inproceedings{Cotroneo:2009ll,
  author = {D. Cotroneo and R. Natella and A. Pecchia and S. Russo},
  title = {An Approach for Assessing Logs by Software Fault Injection},
  booktitle = {Proactive Failure Avoidance, Recovery and Maintenance (PFARM) Summary of DSN Workshop at Estoril, Lisbon, Portugal},
  year = {2009},
  pages = {15-20}
}
					

@inproceedings{DSouza:2006li,
  author = {D. D'Souza and M. Gopinathan},
  title = {Computing Complete Test Graphs for Hierarchical Systems},
  booktitle = {Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, 2006. SEFM 2006.},
  year = {2006},
  pages = {70 -79},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/SEFM.2006.13}
}
					

@inproceedings{Dai:2007dy,
  author = {Guilan Dai and Xiaoying Bai and Yongbo Wang and Fengjun Dai},
  title = {Contract-Based Testing for Web Services},
  booktitle = {Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International},
  year = {2007},
  volume = {1},
  pages = {517 -526},
  month = {july},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2007.100}
}
					

@inproceedings{Dai:2010vl,
  author = {Huning Dai and C. Murphy and G. Kaiser},
  title = {Configuration Fuzzing for Software Vulnerability Detection},
  booktitle = {Proceedings of the ARES '10 International Conference on Availability, Reliability, and Security, 2010.},
  year = {2010},
  pages = {525 -530},
  month = {feb.},
  doi = {http://dx.doi.org/10.1109/ARES.2010.22}
}
					

@incollection{Dan:2005eq,
  author = {Li Dan and Bernhard Aichernig},
  title = {Combining Algebraic and Model-Based Test Case Generation},
  booktitle = {Theoretical Aspects of Computing - ICTAC 2004},
  year = {2005},
  volume = {3407},
  pages = {250-264},
  url = {http://dx.doi.org/10.1007/978-3-540-31862-0_19}
}
					

@inproceedings{Daniel:2007jq,
  author = {Brett Daniel and Danny Dig and Kely Garcia and Darko Marinov},
  title = {Automated testing of refactoring engines},
  booktitle = {Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering},
  year = {2007},
  pages = {185--194},
  address = {New York, NY, USA}
}
					

@inproceedings{Daniels:1999py,
  author = {F.J. Daniels and K.C. Tai},
  title = {Measuring the effectiveness of method test sequences derived from sequencing constraints},
  booktitle = {Technology of Object-Oriented Languages and Systems, 1999. TOOLS 30. Proceedings},
  year = {1999},
  pages = {74 -83},
  month = {aug},
  doi = {http://dx.doi.org/10.1109/TOOLS.1999.787537}
}
					

@article{Dauchy:1993te,
  author = {P Dauchy and M.-C Gaudel and B Marre},
  title = {Using algebraic specifications in software testing: A case study on the software of an automatic subway},
  journal = {Journal of Systems and Software},
  year = {1993},
  volume = {21},
  number = {3},
  pages = {229 - 244},
  url = {http://www.sciencedirect.com/science/article/pii/016412129390025S},
  doi = {http://dx.doi.org/10.1016/0164-1212(93)90025-S}
}
					

@incollection{Dauchy:1991xe,
  author = {Pierre Dauchy and Bruno Marre},
  title = {Test data selection from algebraic specifications: Application to an automatic subway module},
  booktitle = {ESEC '91},
  year = {1991},
  volume = {550},
  pages = {80-100},
  url = {http://dx.doi.org/10.1007/3540547428_44}
}
					

@inproceedings{Day:1985ga,
  author = {J. Day and J. Gannon},
  title = {A test oracle based on formal specifications},
  booktitle = {Proceedings of the second conference on Software development tools, techniques, and alternatives},
  year = {1985},
  pages = {126--130},
  address = {Los Alamitos, CA, USA}
}
					

@article{Delamare:2011bs,
  author = {Romain Delamare and Benoit Baudry and Sudipto Ghosh and Shashank Gupta and Yves Le Traon},
  title = {An approach for testing pointcut descriptors in AspectJ},
  journal = {Software Testing, Verification and Reliability},
  year = {2011},
  volume = {21},
  number = {3},
  pages = {215--239},
  url = {http://dx.doi.org/10.1002/stvr.458},
  doi = {http://dx.doi.org/10.1002/stvr.458}
}
					

@inproceedings{Depoutovitch:2006tj,
  author = {Alex Depoutovitch and Michael Stumm},
  title = {Software error early detection system based on run-time statistical analysis of function return values},
  booktitle = {Proceedings of the 1st International Conference on Hot Topics in Autonomic Computing},
  year = {2006},
  url = {http://dl.acm.org/citation.cfm?id=1973393.1973396}
}
					

@book{Deugo:2000nu,
  author = {Dwight Deugo},
  title = {Test-Infected: Programmers Love Writing Tests},
  journal = {More Java Gems},
  year = {2000},
  doi = {http://dx.doi.org/10.1017/CBO9780511550881"}
}
					

@inproceedings{Deugo:2000ol,
  author = {Dwight Deugo},
  title = {Effective Test Strategies for Enterprise-Critical Applications},
  booktitle = {More Java Gems},
  year = {2000},
  pages = {339-350},
  url = {http://dx.doi.org/10.1017/CBO9780511550881}
}
					

@incollection{Dick:1993mz,
  author = {Jeremy Dick and Alain Faivre},
  title = {Automating the generation and sequencing of test cases from model-based specifications},
  booktitle = {FME '93: Industrial-Strength Formal Methods},
  year = {1993},
  volume = {670},
  pages = {268-284},
  url = {http://dx.doi.org/10.1007/BFb0024651}
}
					

@article{Dillig:2007am,
  author = {Isil Dillig and Thomas Dillig and Alex Aiken},
  title = {Static error detection using semantic inconsistency inference},
  journal = {SIGPLAN Not.},
  year = {2007},
  volume = {42},
  number = {6},
  pages = {435--445},
  address = {New York, NY, USA},
  month = {June}
}
					

@article{Dillon:1996zc,
  author = {L. Dillon and Y. Ramakrishna},
  title = {Generating oracles from your favorite temporal logic specifications},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {1996},
  volume = {21},
  number = {6},
  pages = {106--117},
  address = {New York, NY, USA},
  month = {October}
}
					

@article{Dillon:1994qo,
  author = {Laura Dillon and Qing Yu},
  title = {Oracles for checking temporal properties of concurrent systems},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {1994},
  volume = {19},
  number = {5},
  pages = {140--153},
  address = {New York, NY, USA},
  month = {December}
}
					

@inproceedings{Ding:2010op,
  author = {Junhua Ding and Tong Wu and J.Q. Lu and Xin-Hua Hu},
  title = {Self-Checked Metamorphic Testing of an Image Processing Program},
  booktitle = {Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement (SSIRI)},
  year = {2010},
  pages = {190 -197},
  month = {june},
  doi = {http://dx.doi.org/10.1109/SSIRI.2010.25}
}
					

@inproceedings{Ding:2011xt,
  author = {Junhua Ding and Tong Wu and Dianxiang Wu and Jun Lu and Xin-Hua Hu},
  title = {Metamorphic testing of a Monte Carlo modeling program},
  booktitle = {Proceedings of the 6th International Workshop on Automation of Software Test},
  year = {2011},
  pages = {1--7},
  address = {New York, NY, USA}
}
					

@article{diwan1995memory,
  author = {Diwan, A. and Tarditi, D. and Moss, E.},
  title = {Memory system performance of programs with intensive heap allocation},
  journal = {ACM Transactions on Computer Systems (TOCS)},
  publisher = {ACM},
  year = {1995},
  volume = {13},
  number = {3},
  pages = {244--273}
}
					

@inproceedings{Do:2004sm,
  author = {Hyunsook Do and S. Elbaum and G. Rothermel},
  title = {Infrastructure support for controlled experimentation with software testing and regression testing techniques},
  booktitle = {Proceedings of the 2004 International Symposium on Empirical Software Engineering, 2004. ISESE '04.},
  year = {2004},
  pages = {60 - 70},
  month = {aug.},
  doi = {http://dx.doi.org/10.1109/ISESE.2004.1334894}
}
					

@article{Dobolyi:2011nb,
  author = {Kinga Dobolyi and Elizabeth Soechting and Westley Weimer},
  title = {Automating regression testing using web-based application similarities},
  journal = {International Journal on Software Tools for Technology Transfer (STTT)},
  year = {2011},
  volume = {13},
  pages = {111-129},
  url = {http://dx.doi.org/10.1007/s10009-010-0170-x}
}
					

@inproceedings{Dong:2007ma,
  author = {Guowei Dong and Changhai Nie and Baowen Xu and Lulu Wang},
  title = {An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis},
  booktitle = {Proceedings of the Seventh International Conference on Quality Software, 2007. QSIC '07.},
  year = {2007},
  pages = {292 -297},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/QSIC.2007.4385510}
}
					

@inproceedings{Dong:2010ui,
  author = {Guowei Dong and Shizhong Wu and Guisi Wang and Tao Guo and Yonggang Huang},
  title = {Security Assurance with Metamorphic Testing and Genetic Algorithm},
  booktitle = {Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03},
  year = {2010},
  pages = {397--401},
  address = {Washington, DC, USA},
  url = {http://dx.doi.org/10.1109/WI-IAT.2010.101},
  doi = {http://dx.doi.org/10.1109/WI-IAT.2010.101}
}
					

@article{Doong:1994xk,
  author = {Roong-Ko Doong and Phyllis Frankl},
  title = {The ASTOOT approach to testing object-oriented programs},
  journal = {ACM Trans. Softw. Eng. Methodol.},
  year = {1994},
  volume = {3},
  number = {2},
  pages = {101--130},
  address = {New York, NY, USA},
  month = {April}
}
					

@inproceedings{Duchene:2012mz,
  author = {F. Duchene and R. Groz and S. Rawat and J. Richier},
  title = {XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing},
  booktitle = {Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2012},
  pages = {815 -817},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICST.2012.181}
}
					

@inproceedings{Duncan:1981nn,
  author = {A. Duncan and J. Hutchison},
  title = {Using attributed grammars to test designs and implementations},
  booktitle = {Proceedings of the 5th international conference on Software engineering},
  year = {1981},
  pages = {170--178},
  address = {Piscataway, NJ, USA}
}
					

@incollection{Durrieu:2009cz,
  author = {Guy Durrieu and Hélène Waeselynck and Virginie Wiels},
  title = {LETO - A Lustre-Based Test Oracle for Airbus Critical Systems},
  booktitle = {Formal Methods for Industrial Critical Systems},
  year = {2009},
  volume = {5596},
  pages = {7-22},
  url = {http://dx.doi.org/10.1007/978-3-642-03240-0_5}
}
					

@article{Edwards:2001np,
  author = {Stephen Edwards},
  title = {A framework for practical, automated black-box testing of component-based software},
  journal = {Software Testing, Verification and Reliability},
  year = {2001},
  volume = {11},
  number = {2},
  pages = {97--111},
  url = {http://dx.doi.org/10.1002/stvr.224},
  doi = {http://dx.doi.org/10.1002/stvr.224}
}
					

@inproceedings{Eickelmann:1996nz,
  author = {N.S. Eickelmann and D.J. Richardson},
  title = {An evaluation of software test environment architectures},
  booktitle = {Proceedings of the Proceedings of the 18th International Conference on Software Engineering, 1996.},
  year = {1996},
  pages = {353 -364},
  month = {mar},
  doi = {http://dx.doi.org/10.1109/ICSE.1996.493430}
}
					

@incollection{Elkind:2006jz,
  author = {Edith Elkind and Blaise Genest and Doron Peled and Hongyang Qu},
  title = {Grey-Box Checking},
  booktitle = {Formal Techniques for Networked and Distributed Systems - FORTE 2006},
  year = {2006},
  volume = {4229},
  pages = {420-435},
  url = {http://dx.doi.org/10.1007/11888116_30}
}
					

@incollection{Engel:2007qy,
  author = {Christian Engel and Reiner Hähnle},
  title = {Generating Unit Tests from Formal Proofs},
  booktitle = {Tests and Proofs},
  year = {2007},
  volume = {4454},
  pages = {169-188},
  url = {http://dx.doi.org/10.1007/978-3-540-73770-4_10}
}
					

@incollection{Engels:2007gv,
  author = {Gregor Engels and Baris Güldali and Marc Lohmann},
  title = {Towards Model-Driven Unit Testing},
  booktitle = {Models in Software Engineering},
  year = {2007},
  volume = {4364},
  pages = {182-192},
  url = {http://dx.doi.org/10.1007/978-3-540-69489-2_23}
}
					

@techreport{Ernst:1999bu,
  author = {M.D. Ernst and W.G. Griswold and Y. Kataoka and D. Notkin},
  title = {Dynamically discovering pointer-based program invariants},
  year = {1999},
  volume = {373},
  number = {UW-CSE-99-11-02}
}
					

@article{Eyre-Todd:1993ex,
  author = {Richard Eyre-Todd},
  title = {The detection of dangling references in C++ programs},
  journal = {ACM Lett. Program. Lang. Syst.},
  year = {1993},
  volume = {2},
  number = {1-4},
  pages = {127--134},
  address = {New York, NY, USA},
  month = {March}
}
					

@incollection{Falcone:2010vi,
  author = {Yliès Falcone and Jean-Claude Fernandez and Thierry Jéron and Hervé Marchand and Laurent Mounier},
  title = {More Testable Properties},
  booktitle = {Testing Software and Systems},
  year = {2010},
  volume = {6435},
  pages = {30-46},
  url = {http://dx.doi.org/10.1007/978-3-642-16573-3_4}
}
					

@inproceedings{Di-Fatta:2006vv,
  author = {Giuseppe Di Fatta and Stefan Leue and Evghenia Stegantova},
  title = {Discriminative pattern mining in software fault detection},
  booktitle = {Proceedings of the 3rd international workshop on Software quality assurance},
  year = {2006},
  pages = {62--69},
  address = {New York, NY, USA}
}
					

@article{Feather:2001zz,
  author = {Martin Feather and Ben Smith},
  title = {Automatic Generation of Test Oracles: From Pilot Studies to Application},
  journal = {Automated Software Engineering},
  year = {2001},
  volume = {8},
  pages = {31-61},
  url = {http://dx.doi.org/10.1023/A:1008711707946}
}
					

@incollection{Fei:2006ws,
  author = {Long Fei and Kyungwoo Lee and Fei Li and Samuel Midkiff},
  title = {Argus: Online Statistical Bug Detection},
  booktitle = {Fundamental Approaches to Software Engineering},
  year = {2006},
  volume = {3922},
  pages = {308-323},
  url = {http://dx.doi.org/10.1007/11693017_23}
}
					

@inproceedings{Fenkam:2002kf,
  author = {P. Fenkam and H. Gall and M. Jazayeri},
  title = {Constructing CORBA-supported oracles for testing: a case study in automated software testing},
  booktitle = {Proceedings of the ASE 2002. 17th IEEE International Conference on Automated Software Engineering, 2002.},
  year = {2002},
  pages = {129 - 138},
  doi = {http://dx.doi.org/10.1109/ASE.2002.1115003}
}
					

@article{Ferguson:1996id,
  author = {Roger Ferguson and Bogdan Korel},
  title = {The chaining approach for software test data generation},
  journal = {ACM Trans. Softw. Eng. Methodol.},
  year = {1996},
  volume = {5},
  number = {1},
  pages = {63--86},
  address = {New York, NY, USA},
  month = {January}
}
					

@article{Fetzer:2004mx,
  author = {C. Fetzer and P. Felber and K. Hogstedt},
  title = {Automatic detection and masking of nonatomic exception handling},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2004},
  volume = {30},
  number = {8},
  pages = {547 - 560},
  month = {aug.},
  doi = {http://dx.doi.org/10.1109/TSE.2004.35}
}
					

@inproceedings{Fink:1994hq,
  author = {G. Fink and K. Levitt},
  title = {Property-based testing of privileged programs},
  booktitle = {Computer Security Applications Conference, 1994. Proceedings., 10th Annual},
  year = {1994},
  pages = {154 -163},
  month = {dec},
  doi = {http://dx.doi.org/10.1109/CSAC.1994.367311}
}
					

@inproceedings{Fleurey:2004up,
  author = {F. Fleurey and J. Steel and B. Baudry},
  title = {Validation in model-driven engineering: testing model transformations},
  booktitle = {Proceedings of the 2004 First International Workshop on Model, Design and Validation, 2004.},
  year = {2004},
  pages = {29 - 40},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/MODEVA.2004.1425846}
}
					

@inproceedings{Foster:2007ya,
  author = {Jeffrey Foster and Michael Hicks and William Pugh},
  title = {Improving software quality with static analysis},
  booktitle = {Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
  year = {2007},
  pages = {83--84},
  address = {New York, NY, USA}
}
					

@article{Fraser:2012ld,
  author = {G. Fraser and A. Arcuri},
  title = {Whole Test Suite Generation},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2012},
  volume = {PP},
  number = {99},
  pages = {1},
  doi = {http://dx.doi.org/10.1109/TSE.2012.14}
}
					

@inproceedings{Fraser:2011no,
  author = {Gordon Fraser and Andrea Arcuri},
  title = {EvoSuite: automatic test suite generation for object-oriented software},
  booktitle = {Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering},
  year = {2011},
  pages = {416--419},
  address = {New York, NY, USA},
  url = {http://doi.acm.org/10.1145/2025113.2025179},
  doi = {http://dx.doi.org/10.1145/2025113.2025179}
}
					

@incollection{Fraser:2007qa,
  author = {Gordon Fraser and Franz Wotawa},
  title = {Redundancy Based Test-Suite Reduction},
  booktitle = {Fundamental Approaches to Software Engineering},
  year = {2007},
  volume = {4422},
  pages = {291-305},
  url = {http://dx.doi.org/10.1007/978-3-540-71289-3_23}
}
					

@article{Fraser:2012du,
  author = {G. Fraser and A. Zeller},
  title = {Mutation-Driven Generation of Unit Tests and Oracles},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2012},
  volume = {38},
  number = {2},
  pages = {278 -292},
  month = {march-april},
  doi = {http://dx.doi.org/10.1109/TSE.2011.93}
}
					

@inproceedings{Fraser:2011wi,
  author = {G. Fraser and A. Zeller},
  title = {Exploiting Common Object Usage in Test Case Generation},
  booktitle = {Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2011},
  pages = {80 -89},
  month = {march},
  doi = {http://dx.doi.org/10.1109/ICST.2011.53}
}
					

@inproceedings{Fraser:2011yv,
  author = {Gordon Fraser and Andreas Zeller},
  title = {Generating parameterized unit tests},
  booktitle = {Proceedings of the 2011 International Symposium on Software Testing and Analysis},
  year = {2011},
  pages = {364--374},
  address = {New York, NY, USA}
}
					

@article{Freedman:1991hl,
  author = {R.S. Freedman},
  title = {Testability of software components},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1991},
  volume = {17},
  number = {6},
  pages = {553 -564},
  month = {jun},
  doi = {http://dx.doi.org/10.1109/32.87281}
}
					

@phdthesis{Frounchi:2009tf,
  author = {Kambiz Frounchi},
  title = {Learning a test Oracle towards automating image segmentation evaluation},
  school = {Carleton University},
  year = {2009},
  address = {Ottawa, Canada}
}
					

@article{Frounchi:2011oj,
  author = {Kambiz Frounchi and Lionel Briand and Leo Grady and Yvan Labiche and Rajesh Subramanyan},
  title = {Automating image segmentation verification and validation by learning test oracles},
  journal = {Information and Software Technology},
  year = {2011},
  volume = {53},
  number = {12},
  pages = {1337 - 1348},
  url = {http://www.sciencedirect.com/science/article/pii/S095058491100156X},
  doi = {http://dx.doi.org/10.1016/j.infsof.2011.06.009}
}
					

@incollection{Gargantini:1999pp,
  author = {Angelo Gargantini and Constance Heitmeyer},
  title = {Using Model Checking to Generate Tests from Requirements Specifications},
  booktitle = {Software Engineering --- ESEC/FSE '99},
  year = {1999},
  volume = {1687},
  pages = {146-162},
  url = {http://dx.doi.org/10.1007/3-540-48166-4_10}
}
					

@article{Gargantini:2001xb,
  author = {A. Gargantini and E. Riccobene},
  title = {ASM-based testing: Coverage criteria and automatic test sequence generation},
  journal = {Journal of Universal Computer Science},
  year = {2001},
  volume = {7},
  number = {11},
  pages = {1050--1067}
}
					

@incollection{Garland:1993jq,
  author = {Stephen Garland and John Guttag and James Horning},
  title = {An overview of Larch},
  booktitle = {Functional Programming, Concurrency, Simulation and Automated Reasoning},
  year = {1993},
  volume = {693},
  pages = {329-348},
  url = {http://dx.doi.org/10.1007/3-540-56883-2_15}
}
					

@incollection{Gaudel:2001mc,
  author = {Marie-Claude Gaudel},
  title = {Testing from Formal Specifications, a Generic Approach},
  booktitle = {Reliable SoftwareTechnologies --- Ada-Europe 2001},
  year = {2001},
  volume = {2043},
  pages = {35-48},
  url = {http://dx.doi.org/10.1007/3-540-45136-6_3}
}
					

@article{Gaudel:1998xv,
  author = {Marie-Claude Gaudel and Perry James},
  title = {Testing Algebraic Data Types and Processes: A Unifying Theory},
  journal = {Formal Aspects of Computing},
  year = {1998},
  volume = {10},
  pages = {436-451},
  url = {http://dx.doi.org/10.1007/s001650050026}
}
					

@article{Giannakopoulou:2011ig,
  author = {Dimitra Giannakopoulou and David Bushnell and Johann Schumann and Heinz Erzberger and Karen Heere},
  title = {Formal testing for separation assurance},
  journal = {Annals of Mathematics and Artificial Intelligence},
  year = {2011},
  volume = {63},
  pages = {5-30},
  url = {http://dx.doi.org/10.1007/s10472-011-9224-3}
}
					

@inproceedings{Giannakopoulou:2011qd,
  author = {D. Giannakopoulou and N. Rungta and M. Feary},
  title = {Automated test case generation for an autopilot requirement prototype},
  booktitle = {Proceedings of the 2011 IEEE International Conference on Systems, Man, and Cybernetics (SMC)},
  year = {2011},
  pages = {1825 -1830},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/ICSMC.2011.6083936}
}
					

@article{Gibson:2011mw,
  author = {J. Gibson and Jean-Luc Raffy and Eric Lallet},
  title = {Formal object-oriented development of a voting system test oracle},
  journal = {Innovations in Systems and Software Engineering},
  year = {2011},
  volume = {7},
  pages = {237-245},
  url = {http://dx.doi.org/10.1007/s11334-011-0167-y}
}
					

@incollection{Gladisch:2010fi,
  author = {Christoph Gladisch and Shmuel Tyszberowicz and Bernhard Beckert and Amiram Yehudai},
  title = {Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay},
  booktitle = {Tests and Proofs},
  year = {2010},
  volume = {6143},
  pages = {61-76},
  url = {http://dx.doi.org/10.1007/978-3-642-13977-2_7}
}
					

@inproceedings{Godefroid:2007pj,
  author = {Patrice Godefroid},
  title = {Random testing for security: blackbox vs. whitebox fuzzing},
  booktitle = {Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)},
  year = {2007},
  pages = {1--1},
  address = {New York, NY, USA}
}
					

@article{Godefroid:2008iz,
  author = {P. Godefroid and P. Halleux and A.V. Nori and S.K. Rajamani and W. Schulte and N. Tillmann and M.Y. Levin},
  title = {Automating Software Testing Using Program Analysis},
  journal = {Software, IEEE},
  year = {2008},
  volume = {25},
  number = {5},
  pages = {30 -37},
  month = {sept.-oct.},
  doi = {http://dx.doi.org/10.1109/MS.2008.109}
}
					

@inproceedings{Godefroid:2008am,
  author = {Patrice Godefroid and Adam Kiezun and Michael Levin},
  title = {Grammar-based whitebox fuzzing},
  booktitle = {Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation},
  year = {2008},
  pages = {206--215},
  address = {New York, NY, USA}
}
					

@inproceedings{Godefroid:2005wd,
  author = {Patrice Godefroid and Nils Klarlund and Koushik Sen},
  title = {DART: directed automated random testing},
  booktitle = {Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation},
  year = {2005},
  pages = {213--223},
  address = {New York, NY, USA}
}
					

@inproceedings{Goldberg:2005ip,
  author = {A. Goldberg and K. Havelund and C. McGann},
  title = {Runtime verification for autonomous spacecraft software},
  booktitle = {Aerospace Conference, 2005 IEEE},
  year = {2005},
  pages = {507 -516},
  month = {march},
  doi = {http://dx.doi.org/10.1109/AERO.2005.1559341}
}
					

@inproceedings{Goldwasser:2008mf,
  author = {Shafi Goldwasser and Dan Gutfreund and Alexander Healy and Tali Kaufman and Guy Rothblum},
  title = {A (de)constructive approach to program checking},
  booktitle = {Proceedings of the 40th annual ACM symposium on Theory of computing},
  year = {2008},
  pages = {143--152},
  address = {New York, NY, USA}
}
					

@article{Gordon:2001vs,
  author = {Andrew Gordon and Don Syme},
  title = {Typing a multi-language intermediate code},
  journal = {SIGPLAN Not.},
  year = {2001},
  volume = {36},
  number = {3},
  pages = {248--260},
  address = {New York, NY, USA},
  month = {January}
}
					

@article{Gorlick:1990sy,
  author = {Michael Gorlick and Carl Kesselman and Daniel Marotta and D. Parker},
  title = {Mockingbird: A logical methodology for testing},
  journal = {The Journal of Logic Programming},
  year = {1990},
  volume = {8},
  number = {1-2},
  pages = {95 - 119},
  url = {http://www.sciencedirect.com/science/article/pii/0743106690900538},
  doi = {http://dx.doi.org/10.1016/0743-1066(90)90053-8}
}
					

@inproceedings{Gotlieb:2003la,
  author = {A. Gotlieb},
  title = {Exploiting symmetries to test programs},
  booktitle = {Proceedings of the 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.},
  year = {2003},
  pages = {365 - 374},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/ISSRE.2003.1251058}
}
					

@inproceedings{Gotlieb:2006yt,
  author = {A. Gotlieb and P. Bernard},
  title = {A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs},
  booktitle = {Proceedings of the 6th International Conference on Quality Software},
  year = {2006},
  pages = {329 -336},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/QSIC.2006.6}
}
					

@inproceedings{Gotlieb:2003eb,
  author = {A. Gotlieb and B. Botella},
  title = {Automated metamorphic testing},
  booktitle = {Computer Software and Applications Conference, 2003. COMPSAC 2003. Proceedings. 27th Annual International},
  year = {2003},
  pages = {34 - 40},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/CMPSAC.2003.1245319}
}
					

@inproceedings{Gowen:1994kf,
  author = {L.D. Gowen},
  title = {Specifying and verifying safety-critical software systems},
  booktitle = {Proceedings of the Proceedings 1994 IEEE Seventh Symposium on Computer-Based Medical Systems, 1994.},
  year = {1994},
  pages = {235 -240},
  month = {jun},
  doi = {http://dx.doi.org/10.1109/CBMS.1994.316018}
}
					

@article{Grabowski:1993al,
  author = {J. Grabowski and D. Hogrefe and R. Nahm and others},
  title = {Test case generation with test purpose specification by MSCs},
  journal = {Specification and Description Lanauge},
  year = {1993},
  volume = {93},
  pages = {253--266}
}
					

@article{Grabowski:2000te,
  author = {J. Grabowski and A. Wiles and C. Willcock and D. Hogrefe},
  title = {On the design of the new testing language TTCN-3},
  journal = {Testing of Communicating Systems},
  year = {2000},
  volume = {13},
  pages = {161--176}
}
					

@inproceedings{Graves:1998fp,
  author = {Todd Graves and Mary Harrold and Jung-Min Kim and Adam Porter and Gregg Rothermel},
  title = {An empirical study of regression test selection techniques},
  booktitle = {Proceedings of the 20th international conference on Software engineering},
  year = {1998},
  pages = {188--197},
  address = {Washington, DC, USA}
}
					

@inproceedings{Grieskamp:2001ov,
  author = {W. Grieskamp and M. Lepper and W. Schulte and N. Tillmann},
  title = {Testable use cases in the Abstract State Machine Language},
  booktitle = {Proceedings of the Second Asia-Pacific Conference on Quality Software, 2001.},
  year = {2001},
  pages = {167 -172},
  doi = {http://dx.doi.org/10.1109/APAQS.2001.990016}
}
					

@article{gritzalis1999security,
  author = {Gritzalis, S. and Spinellis, D. and Georgiadis, P.},
  title = {Security protocols over open networks and distributed systems: Formal methods for their analysis, design, and verification},
  journal = {Computer Communications},
  publisher = {Elsevier},
  year = {1999},
  volume = {22},
  number = {8},
  pages = {697--709}
}
					

@incollection{Groce:2002an,
  author = {Alex Groce and Doron Peled and Mihalis Yannakakis},
  title = {Adaptive Model Checking},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
  year = {2002},
  volume = {2280},
  pages = {269-301},
  url = {http://dx.doi.org/10.1007/3-540-46002-0_25}
}
					

@incollection{Groz:2008ie,
  author = {Roland Groz and Keqin Li and Alexandre Petrenko and Muzammil Shahbaz},
  title = {Modular System Verification by Inference, Testing and Reachability Analysis},
  booktitle = {Testing of Software and Communicating Systems},
  year = {2008},
  volume = {5047},
  pages = {216-233},
  url = {http://dx.doi.org/10.1007/978-3-540-68524-1_16}
}
					

@inproceedings{GrozLPS08,
  author = {Roland Groz and Keqin Li and Alexandre Petrenko and Muzammil Shahbaz},
  title = {Modular System Verification by Inference, Testing and Reachability Analysis},
  booktitle = {TestCom/FATES},
  year = {2008},
  pages = {216-233}
}
					

@inproceedings{Gu:1992mw,
  author = {Zhu Gu and Kong Cheng},
  title = {The derivation of test cases from SDL specifications},
  booktitle = {Proceedings of the 30th annual Southeast regional conference},
  year = {1992},
  pages = {219--227},
  address = {New York, NY, USA}
}
					

@inproceedings{Guderlei:2008dm,
  author = {R. Guderlei and R. Just and C. Schneckenburger and F. Schweiggert},
  title = {Benchmarking Testing Strategies with Tools from Mutation Analysis},
  booktitle = {Proceedings of the IEEE International Conference on Software Testing Verification and Validation Workshop, 2008. ICSTW '08.},
  year = {2008},
  pages = {360 -364},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICSTW.2008.11}
}
					

@article{Guderlei:2007nt,
  author = {R. Guderlei and J. Mayer},
  title = {Towards automatic testing of imaging software by means of random and metamorphic testing},
  journal = {International Journal of Software Engineering and Knowledge Engineering},
  year = {2007},
  volume = {17},
  number = {06},
  pages = {757--781}
}
					

@inproceedings{Guderlei:2007qr,
  author = {R. Guderlei and J. Mayer},
  title = {Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic Testing},
  booktitle = {Proceedings of the Seventh International Conference on Quality Software, 2007. QSIC '07.},
  year = {2007},
  pages = {404 -409},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/QSIC.2007.4385527}
}
					

@inproceedings{Guderlei:2007li,
  author = {Ralph Guderlei and Johannes Mayer and Christoph Schneckenburger and Frank Fleischer},
  title = {Testing randomized software by means of statistical hypothesis tests},
  booktitle = {Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting},
  year = {2007},
  pages = {46--54},
  address = {New York, NY, USA}
}
					

@incollection{Horcher:1995pp,
  author = {Hans-Martin Hörcher},
  title = {Improving software tests using Z Specifications},
  booktitle = {ZUM '95: The Z Formal Specification Notation},
  year = {1995},
  volume = {967},
  pages = {152-166},
  url = {http://dx.doi.org/10.1007/3-540-60271-2_118}
}
					

@article{Hakansson:2003lg,
  author = {John Håkansson and Bengt Jonsson and Ola Lundqvist},
  title = {Generating online test oracles from temporal logic specifications},
  journal = {International Journal on Software Tools for Technology Transfer (STTT)},
  year = {2003},
  volume = {4},
  pages = {456-471},
  url = {http://dx.doi.org/10.1007/s10009-003-0107-8}
}
					

@article{Hagar:1996pf,
  author = {Jon Hagar and James Bieman},
  title = {Using formal specifications as test oracles for system-critical software},
  journal = {Ada Letters},
  year = {1996},
  volume = {XVI},
  number = {6},
  pages = {55--72},
  address = {New York, NY, USA},
  month = {November},
  url = {http://doi.acm.org/10.1145/240795.240798},
  doi = {http://dx.doi.org/10.1145/240795.240798}
}
					

@inproceedings{Hagar:1995hr,
  author = {J. Hagar and J.M. Bieman},
  title = {Adding formal specifications to a proven V &V process for system-critical flight software},
  booktitle = {Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995.},
  year = {1995},
  pages = {76 -85},
  month = {apr},
  doi = {http://dx.doi.org/10.1109/WIFT.1995.515480}
}
					

@article{Hamlet:1990wi,
  author = {D. Hamlet and R. Taylor},
  title = {Partition testing does not inspire confidence [program testing]},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1990},
  volume = {16},
  number = {12},
  pages = {1402 -1411},
  month = {dec},
  doi = {http://dx.doi.org/10.1109/32.62448}
}
					

@inproceedings{Harman:2010yp,
  author = {M. Harman and Sung Kim and K. Lakhotia and P. McMinn and Shin Yoo},
  title = {Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem},
  booktitle = {Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops (ICSTW)},
  year = {2010},
  pages = {182 -191},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICSTW.2010.31}
}
					

@article{Harrold:1999kn,
  author = {Mary Harrold},
  title = {Testing evolving software},
  journal = {Journal of Systems and Software},
  year = {1999},
  volume = {47},
  number = {2-3},
  pages = {173 - 181},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121299000370},
  doi = {http://dx.doi.org/10.1016/S0164-1212(99)00037-0}
}
					

@article{Harrold:1993my,
  author = {M. Harrold and Rajiv Gupta and Mary Soffa},
  title = {A methodology for controlling the size of a test suite},
  journal = {ACM Transactions on Software Engineering and Methodologies},
  year = {1993},
  volume = {2},
  number = {3},
  pages = {270--285},
  address = {New York, NY, USA},
  month = {July}
}
					

@article{Harrold:2001sv,
  author = {Mary Harrold and James Jones and Tongyu Li and Donglin Liang and Alessandro Orso and Maikel Pennings and Saurabh Sinha and S. Spoon and Ashish Gujarathi},
  title = {Regression test selection for Java software},
  journal = {SIGPLAN Not.},
  year = {2001},
  volume = {36},
  number = {11},
  pages = {312--326},
  address = {New York, NY, USA},
  month = {October}
}
					

@article{Harrold:2000io,
  author = {M.J. Harrold and G. Rothermel and K. Sayre and R. Wu and L. Yi},
  title = {An empirical investigation of the relationship between spectra differences and regression faults},
  journal = {Software Testing Verification and Reliability},
  year = {2000},
  volume = {10},
  number = {3},
  pages = {171--194}
}
					

@inproceedings{Hartman:2004vl,
  author = {A. Hartman and K. Nagin},
  title = {The AGEDIS tools for model based testing},
  booktitle = {Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis},
  year = {2004},
  pages = {129--132},
  address = {New York, NY, USA}
}
					

@article{Hatton:1994tz,
  author = {L. Hatton and A. Roberts},
  title = {How accurate is scientific software?},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1994},
  volume = {20},
  number = {10},
  pages = {785 -797},
  month = {oct},
  doi = {http://dx.doi.org/10.1109/32.328993}
}
					

@book{Haughton:1996oy,
  author = {H. Haughton},
  title = {Specification in B: An introduction using the B toolkit},
  year = {1996}
}
					

@techreport{Hayes:1994iu,
  author = {Roger Hayes and Sriram Sankar},
  title = {Specifying and Testing Software Components using ADL},
  year = {1994},
  address = {Mountain View, CA, USA}
}
					

@article{Heckel:2003yb,
  author = {Reiko Heckel and Marc Lohmann},
  title = {Towards Model-Driven Testing},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2003},
  volume = {82},
  number = {6},
  pages = {33 - 43},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066104810235},
  doi = {http://dx.doi.org/10.1016/S1571-0661(04)81023-5}
}
					

@inproceedings{Heimdahl:2005cz,
  author = {M.P.E. Heimdahl},
  title = {Model-based testing: challenges ahead},
  booktitle = {Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International},
  year = {2005},
  volume = {1},
  pages = {330 Vol. 2},
  month = {july},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2005.110}
}
					

@article{Heimdahl:2007tx,
  author = {Mats Heimdahl and Devaraj George},
  title = {On the effect of test-suite reduction on automatically generated model-based tests},
  journal = {Automated Software Engineering},
  year = {2007},
  volume = {14},
  pages = {37-57},
  url = {http://dx.doi.org/10.1007/s10515-006-0004-y}
}
					

@inproceedings{Heimdahl:2004po,
  author = {M.P.E. Heimdahl and D. George},
  title = {Test-suite reduction for model based tests: effects on test quality and implications for testing},
  booktitle = {Proceedings of the 19th International Conference on Automated Software Engineering, 2004.},
  year = {2004},
  pages = {176 - 185},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/ASE.2004.1342735}
}
					

@inproceedings{heine2003practical,
  author = {Heine, D.L. and Lam, M.S.},
  title = {A practical flow-sensitive and context-sensitive C and C++ memory leak detector},
  booktitle = {ACM SIGPLAN Notices},
  year = {2003},
  volume = {38},
  number = {5},
  pages = {168--181}
}
					

@article{Hierons:2012dx,
  author = {R.M. Hierons},
  title = {Oracles for Distributed Testing},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2012},
  volume = {38},
  number = {3},
  pages = {629 -641},
  month = {may-june},
  doi = {http://dx.doi.org/10.1109/TSE.2011.45}
}
					

@article{Hierons:2009vr,
  author = {Robert Hierons and Kirill Bogdanov and Jonathan Bowen and Rance Cleaveland and John Derrick and Jeremy Dick and Marian Gheorghe and Mark Harman and Kalpesh Kapoor and Paul Krause and Gerald Lüttgen and Anthony Simons and Sergiy Vilkomir and Martin Woodward and Hussein Zedan},
  title = {Using formal specifications to support testing},
  journal = {ACM Comput. Surv.},
  year = {2009},
  volume = {41},
  number = {2},
  pages = {9:1--9:76},
  address = {New York, NY, USA},
  month = {February}
}
					

@inproceedings{Hofer:2009lv,
  author = {B. Hofer and B. Peischl and F. Wotawa},
  title = {GUI savvy end-to-end testing with smart monkeys},
  booktitle = {Proceedings of the ICSE Workshop on Automation of Software Test, 2009. AST '09.},
  year = {2009},
  pages = {130 -137},
  month = {may},
  doi = {http://dx.doi.org/10.1109/IWAST.2009.5069051}
}
					

@article{Hoffman:1995vx,
  author = {D. Hoffman and P. Strooper},
  title = {Testgraph methodology: automated testing of collection classes},
  journal = {Journal of Object-Oriented Programming},
  year = {1995},
  volume = {8},
  number = {7},
  pages = {35--41}
}
					

@article{Hoffman:1991lc,
  author = {D.M. Hoffman and P. Strooper},
  title = {Automated module testing in Prolog},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1991},
  volume = {17},
  number = {9},
  pages = {934 -943},
  month = {sep},
  doi = {http://dx.doi.org/10.1109/32.92913}
}
					

@book{hollingworth1974security,
  author = {Hollingworth, D. and Glaseman, S. and Hopwood, M.},
  title = {Security test and evaluation tools: An approach to operating system security analysis},
  publisher = {Rand Corporation},
  year = {1974}
}
					

@article{Hook:2009rv,
  author = {Daniel Hook and Diane Kelly},
  title = {Mutation Sensitivity Testing},
  journal = {Computing in Science Engineering},
  year = {2009},
  volume = {11},
  number = {6},
  pages = {40 -47},
  month = {nov.-dec.},
  doi = {http://dx.doi.org/10.1109/MCSE.2009.200}
}
					

@inproceedings{Hovemeyer:2007nl,
  author = {David Hovemeyer and William Pugh},
  title = {Finding more null pointer bugs, but not too many},
  booktitle = {Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
  year = {2007},
  pages = {9--14},
  address = {New York, NY, USA},
  url = {http://doi.acm.org/10.1145/1251535.1251537},
  doi = {http://dx.doi.org/10.1145/1251535.1251537}
}
					

@inproceedings{Hovemeyer:2005hm,
  author = {David Hovemeyer and Jaime Spacco and William Pugh},
  title = {Evaluating and tuning a static analysis to find null pointer bugs},
  booktitle = {Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
  year = {2005},
  pages = {13--19},
  address = {New York, NY, USA}
}
					

@inproceedings{Howden:2008ay,
  author = {William Howden},
  title = {Elusive Bugs, Bounded Exhaustive Testing and Incomplete Oracles},
  booktitle = {Proceedings of the Third International Conference on Software and Data Technologies},
  year = {2008},
  volume = {SE/MUSE/GSDCA},
  pages = {115-121}
}
					

@article{Howden:1986dt,
  author = {W.E. Howden},
  title = {A functional approach to program testing and analysis},
  journal = {IEEE Transactions on Software Engineering},
  year = {1986},
  volume = {SE-12},
  number = {10},
  pages = {997 -1005},
  month = {October},
  doi = {http://dx.doi.org/10.1109/TSE.1986.6313016}
}
					

@article{Howden:1978nw,
  author = {W.E. Howden},
  title = {Theoretical and Empirical Studies of Program Testing},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1978},
  volume = {SE-4},
  number = {4},
  pages = {293 - 298},
  month = {july},
  doi = {http://dx.doi.org/10.1109/TSE.1978.231514}
}
					

@inproceedings{Hu:2006wt,
  author = {P. Hu and Z. Zhang and WK Chan and TH Tse},
  title = {An empirical comparison between direct and indirect test result checking approaches},
  booktitle = {Foundations of Software Engineering: Proceedings of the 3 rd international workshop on Software quality assurance},
  year = {2006},
  volume = {6},
  number = {06},
  pages = {6--13}
}
					

@inproceedings{Huaikou:2000xq,
  author = {Miao Huaikou and Liu Ling},
  title = {A test class framework for generating test cases from Z specifications},
  booktitle = {Proceedings of the Sixth IEEE International Conference on Engineering of Complex Computer Systems, 2000. ICECCS 2000.},
  year = {2000},
  pages = {164 -171},
  doi = {http://dx.doi.org/10.1109/ICECCS.2000.873941}
}
					

@inproceedings{Hughes1996,
  author = {Hughes, Merlin and Stotts, David},
  title = {Daistish: systematic algebraic testing for OO programs in the presence of side-effects},
  booktitle = {ISSTA},
  publisher = {ACM},
  year = {1996},
  pages = {53--61}
}
					

@inproceedings{Hummel:2005qn,
  author = {O. Hummel and C. Atkinson},
  title = {Automated harvesting of test oracles for reliability testing},
  booktitle = {Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International},
  year = {2005},
  volume = {2},
  pages = {196 - 202 Vol. 1},
  month = {july},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2005.49}
}
					

@article{Hunter:2001mb,
  author = {Chris Hunter and Paul Strooper},
  title = {Systematically deriving partial oracles for testing concurrent programs},
  journal = {Aust. Comput. Sci. Commun.},
  year = {2001},
  volume = {23},
  number = {1},
  pages = {83--91},
  address = {Los Alamitos, CA, USA},
  month = {January}
}
					

@inproceedings{Hura:2011fo,
  author = {Dominik Hura and Michał Dimmich},
  title = {A method facilitating integration testing of embedded software},
  booktitle = {Proceedings of the 9th International Workshop on Dynamic Analysis},
  year = {2011},
  pages = {7--11},
  address = {New York, NY, USA}
}
					

@article{Ivannikov:2007kv,
  author = {V. Ivannikov and A. Kamkin and A. Kossatchev and V. Kuliamin and A. Petrenko},
  title = {The use of contract specifications for representing requirements and for functional testing of hardware models},
  journal = {Programming and Computer Software},
  year = {2007},
  volume = {33},
  pages = {272-282},
  url = {http://dx.doi.org/10.1134/S0361768807050039}
}
					

@article{Jackson:2000hs,
  author = {Daniel Jackson and Mandana Vaziri},
  title = {Finding bugs with a constraint solver},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2000},
  volume = {25},
  number = {5},
  pages = {14--25},
  address = {New York, NY, USA},
  month = {August}
}
					

@inproceedings{Jagadeesan:1997sq,
  author = {Lalita Jagadeesan and Adam Porter and Carlos Puchol and J. Ramming and Lawrence Votta},
  title = {Specification-based testing of reactive software: tools and experiments: experience report},
  booktitle = {Proceedings of the 19th international conference on Software engineering},
  year = {1997},
  pages = {525--535},
  address = {New York, NY, USA}
}
					

@incollection{Jagannath:2009yu,
  author = {Vilas Jagannath and Yun Lee and Brett Daniel and Darko Marinov},
  title = {Reducing the Costs of Bounded-Exhaustive Testing},
  booktitle = {Fundamental Approaches to Software Engineering},
  year = {2009},
  volume = {5503},
  pages = {171-185},
  url = {http://dx.doi.org/10.1007/978-3-642-00593-0_12}
}
					

@article{Jalote:1992hi,
  author = {Pankaj Jalote},
  title = {Specification and testing of abstract data types},
  journal = {Computer Languages},
  year = {1992},
  volume = {17},
  number = {1},
  pages = {75 - 82},
  url = {http://www.sciencedirect.com/science/article/pii/009605519290024H},
  doi = {http://dx.doi.org/10.1016/0096-0551(92)90024-H}
}
					

@article{Jalote:1989rj,
  author = {P. Jalote},
  title = {Testing the completeness of specifications},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1989},
  volume = {15},
  number = {5},
  pages = {526 -531},
  month = {may},
  doi = {http://dx.doi.org/10.1109/32.24701}
}
					

@inproceedings{Janssen:2009dz,
  author = {T. Janssen and R. Abreu and A.J.C. Gemund},
  title = {Zoltar: A Toolset for Automatic Fault Localization},
  booktitle = {Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering, 2009. ASE '09.},
  year = {2009},
  pages = {662 -664},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/ASE.2009.27}
}
					

@inproceedings{Jayaraman:2009hx,
  author = {Karthick Jayaraman and David Harvison and Vijay Ganesh and Adam Kiezun},
  title = {jFuzz: A Concolic Whitebox Fuzzer for Java},
  booktitle = {NASA Formal Methods},
  year = {2009},
  volume = {NASA/CP-2009-215407},
  pages = {121-125},
  url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2009.html#JayaramanHGK09}
}
					

@article{Jeffrey:2007nm,
  author = {D. Jeffrey and N. Gupta},
  title = {Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2007},
  volume = {33},
  number = {2},
  pages = {108 -123},
  month = {feb.},
  doi = {http://dx.doi.org/10.1109/TSE.2007.18}
}
					

@inproceedings{Jenkins:2010yw,
  author = {W. Jenkins and S. Vilkomir and W. Ballance},
  title = {Fault Evaluator: A tool for experimental investigation of effectiveness in software testing},
  booktitle = {Proceedings of the 2010 IEEE International Conference on Progress in Informatics and Computing (PIC)},
  year = {2010},
  volume = {2},
  pages = {1077 -1083},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/PIC.2010.5688000}
}
					

@inproceedings{Jia:1993us,
  author = {X. Jia},
  title = {Model-based formal specification directed testing of abstract data types},
  booktitle = {Computer Software and Applications Conference, 1993. COMPSAC 93. Proceedings., Seventeenth Annual International},
  year = {1993},
  pages = {360 -366},
  month = {nov},
  doi = {http://dx.doi.org/10.1109/CMPSAC.1993.404241}
}
					

@inproceedings{Jia:1999my,
  author = {Xiaoping Jia and Sushant Sawant and Jenny Zhou and Sotiris Skevoulis},
  title = {Applying Static Analysis for Detecting Null Pointers in Java Programs},
  booktitle = {Proceedings of the 5th International Conference on Information Systems Analysis and Synthesis},
  year = {1999},
  pages = {454-460}
}
					

@inproceedings{Jia:1999yn,
  author = {Xiaoping Jia and S. Skevoulis},
  title = {A generic approach of static analysis for detecting runtime errors in Java programs},
  booktitle = {Proceedings of the 23rd Annual International Computer Software and Applications Conference},
  year = {1999},
  pages = {67 -72},
  doi = {http://dx.doi.org/10.1109/CMPSAC.1999.812678}
}
					

@inproceedings{Jin:2008tj,
  author = {Hu Jin and Yi Wang and Nian-Wei Chen and Zhi-Jian Gou and Shuo Wang},
  title = {Artificial Neural Network for Automatic Test Oracles Generation},
  booktitle = {Proceedings of the 2008 International Conference on Computer Science and Software Engineering},
  year = {2008},
  volume = {2},
  pages = {727 -730},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/CSSE.2008.774}
}
					

@inproceedings{Jin:2009vk,
  author = {Hu Jin and Yi Wang and Nian-Wei Chen and Shuo Wang and Ling-Ming Zeng},
  title = {Predication of Program Behaviours for Functionality Testing},
  booktitle = {Proceedings of the 2009 1st International Conference on Information Science and Engineering (ICISE)},
  year = {2009},
  pages = {4993 -4996},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/ICISE.2009.843}
}
					

@inproceedings{Johansson:2009zp,
  author = {U. Johansson and L. Niklasson},
  title = {Evolving decision trees using oracle guides},
  booktitle = {Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2009. CIDM '09.},
  year = {2009},
  pages = {238 -244},
  month = {30 2009-april 2},
  doi = {http://dx.doi.org/10.1109/CIDM.2009.4938655}
}
					

@phdthesis{Johnsen:2010gl,
  author = {Andreas Johnsen},
  title = {Architecture-Based Verification of Software-Intensive Systems},
  school = {Mälardalen University},
  year = {2010}
}
					

@inproceedings{Jones:2005ph,
  author = {E.L. Jones},
  title = {Automated support for test-driven specification},
  booktitle = {Proceedings of the 9th IASTED International Conference on Software Engineering and Applications},
  year = {2005},
  pages = {218--223}
}
					

@article{Jones:2003cf,
  author = {J.A. Jones and M.J. Harrold},
  title = {Test-suite reduction and prioritization for modified condition/decision coverage},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2003},
  volume = {29},
  number = {3},
  pages = {195 - 209},
  month = {march},
  doi = {http://dx.doi.org/10.1109/TSE.2003.1183927}
}
					

@inproceedings{Jongyoung:2006wj,
  author = {Lee Jongyoung and Kim Naesoo},
  title = {Performance Test Tool for RFID Middleware: Parameters, Design, Implementation, and Features},
  booktitle = {Advanced Communication Technology, 2006. ICACT 2006. The 8th International Conference},
  year = {2006},
  volume = {1},
  pages = {149 -152},
  month = {feb.},
  doi = {http://dx.doi.org/10.1109/ICACT.2006.205940}
}
					

@article{Just:2011dh,
  author = {René Just and Franz Schweiggert},
  title = {Automating unit and integration testing with partial oracles},
  journal = {Software Quality Journal},
  year = {2011},
  volume = {19},
  pages = {753-769},
  url = {http://dx.doi.org/10.1007/s11219-011-9151-x}
}
					

@inproceedings{Just:2010tk,
  author = {René Just and Franz Schweiggert},
  title = {Automating software tests with partial oracles in integrated environments},
  booktitle = {Proceedings of the 5th Workshop on Automation of Software Test},
  year = {2010},
  pages = {91--94},
  address = {New York, NY, USA}
}
					

@inproceedings{Kahsai:2007nw,
  author = {T. Kahsai and M. Roggenbach and B.-H. Schlingloff},
  title = {Specification-based testing for refinement},
  booktitle = {Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007.},
  year = {2007},
  pages = {237 -246},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/SEFM.2007.38}
}
					

@inproceedings{Kanade:2010jw,
  author = {Aditya Kanade and Rajeev Alur and Sriram Rajamani and Ganesan Ramanlingam},
  title = {Representation dependence testing using program inversion},
  booktitle = {Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering},
  year = {2010},
  pages = {277--286},
  address = {New York, NY, USA}
}
					

@inproceedings{Kanstren:2009vp,
  author = {T. Kanstren},
  title = {Program Comprehension for User-Assisted Test Oracle Generation},
  booktitle = {Proceedings of the Fourth International Conference on Software Engineering Advances, 2009. ICSEA '09.},
  year = {2009},
  pages = {118 -127},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/ICSEA.2009.26}
}
					

@incollection{Katz:2003dg,
  author = {Jonathan Katz and Moti Yung},
  title = {Scalable Protocols for Authenticated Group Key Exchange},
  booktitle = {Advances in Cryptology - CRYPTO 2003},
  year = {2003},
  volume = {2729},
  pages = {110-125},
  url = {http://dx.doi.org/10.1007/978-3-540-45146-4_7}
}
					

@article{keller1976formal,
  author = {Keller, R.M.},
  title = {Formal verification of parallel programs},
  journal = {Communications of the ACM},
  publisher = {ACM},
  year = {1976},
  volume = {19},
  number = {7},
  pages = {371--384}
}
					

@inproceedings{Kelly:1990ne,
  author = {J.P.J. Kelly and T.I. McVittie and S.C. Murphy},
  title = {Techniques for building dependable distributed systems: multi-version software testing},
  booktitle = {Fault-Tolerant Computing, 1990. FTCS-20. Digest of Papers., 20th International Symposium},
  year = {1990},
  pages = {400 -407},
  month = {jun},
  doi = {http://dx.doi.org/10.1109/FTCS.1990.89394}
}
					

@article{Kessentini:2011ie,
  author = {Marouane Kessentini and Houari Sahraoui and Mounir Boukadoum},
  title = {Example-based model-transformation testing},
  journal = {Automated Software Engineering},
  year = {2011},
  volume = {18},
  pages = {199-224},
  url = {http://dx.doi.org/10.1007/s10515-010-0079-3}
}
					

@inproceedings{Kessentini:2010fn,
  author = {Marouane Kessentini and Houari Sahraoui and Mounir Boukadoum},
  title = {Sequence diagram to colored Petri nets transformation testing: an immune system metaphor},
  booktitle = {Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research},
  year = {2010},
  pages = {72--85},
  address = {Riverton, NJ, USA}
}
					

@inproceedings{Khalek:2008jx,
  author = {S.A. Khalek and B. Elkarablieh and Y.O. Laleye and S. Khurshid},
  title = {Query-Aware Test Generation Using a Relational Constraint Solver},
  booktitle = {Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008. ASE 2008.},
  year = {2008},
  pages = {238 -247},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/ASE.2008.34}
}
					

@inproceedings{Khalek:2011rr,
  author = {S.A. Khalek and S. Khurshid},
  title = {Systematic Testing of Database Engines Using a Relational Constraint Solver},
  booktitle = {Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2011},
  pages = {50 -59},
  month = {march},
  doi = {http://dx.doi.org/10.1109/ICST.2011.21}
}
					

@article{Khurshid:2004hi,
  author = {Sarfraz Khurshid and Darko Marinov},
  title = {TestEra: Specification-Based Testing of Java Programs Using SAT},
  journal = {Automated Software Engineering},
  year = {2004},
  volume = {11},
  pages = {403-434},
  url = {http://dx.doi.org/10.1023/B:AUSE.0000038938.10589.b9}
}
					

@incollection{Kichigin:2010mh,
  author = {Dmitry Kichigin},
  title = {A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules},
  booktitle = {Perspectives of Systems Informatics},
  year = {2010},
  volume = {5947},
  pages = {177-184},
  url = {http://dx.doi.org/10.1007/978-3-642-11486-1_15}
}
					

@inproceedings{Kicillof:2007mf,
  author = {Nicolas Kicillof and Wolfgang Grieskamp and Nikolai Tillmann and Victor Braberman},
  title = {Achieving both model and code coverage with automated gray-box testing},
  booktitle = {Proceedings of the 3rd international workshop on Advances in model-based testing},
  year = {2007},
  pages = {1--11},
  address = {New York, NY, USA}
}
					

@inproceedings{Kim:2008ai,
  author = {Hyoungchun Kim and Younghan Choi and Dohoon Lee and Donghoon Lee},
  title = {Practical Security Testing using File Fuzzing},
  booktitle = {Proceedings of the 10th International Conference on Advanced Communication Technology, 2008. ICACT 2008.},
  year = {2008},
  volume = {2},
  pages = {1304 -1307},
  month = {feb.},
  doi = {http://dx.doi.org/10.1109/ICACT.2008.4494003}
}
					

@inproceedings{Kim:2002ir,
  author = {Jung-Min Kim and A. Porter},
  title = {A history-based test prioritization technique for regression testing in resource constrained environments},
  booktitle = {Proceedings of the 24rd International Conference on Software Engineering},
  year = {2002},
  pages = {119 -129},
  month = {May}
}
					

@inproceedings{Kim:2000au,
  author = {Jung-Min Kim and A. Porter and G. Rothermel},
  title = {An empirical study of regression test application frequency},
  booktitle = {Proceedings of the 2000 International Conference on Software Engineering, 2000.},
  year = {2000},
  pages = {126 -135},
  doi = {http://dx.doi.org/10.1109/ICSE.2000.870404}
}
					

@inproceedings{Kim-Park:2010bw,
  author = {Dae Kim-Park and Claudio Riva and Javier Tuya},
  title = {An automated test oracle for XML processing programs},
  booktitle = {Proceedings of the First International Workshop on Software Test Output Validation},
  year = {2010},
  pages = {5--12},
  address = {New York, NY, USA}
}
					

@inproceedings{Kim-Park:2009ni,
  author = {D.S. Kim-Park and C. Riva and J. Tuya},
  title = {A Partial Test Oracle for XML Query Testing},
  booktitle = {Proceedings of Testing: Academic and Industrial Conference - Practice and Research Techniques},
  year = {2009},
  pages = {13 -20},
  month = {September},
  doi = {http://dx.doi.org/10.1109/TAICPART.2009.27}
}
					

@article{Kirani:1994pf,
  author = {S.H. Kirani and W.T. Tsai},
  title = {Method sequence specification and verification of classes},
  journal = {Journal of Object Oriented Programming},
  year = {1994},
  volume = {7},
  number = {6},
  pages = {28--38}
}
					

@article{Knight:1986xf,
  author = {J. Knight and N. Leveson},
  title = {An experimental evaluation of the assumption of independence in multiversion programming},
  journal = {IEEE Trans. Softw. Eng.},
  year = {1986},
  volume = {12},
  number = {1},
  pages = {96--109},
  address = {Piscataway, NJ, USA},
  month = {January}
}
					

@inproceedings{Ko:2011ux,
  author = {Jong-Won Ko and Sung-Ho Sim and Young-Jae Song},
  title = {Test Based Model Transformation Framework for Mobile Application},
  booktitle = {Proceedings of the 2011 International Conference on Information Science and Applications (ICISA)},
  year = {2011},
  pages = {1 -7},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICISA.2011.5772373}
}
					

@inproceedings{Korel:1996kj,
  author = {B. Korel and A.M. Al-Yami},
  title = {Assertion-oriented automated test data generation},
  booktitle = {Proceedings of the Proceedings of the 18th International Conference on Software Engineering, 1996.},
  year = {1996},
  pages = {71 -80},
  month = {mar},
  doi = {http://dx.doi.org/10.1109/ICSE.1996.493403}
}
					

@article{Kothari:2004kf,
  author = {S.C. Kothari and Luke Bishop and Jeremias Sauceda and Gary Daugherty},
  title = {A Pattern-Based Framework for Software Anomaly Detection},
  journal = {Software Quality Journal},
  year = {2004},
  volume = {12},
  pages = {99-120},
  url = {http://dx.doi.org/10.1023/B:SQJO.0000024058.90885.6a}
}
					

@inproceedings{Kropp:1998lq,
  author = {N.P. Kropp and P.J. Koopman and D.P. Siewiorek},
  title = {Automated robustness testing of off-the-shelf software components},
  booktitle = {Proceedings of the Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, 1998. Digest of Papers.},
  year = {1998},
  pages = {230 -239},
  month = {jun},
  doi = {http://dx.doi.org/10.1109/FTCS.1998.689474}
}
					

@book{Kudari:2012kc,
  author = {S. Kudari},
  title = {Ontology-Based Automated Test Oracle Comparator for Web Applications},
  year = {2012},
  url = {http://books.google.co.uk/books?id=XiKkuAAACAAJ}
}
					

@inproceedings{Kuhn:2006ma,
  author = {D. Kuhn and Vadim Okum},
  title = {Pseudo-Exhaustive Testing for Software},
  booktitle = {Software Engineering Workshop, 2006. SEW '06. 30th Annual IEEE/NASA},
  year = {2006},
  pages = {153 -158},
  month = {april},
  doi = {http://dx.doi.org/10.1109/SEW.2006.26}
}
					

@incollection{Kuliamin:2005rl,
  author = {Victor Kuliamin and Nickolay Pakoulin and Alexander Petrenko},
  title = {Practical Approach to Specification and Conformance Testing of Distributed Network Applications},
  booktitle = {Service Availability},
  year = {2005},
  volume = {3694},
  pages = {68-83},
  url = {http://dx.doi.org/10.1007/11560333_6}
}
					

@article{Kuo:2010qx,
  author = {F.C. Kuo and Z.Q. Zhou and J. Ma and G. Zhang},
  title = {Metamorphic testing of decision support systems: a case study},
  journal = {Software, IET},
  year = {2010},
  volume = {4},
  number = {4},
  pages = {294--301}
}
					

@inproceedings{Kuo:2011tk,
  author = {Fei-Ching Kuo and Shuang Liu and T. Chen},
  title = {Testing a binary space partitioning algorithm with metamorphic testing},
  booktitle = {Proceedings of the 2011 ACM Symposium on Applied Computing},
  year = {2011},
  pages = {1482--1489},
  address = {New York, NY, USA}
}
					

@article{Lamancha:2012op,
  author = {Beatriz Lamancha and Macario Polo and Danilo Caivano and Mario Piattini and Giuseppe Visaggio},
  title = {Automated generation of test oracles using a model-driven approach},
  journal = {Information and Software Technology},
  year = {2012},
  number = {0},
  pages = {-},
  url = {http://www.sciencedirect.com/science/article/pii/S0950584912001760},
  doi = {http://dx.doi.org/10.1016/j.infsof.2012.08.009}
}
					

@inproceedings{Lamari:2007co,
  author = {Maher Lamari},
  title = {Towards an automated test generation for the verification of model transformations},
  booktitle = {Proceedings of the 2007 ACM symposium on Applied computing},
  year = {2007},
  pages = {998--1005},
  address = {New York, NY, USA}
}
					

@inproceedings{Lamsweerde:2000dg,
  author = {Axel Lamsweerde},
  title = {Formal specification: a roadmap},
  booktitle = {Proceedings of the Conference on The Future of Software Engineering},
  year = {2000},
  pages = {147--159},
  address = {New York, NY, USA}
}
					

@article{van1979formal,
  author = {van Lamsweerde, A. and Sintzoff, M.},
  title = {Formal derivation of strongly correct concurrent programs},
  journal = {Acta Informatica},
  publisher = {Springer},
  year = {1979},
  volume = {12},
  number = {1},
  pages = {1--31}
}
					

@inproceedings{Langdon:2010li,
  author = {W.B. Langdon and M. Harman},
  title = {Evolving a CUDA kernel from an nVidia template},
  booktitle = {Proceedings of the 2010 IEEE Congress on Evolutionary Computation (CEC)},
  year = {2010},
  pages = {1 -8},
  month = {july},
  doi = {http://dx.doi.org/10.1109/CEC.2010.5585922}
}
					

@inproceedings{Lazic:2005ab,
  author = {Ljubomir Lazić and Nikos Mastorakis},
  title = {Applying modeling & simulation to the software testing process: one test oracle solution},
  booktitle = {Proceedings of the 7th WSEAS international conference on Automatic control, modeling and simulation},
  year = {2005},
  pages = {248--256},
  address = {Stevens Point, Wisconsin, USA}
}
					

@article{Lazic:2004cd,
  author = {L. Lazic and D. Velasevic and N. Mastorakis},
  title = {The oracles-based software testing: problems and solutions},
  journal = {WSEAS Transactions on Computers},
  year = {2004},
  volume = {3},
  number = {4},
  pages = {1026--1036}
}
					

@incollection{Ledru:2004et,
  author = {Yves Ledru and Lydie Bousquet and Olivier Maury and Pierre Bontron},
  title = {Filtering TOBIAS Combinatorial Test Suites},
  booktitle = {Fundamental Approaches to Software Engineering},
  year = {2004},
  volume = {2984},
  pages = {281-294},
  url = {http://dx.doi.org/10.1007/978-3-540-24721-0_21}
}
					

@inproceedings{Ledru:2012ck,
  author = {Yves Ledru and German Vega and Taha Triki and Lydie Bousquet},
  title = {Test suite selection based on traceability annotations},
  booktitle = {Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering},
  year = {2012},
  pages = {342--345},
  address = {New York, NY, USA}
}
					

@inproceedings{Lee:2011yo,
  author = {Hye-ryun Lee and Seung-hun Shin and Kyung-hee Choi and Ki-hyun Chung and Seung-kyu Park and Jun-yong Choi},
  title = {Detecting the vulnerability of software with cyclic behavior using Sulley},
  booktitle = {Proceedings of the 2011 7th International Conference on Advanced Information Management and Service (ICIPM)},
  year = {2011},
  pages = {83 -88},
  month = {29 2011-dec. 1}
}
					

@inproceedings{Legeard:2001iz,
  author = {B. Legeard and F. Peureux},
  title = {Generation of functional test sequences from B formal specifications presentation and industrial case-study},
  booktitle = {Proceedings of the 16th Annual International Conference on Automated Software Engineering, 2001. (ASE 2001).},
  year = {2001},
  pages = {377 - 381},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/ASE.2001.989833}
}
					

@inproceedings{Lei:2005ym,
  author = {Yong Lei and J.H. Andrews},
  title = {Minimization of randomized unit test cases},
  booktitle = {Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering, 2005. ISSRE 2005.},
  year = {2005},
  pages = {10 pp. -276},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/ISSRE.2005.28}
}
					

@inproceedings{Leitner:2007bl,
  author = {Andreas Leitner and Ilinca Ciupa and Manuel Oriol and Bertrand Meyer and Arno Fiva},
  title = {Contract driven development = test driven development - writing test cases},
  booktitle = {Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering},
  year = {2007},
  pages = {425--434},
  address = {New York, NY, USA}
}
					

@inproceedings{Leitner:2007lj,
  author = {Andreas Leitner and Manuel Oriol and Andreas Zeller and Ilinca Ciupa and Bertrand Meyer},
  title = {Efficient unit test case minimization},
  booktitle = {Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering},
  year = {2007},
  pages = {417--420},
  address = {New York, NY, USA}
}
					

@inproceedings{Lemos:2010gu,
  author = {Gizelle Lemos and Eliane Martins},
  title = {Robustness testing oracle using a sequence alignment algorithm},
  booktitle = {Proceedings of the First International Workshop on Software Test Output Validation},
  year = {2010},
  pages = {13--20},
  address = {New York, NY, USA}
}
					

@article{Leung:2006ih,
  author = {Karl Leung and Joseph Ng and W.L. Yeung},
  title = {Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach},
  journal = {Journal of Systems and Software},
  year = {2006},
  volume = {79},
  number = {7},
  pages = {962 - 968},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121205001809},
  doi = {http://dx.doi.org/10.1016/j.jss.2005.06.041}
}
					

@inproceedings{Leung:2004pa,
  author = {K.R.P.H. Leung and J.K.-Y. Ng and W.L. Yeung},
  title = {Embedded program testing in untestable mobile environment: an experience of trustworthiness approach},
  booktitle = {Software Engineering Conference, 2004. 11th Asia-Pacific},
  year = {2004},
  pages = {430 - 437},
  month = {nov.-3 dec.},
  doi = {http://dx.doi.org/10.1109/APSEC.2004.48}
}
					

@article{Leveson:1990lt,
  author = {N.G. Leveson and S.S. Cha and J.C. Knight and T.J. Shimeall},
  title = {The use of self checks and voting in software error detection: an empirical study},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1990},
  volume = {16},
  number = {4},
  pages = {432 -443},
  month = {apr},
  doi = {http://dx.doi.org/10.1109/32.54295}
}
					

@inproceedings{Li:1997ly,
  author = {J.J. Li and Hong Liu and R.E. Seviora},
  title = {Constructing automated protocol testing oracles to accommodate specification nondeterminism},
  booktitle = {Proceedings of the Sixth International Conference on Computer Communications and Networks, 1997.},
  year = {1997},
  pages = {532 -537},
  month = {sep},
  doi = {http://dx.doi.org/10.1109/ICCCN.1997.623363}
}
					

@incollection{Li:2006dd,
  author = {Keqin Li and Roland Groz and Muzammil Shahbaz},
  title = {Integration Testing of Distributed Components Based on Learning Parameterized I/O Models},
  booktitle = {Formal Techniques for Networked and Distributed Systems - FORTE 2006},
  year = {2006},
  volume = {4229},
  pages = {436-450},
  url = {http://dx.doi.org/10.1007/11888116_31}
}
					

@inproceedings{Li:2006ui,
  author = {K. Li and R. Groz and M. Shahbaz},
  title = {Integration Testing of Components Guided by Incremental State Machine Learning},
  booktitle = {Testing: Academic and Industrial Conference - Practice And Research Techniques, 2006. TAIC PART 2006. Proceedings},
  year = {2006},
  pages = {59 -70},
  month = {aug.},
  doi = {http://dx.doi.org/10.1109/TAIC-PART.2006.15}
}
					

@article{Li:2011uz,
  author = {X. Li and X. Qiu and L. Wang and X. Chen and Z.Q. Zhou and L. Yu and J. Zhao},
  title = {UML interaction model-driven runtime verification of Java programs},
  journal = {Software, IET},
  year = {2011},
  volume = {5},
  number = {2},
  pages = {142 -156},
  month = {april},
  doi = {http://dx.doi.org/10.1049/iet-sen.2009.0009}
}
					

@article{Lin:2001zx,
  author = {Jin-Cherng Lin and Ian Ho},
  title = {Generating timed test cases with oracles for real-time software},
  journal = {Advances in Engineering Software},
  year = {2001},
  volume = {32},
  number = {9},
  pages = {705 - 715},
  url = {http://www.sciencedirect.com/science/article/pii/S0965997801000217},
  doi = {http://dx.doi.org/10.1016/S0965-9978(01)00021-7}
}
					

@inproceedings{Lin:2000cs,
  author = {Jin-Cherng Lin and Ian Ho},
  title = {A new perspective on formal testing method for real-time software},
  booktitle = {Proceedings of the 26th Euromicro Conference},
  year = {2000},
  volume = {2},
  pages = {270 -276},
  doi = {http://dx.doi.org/10.1109/EURMIC.2000.874428}
}
					

@inproceedings{Lin:1997kv,
  author = {Jin-Cherng Lin and Pu-Lin Yeh and Shou-Chia Yang},
  title = {Promoting the software design for testability towards a partial test oracle},
  booktitle = {Software Technology and Engineering Practice, 1997. Proceedings., Eighth IEEE International Workshop on [incorporating Computer Aided Software Engineering]},
  year = {1997},
  pages = {209 -214},
  month = {jul},
  doi = {http://dx.doi.org/10.1109/STEP.1997.615486}
}
					

@incollection{Liu:2007pl,
  author = {Daguang Liu and Peng Wu and Huimin Lin},
  title = {Symbolic Test Generation Using a Temporal Logic with Constrained Events},
  booktitle = {Formal Methods and Hybrid Real-Time Systems},
  year = {2007},
  volume = {4700},
  pages = {467-471},
  url = {http://dx.doi.org/10.1007/978-3-540-75221-9_21}
}
					

@incollection{Liu:2007gi,
  author = {Lisa Liu and Bertrand Meyer and Bernd Schoeller},
  title = {Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation},
  booktitle = {Tests and Proofs},
  year = {2007},
  volume = {4454},
  pages = {114-130},
  url = {http://dx.doi.org/10.1007/978-3-540-73770-4_7}
}
					

@inproceedings{Liu:2010so,
  author = {Shaoying Liu and S. Nakajima},
  title = {A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications},
  booktitle = {Proceedings of the 4th International Conference on Secure Software Integration and Reliability Improvement},
  year = {2010},
  pages = {147 -155},
  month = {june},
  doi = {http://dx.doi.org/10.1109/SSIRI.2010.11}
}
					

@inproceedings{livshits2005finding,
  author = {Livshits, V.B. and Lam, M.S.},
  title = {Finding security vulnerabilities in Java applications with static analysis},
  booktitle = {Proceedings of the 14th conference on USENIX Security Symposium},
  year = {2005},
  volume = {14},
  pages = {18--18}
}
					

@inproceedings{Lo:2009sy,
  author = {David Lo and Leonardo Mariani and Mauro Pezzè},
  title = {Automatic steering of behavioral model inference},
  booktitle = {Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering},
  year = {2009},
  pages = {345--354},
  address = {New York, NY, USA}
}
					

@article{Lo:2012gc,
  author = {David Lo and Leonardo Mariani and Mauro Santoro},
  title = {Learning extended FSA from software: An empirical assessment},
  journal = {Journal of Systems and Software},
  year = {2012},
  volume = {85},
  number = {9},
  pages = {2063 - 2076},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121212001008},
  doi = {http://dx.doi.org/10.1016/j.jss.2012.04.001}
}
					

@incollection{Castaneda-Lozano:2010lv,
  author = {Roberto Castañeda Lozano and Christian Schulte and Lars Wahlberg},
  title = {Testing Continuous Double Auctions with a Constraint-Based Oracle},
  booktitle = {Principles and Practice of Constraint Programming -- CP 2010},
  year = {2010},
  volume = {6308},
  pages = {613-627},
  url = {http://dx.doi.org/10.1007/978-3-642-15396-9_48}
}
					

@inproceedings{Lu:2007pv,
  author = {Heng Lu},
  title = {A Context-Oriented Framework for Software Testing in Pervasive Environment},
  booktitle = {Companion to the proceedings of the 29th International Conference on Software Engineering},
  year = {2007},
  pages = {77--78},
  address = {Washington, DC, USA}
}
					

@inproceedings{Lu:2010hs,
  author = {Xiao-li Lu and Yun-wei Dong and Chao Luo},
  title = {Testing of Component-Based Software: A Metamorphic Testing Methodology},
  booktitle = {Proceedings of the 2010 7th International Conference on Ubiquitous Intelligence Computing and 7th International Conference on Autonomic Trusted Computing (UIC/ATC)},
  year = {2010},
  pages = {272 -276},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/UIC-ATC.2010.75}
}
					

@inproceedings{Lu:2011fg,
  author = {Yu Lu and Wu Lifa and Pan Fan and Zhuang Honglin and Hong Zheng},
  title = {Automatic Fault Localization for Fuzzing},
  booktitle = {Proceedings of the 2011 First International Conference on Instrumentation, Measurement, Computer, Communication and Control},
  year = {2011},
  pages = {388 -391},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/IMCCC.2011.104}
}
					

@article{Luckham:1991lh,
  author = {D. Luckham and S. Sankar and S. Takahashi},
  title = {Two-dimensional pinpointing: debugging with formal specifications},
  journal = {Software, IEEE},
  year = {1991},
  volume = {8},
  number = {1},
  pages = {74 -84},
  month = {jan.},
  doi = {http://dx.doi.org/10.1109/52.62935}
}
					

@inproceedings{Luqi:1994ce,
  author = {Luqi and Hongji Yang and Xiaodong Yang},
  title = {Constructing an automated testing oracle: an effort to produce reliable software},
  booktitle = {Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International},
  year = {1994},
  pages = {228 -233},
  month = {nov},
  doi = {http://dx.doi.org/10.1109/CMPSAC.1994.342800}
}
					

@inproceedings{MA:2005sb,
  author = {Xue-ying MA and Zhen-feng He and Bin-kui Sheng and Cheng-qing Ye},
  title = {A genetic algorithm for test-suite reduction},
  booktitle = {Proceedings of the IEEE International Conference on Systems, Man and Cybernetics},
  year = {2005},
  volume = {1},
  pages = {133 - 139},
  month = {October},
  doi = {http://dx.doi.org/10.1109/ICSMC.2005.1571134}
}
					

@incollection{Ma:2009hd,
  author = {Xiaodong Ma and Ji Wang and Wei Dong},
  title = {Computing Must and May Alias to Detect Null Pointer Dereference},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation},
  year = {2009},
  volume = {17},
  pages = {252-261},
  url = {http://dx.doi.org/10.1007/978-3-540-88479-8_18}
}
					

@inproceedings{MacColl:1998my,
  author = {I. MacColl and L. Murray and P. Strooper and D. Carrington},
  title = {Specification-based class testing: a case study},
  booktitle = {Proceedings of the Second International Conference on Formal Engineering Methods, 1998.},
  year = {1998},
  pages = {222 -231},
  month = {dec},
  doi = {http://dx.doi.org/10.1109/ICFEM.1998.730586}
}
					

@incollection{Machado:1999pi,
  author = {Patricia Machado},
  title = {On Oracles for Interpreting Test Results against Algebraic Specifications},
  booktitle = {Algebraic Methodology and Software Technology},
  year = {1999},
  volume = {1548},
  pages = {502-518},
  url = {http://dx.doi.org/10.1007/3-540-49253-4_35}
}
					

@inproceedings{Machado:2007ji,
  author = {P.D.L. Machado and W.L. Andrade},
  title = {The Oracle Problem for Testing against Quantified Properties},
  booktitle = {Proceedings of the Seventh International Conference on Quality Software, 2007. QSIC '07.},
  year = {2007},
  pages = {415 -418},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/QSIC.2007.4385529}
}
					

@article{Machado:2005an,
  author = {PatrÃ-cia Machado and Elthon Oliveira and Paulo Barbosa and CÃ!'ssio Rodrigues},
  title = {Testing from Structured Algebraic Specifications: The Veritas Case Study},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2005},
  volume = {130},
  number = {0},
  pages = {235 - 261},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066105002239},
  doi = {http://dx.doi.org/10.1016/j.entcs.2005.03.013}
}
					

@incollection{Machado:2002vg,
  author = {Patricia Machado and Donald Sannella},
  title = {Unit Testing for CASL Architectural Specifications},
  booktitle = {Mathematical Foundations of Computer Science 2002},
  year = {2002},
  volume = {2420},
  pages = {506-518},
  url = {http://dx.doi.org/10.1007/3-540-45687-2_42}
}
					

@inproceedings{Malek:2012yc,
  author = {S. Malek and N. Esfahani and T. Kacem and R. Mahmood and N. Mirzaei and A. Stavrou},
  title = {A Framework for Automated Security Testing of Android Applications on the Cloud},
  booktitle = {Proceedings of the 6th IEEE International Conference on Software Security and Reliability Companion},
  year = {2012},
  pages = {35 -36},
  month = {June},
  doi = {http://dx.doi.org/10.1109/SERE-C.2012.39}
}
					

@inproceedings{Malik:1999kd,
  author = {N. Malik and J. Baumgartner and S. Roberts and R. Dobson},
  title = {A toolset for assisted formal verification},
  booktitle = {Performance, Computing and Communications Conference, 1999 IEEE International},
  year = {1999},
  pages = {489 -492},
  month = {feb},
  doi = {http://dx.doi.org/10.1109/PCCC.1999.749477}
}
					

@inproceedings{Maly:2007gl,
  author = {K.J. Maly and S.J. Zeil and M. Zubair and A. Amrou and A. Aazhar and N. Ratkal},
  title = {A Scriptable, Statistical Oracle for a Metadata Extraction System},
  booktitle = {Proceedings of the 7th International Conference on Quality Software},
  year = {2007},
  pages = {396 -403},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/QSIC.2007.4385526}
}
					

@article{Mandrioli:1995yk,
  author = {Dino Mandrioli and Sandro Morasca and Angelo Morzenti},
  title = {Generating test cases for real-time systems from logic specifications},
  journal = {ACM Trans. Comput. Syst.},
  year = {1995},
  volume = {13},
  number = {4},
  pages = {365--398},
  address = {New York, NY, USA},
  month = {November}
}
					

@article{Manolache:2001li,
  author = {L. Manolache and D. Kourie},
  title = {Software testing using model programs},
  journal = {Software: Practice and Experience},
  year = {2001},
  volume = {31},
  number = {13},
  pages = {1211--1236},
  url = {http://dx.doi.org/10.1002/spe.409},
  doi = {http://dx.doi.org/10.1002/spe.409}
}
					

@incollection{Mao:2006ma,
  author = {Ye Mao and Feng Boqin and Zhu Li and Lin Yao},
  title = {Neural Networks Based Automated Test Oracle for Software Testing},
  booktitle = {Neural Information Processing},
  year = {2006},
  volume = {4234},
  pages = {498-507},
  url = {http://dx.doi.org/10.1007/11893295_55}
}
					

@inproceedings{Mariani:2012vw,
  author = {L. Mariani and M. Pezze and O. Riganelli and M. Santoro},
  title = {AutoBlackTest: Automatic Black-Box Testing of Interactive Applications},
  booktitle = {Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2012},
  pages = {81 -90},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICST.2012.88}
}
					

@inproceedings{Marijan:2010jh,
  author = {D. Marijan and N. Teslic and T. Tekcan and V. Pekovic},
  title = {Multimedia system verification through a usage model and a black test box},
  booktitle = {Proceedings of the 2010 International Conference on Computer Engineering and Systems (ICCES)},
  year = {2010},
  pages = {178 -182},
  month = {30 2010-dec. 2},
  doi = {http://dx.doi.org/10.1109/ICCES.2010.5674849}
}
					

@inproceedings{Marinov:2001xh,
  author = {Darko Marinov and Sarfraz Khurshid},
  title = {TestEra: A Novel Framework for Automated Testing of Java Programs},
  booktitle = {Proceedings of the 16th IEEE international conference on Automated software engineering},
  year = {2001},
  pages = {22--},
  address = {Washington, DC, USA},
  url = {http://dl.acm.org/citation.cfm?id=872023.872551}
}
					

@inproceedings{Marre1995,
  author = {Marre, Bruno},
  title = {LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications},
  booktitle = {Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development},
  publisher = {Springer-Verlag},
  year = {1995},
  pages = {799--800}
}
					

@inproceedings{mathur1991performance,
  author = {Mathur, A.P.},
  title = {Performance, effectiveness, and reliability issues in software testing},
  booktitle = {Computer Software and Applications Conference, 1991. COMPSAC'91., Proceedings of the Fifteenth Annual International},
  year = {1991},
  pages = {604--605}
}
					

@inproceedings{Mayer:2006ty,
  author = {J. Mayer and R. Guderlei},
  title = {On Random Testing of Image Processing Applications},
  booktitle = {Proceedings of the Sixth International Conference on Quality Software, 2006. QSIC 2006.},
  year = {2006},
  pages = {85 -92},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/QSIC.2006.45}
}
					

@inproceedings{Mayer:2006wb,
  author = {J. Mayer and R. Guderlei},
  title = {An Empirical Study on the Selection of Good Metamorphic Relations},
  booktitle = {Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International},
  year = {2006},
  volume = {1},
  pages = {475 -484},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2006.24}
}
					

@inproceedings{Mayer:2004mx,
  author = {J. Mayer and R. Guderlei and others},
  title = {Test oracles using statistical methods},
  booktitle = {Proc. of the First International Workshop on Software Quality},
  year = {2004},
  pages = {179--189}
}
					

@article{Mayer:2005fe,
  author = {J. Mayer and others},
  title = {On testing image processing applications with statistical methods},
  journal = {Lecture Notes in Informatics: Software Engineering 2005},
  year = {2005},
  volume = {64},
  pages = {69--78}
}
					

@phdthesis{Mcdonald:2006mk,
  author = {Jason Mcdonald},
  title = {Generating test oracles from object-oriented formal specifications},
  school = {University of Queensland},
  year = {2006}
}
					

@inproceedings{McDonald:1998fy,
  author = {J. McDonald and D. Hoffman and P. Strooper},
  title = {Programmatic testing of the Standard Template Library containers},
  booktitle = {Proceedings of the 13th IEEE International Conference on Automated Software Engineering, 1998.},
  year = {1998},
  pages = {147 -156},
  month = {oct},
  doi = {http://dx.doi.org/10.1109/ASE.1998.732610}
}
					

@inproceedings{McDonald:1997wn,
  author = {J. McDonald and L. Murray and P. Strooper},
  title = {Translating Object-Z specifications to object-oriented test oracles},
  booktitle = {Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings},
  year = {1997},
  pages = {414 -423},
  month = {dec},
  doi = {http://dx.doi.org/10.1109/APSEC.1997.640198}
}
					

@inproceedings{McDonald:1998pr,
  author = {J. McDonald and P. Strooper},
  title = {Translating Object-Z specifications to passive test oracles},
  booktitle = {Proceedings of the Second International Conference on Formal Engineering Methods, 1998.},
  year = {1998},
  pages = {165 -174},
  month = {dec},
  doi = {http://dx.doi.org/10.1109/ICFEM.1998.730580}
}
					

@inproceedings{McDonald:2003ut,
  author = {J. McDonald and P. Strooper and D. Hoffman},
  title = {Tool support for generating passive C++ test oracles from Object-Z specifications},
  booktitle = {Software Engineering Conference, 2003. Tenth Asia-Pacific},
  year = {2003},
  pages = {322 - 331},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/APSEC.2003.1254386}
}
					

@inproceedings{McMaster:2005ja,
  author = {S. McMaster and A.M. Memon},
  title = {Call stack coverage for test suite reduction},
  booktitle = {Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005. ICSM'05.},
  year = {2005},
  pages = {539 - 548},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/ICSM.2005.29}
}
					

@inproceedings{McMinn:2009ty,
  author = {Phil McMinn},
  title = {Search-based failure discovery using testability transformations to generate pseudo-oracles},
  booktitle = {Proceedings of the 11th Annual conference on Genetic and evolutionary computation},
  year = {2009},
  pages = {1689--1696},
  address = {New York, NY, USA}
}
					

@inproceedings{McMinn:2012op,
  author = {P. McMinn and M. Shahbaz and M. Stevenson},
  title = {Search-Based Test Input Generation for String Data Types Using the Results of Web Queries},
  booktitle = {Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2012},
  pages = {141 -150},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICST.2012.94}
}
					

@inproceedings{McMinn:2010vi,
  author = {Phil McMinn and Mark Stevenson and Mark Harman},
  title = {Reducing qualitative human oracle costs associated with automatically generated test data},
  booktitle = {Proceedings of the First International Workshop on Software Test Output Validation},
  year = {2010},
  pages = {1--4},
  address = {New York, NY, USA}
}
					

@article{McMullin:1983qz,
  author = {P.R. McMullin and J.D. Gannon},
  title = {Combining Testing with Formal Specifications: A Case Study},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1983},
  volume = {SE-9},
  number = {3},
  pages = {328 - 335},
  month = {may},
  doi = {http://dx.doi.org/10.1109/TSE.1983.236869}
}
					

@article{Memon:2007hy,
  author = {Atif Memon},
  title = {An event-flow model of GUI-based applications for testing},
  journal = {Software Testing, Verification and Reliability},
  year = {2007},
  volume = {17},
  number = {3},
  pages = {137--157},
  url = {http://dx.doi.org/10.1002/stvr.364},
  doi = {http://dx.doi.org/10.1002/stvr.364}
}
					

@article{Memon:2006jx,
  author = {Atif Memon},
  title = {Employing user profiles to test a new version of a GUI component in its context of use},
  journal = {Software Quality Journal},
  year = {2006},
  volume = {14},
  pages = {359-377},
  url = {http://dx.doi.org/10.1007/s11219-006-0040-7}
}
					

@article{Memon:2002oi,
  author = {Atif Memon},
  title = {GUI Testing: Pitfalls and Process},
  journal = {Computer},
  year = {2002},
  volume = {35},
  number = {8},
  pages = {87--88},
  address = {Los Alamitos, CA, USA},
  month = {August},
  url = {http://dx.doi.org/10.1109/MC.2002.1023795},
  doi = {http://dx.doi.org/10.1109/MC.2002.1023795}
}
					

@inproceedings{Memon:2003qe,
  author = {A. Memon and I. Banerjee and N. Hashmi and A. Nagarajan},
  title = {DART: a framework for regression testing "nightly/daily builds" of GUI applications},
  booktitle = {Proceedings of the International Conference on Software Maintenance, 2003. ICSM 2003.},
  year = {2003},
  pages = {410 - 419},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/ICSM.2003.1235451}
}
					

@inproceedings{Memon:2003dt,
  author = {A. Memon and I. Banerjee and A. Nagarajan},
  title = {What test oracle should I use for effective GUI testing?},
  booktitle = {Proceedings of the 18th IEEE International Conference on Automated Software Engineering, 2003.},
  year = {2003},
  pages = {164 - 173},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/ASE.2003.1240304}
}
					

@article{Memon:2005ax,
  author = {Atif Memon and Adithya Nagarajan and Qing Xie},
  title = {Automating regression testing for evolving GUI software},
  journal = {Journal of Software Maintenance and Evolution: Research and Practice},
  year = {2005},
  volume = {17},
  number = {1},
  pages = {27--64},
  url = {http://dx.doi.org/10.1002/smr.305},
  doi = {http://dx.doi.org/10.1002/smr.305}
}
					

@article{Memon:2000og,
  author = {Atif Memon and Martha Pollack and Mary Soffa},
  title = {Automated test oracles for GUIs},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2000},
  volume = {25},
  number = {6},
  pages = {30--39},
  address = {New York, NY, USA},
  month = {November}
}
					

@article{Memon:2003mi,
  author = {Atif Memon and Mary Soffa},
  title = {Regression testing of GUIs},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2003},
  volume = {28},
  number = {5},
  pages = {118--127},
  address = {New York, NY, USA},
  month = {September}
}
					

@article{Memon:2005ps,
  author = {A.M. Memon and Q. Xie},
  title = {Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2005},
  volume = {31},
  number = {10},
  pages = {884 - 896},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/TSE.2005.117}
}
					

@inproceedings{Memon:2004mh,
  author = {A. Memon and Qing Xie},
  title = {Using transient/persistent errors to develop automated test oracles for event-driven software},
  booktitle = {Proceedings of the 19th International Conference on Automated Software Engineering, 2004.},
  year = {2004},
  pages = {186 -195},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/ASE.2004.1342736}
}
					

@inproceedings{Memon:2004ot,
  author = {A.M. Memon and Qing Xie},
  title = {Empirical evaluation of the fault-detection effectiveness of smoke regression test cases for GUI-based software},
  booktitle = {Proceedings of the 20th IEEE International Conference on Software Maintenance, 2004.},
  year = {2004},
  pages = {8 - 17},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/ICSM.2004.1357785}
}
					

@inproceedings{MertenHSPT12,
  author = {Maik Merten and Falk Howar and Bernhard Steffen and Patrizio Pelliccione and Massimo Tivoli},
  title = {Automated Inference of Models for Black Box Systems Based on Interface Descriptions},
  booktitle = {ISoLA (1)},
  year = {2012},
  pages = {79-96}
}
					

@inproceedings{Mesbah:2009nl,
  author = {Ali Mesbah and Arie Deursen},
  title = {Invariant-based automatic testing of AJAX user interfaces},
  booktitle = {Proceedings of the 31st International Conference on Software Engineering},
  year = {2009},
  pages = {210--220},
  address = {Washington, DC, USA}
}
					

@article{Mesbah:2012fu,
  author = {A. Mesbah and A. Deursen and D. Roest},
  title = {Invariant-Based Automatic Testing of Modern Web Applications},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2012},
  volume = {38},
  number = {1},
  pages = {35 -53},
  month = {jan.-feb.},
  doi = {http://dx.doi.org/10.1109/TSE.2011.28}
}
					

@article{Meyer:1988bo,
  author = {Bertrand Meyer},
  title = {Eiffel: A language and environment for software engineering},
  journal = {Journal of Systems and Software},
  year = {1988},
  volume = {8},
  number = {3},
  pages = {199 - 246},
  url = {http://www.sciencedirect.com/science/article/pii/0164121288900222},
  doi = {http://dx.doi.org/10.1016/0164-1212(88)90022-2}
}
					

@incollection{Meyer:2007dr,
  author = {Bertrand Meyer and Ilinca Ciupa and Andreas Leitner and Lisa Liu},
  title = {Automatic Testing of Object-Oriented Software},
  booktitle = {SOFSEM 2007: Theory and Practice of Computer Science},
  year = {2007},
  volume = {4362},
  pages = {114-129},
  url = {http://dx.doi.org/10.1007/978-3-540-69507-3_9}
}
					

@incollection{Mikk:1995zp,
  author = {Erich Mikk},
  title = {Compilation of Z specifications into C for automatic test result evaluation},
  booktitle = {ZUM '95: The Z Formal Specification Notation},
  year = {1995},
  volume = {967},
  pages = {167-180},
  url = {http://dx.doi.org/10.1007/3-540-60271-2_119}
}
					

@article{miller1990empirical,
  author = {Miller, B.P. and Fredriksen, L. and So, B.},
  title = {An empirical study of the reliability of UNIX utilities},
  journal = {Communications of the ACM},
  publisher = {ACM},
  year = {1990},
  volume = {33},
  number = {12},
  pages = {32--44}
}
					

@article{Miller1990,
  author = {Miller, Barton P. and Fredriksen, Louis and So, Bryan},
  title = {An empirical study of the reliability of UNIX utilities},
  journal = {Commun. ACM},
  publisher = {ACM},
  year = {1990},
  volume = {33},
  number = {12},
  pages = {32--44},
  address = {New York, NY, USA},
  month = {December},
  url = {http://doi.acm.org/10.1145/96267.96279},
  doi = {http://dx.doi.org/10.1145/96267.96279}
}
					

@inproceedings{Miller:2003xh,
  author = {T. Miller and P. Strooper},
  title = {Supporting the software testing process through specification animation},
  booktitle = {Proceedings of the First International Conference on Software Engineering and Formal Methods, 2003.},
  year = {2003},
  pages = {14 -23},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/SEFM.2003.1236203}
}
					

@inproceedings{Mirzaaghaei:2012ts,
  author = {M. Mirzaaghaei and F. Pastore and M. Pezze},
  title = {Supporting Test Suite Evolution through Test Case Adaptation},
  booktitle = {Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2012},
  pages = {231 -240},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICST.2012.103}
}
					

@inproceedings{Moraes:2005ue,
  author = {R.L.O. Moraes and E. Martins and N.V. Mendes},
  title = {Fault injection approach based on dependence analysis},
  booktitle = {Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International},
  year = {2005},
  volume = {2},
  pages = {181 - 188 Vol. 1},
  month = {july},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2005.78}
}
					

@inproceedings{Mottu:2008fu,
  author = {J.-M. Mottu and B. Baudry and Y.L. Traon},
  title = {Model transformation testing: oracle issue},
  booktitle = {Proceedings of the IEEE International Conference on Software Testing Verification and Validation Workshop, 2008. ICSTW '08.},
  year = {2008},
  pages = {105 -112},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICSTW.2008.27}
}
					

@phdthesis{Murphy:2010rx,
  author = {Christian Murphy},
  title = {Metamorphic Testing Techniques to Detect Defects in Applications without Test Oracles},
  school = {Columbia University},
  year = {2010}
}
					

@inproceedings{Murphy:2008lc,
  author = {Christian Murphy},
  title = {Using runtime testing to detect defects in applications without test oracles},
  booktitle = {Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium},
  year = {2008},
  pages = {21--24},
  address = {New York, NY, USA}
}
					

@techreport{Murphy:2010bh,
  author = {Christian Murphy and Gail Kaiser},
  title = {Automatic Detection of Defects in Applications without Test Oracles},
  year = {2010},
  number = {CUCS-027-10}
}
					

@techreport{Murphy:2007ux,
  author = {C. Murphy and G.E. Kaiser and M. Arias},
  title = {An approach to software testing of machine learning applications},
  year = {2007},
  number = {CUCS-014-07}
}
					

@techreport{Murphy:2008gt,
  author = {Christian Murphy and Gail Kaiser and Lifeng Hu},
  title = {Properties of Machine Learning Applications for Use in Metamorphic Testing},
  year = {2008},
  number = {CUCS-011-08}
}
					

@inproceedings{Murphy:2011vu,
  author = {Christian Murphy and M. Raunak and Andrew King and Sanjian Chen and Christopher Imbriano and Gail Kaiser and Insup Lee and Oleg Sokolsky and Lori Clarke and Leon Osterweil},
  title = {On effective testing of health care simulation software},
  booktitle = {Proceedings of the 3rd Workshop on Software Engineering in Health Care},
  year = {2011},
  pages = {40--47},
  address = {New York, NY, USA}
}
					

@inproceedings{Murphy:2009fl,
  author = {C. Murphy and Kuang Shen and G. Kaiser},
  title = {Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles},
  booktitle = {Proceedings of the International Conference on Software Testing Verification and Validation, 2009. ICST '09.},
  year = {2009},
  pages = {436 -445},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICST.2009.19}
}
					

@inproceedings{Murphy:2009ov,
  author = {Christian Murphy and Kuang Shen and Gail Kaiser},
  title = {Automatic system testing of programs without test oracles},
  booktitle = {Proceedings of the eighteenth international symposium on Software testing and analysis},
  year = {2009},
  pages = {189--200},
  address = {New York, NY, USA}
}
					

@article{Nadeem:2005gc,
  author = {A. Nadeem and M. Jaffar-ur-Rehman},
  title = {TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications},
  journal = {Journal of Universal Computer Science},
  year = {2005},
  volume = {11},
  number = {6},
  pages = {962--985}
}
					

@inproceedings{Nagappan:2004mx,
  author = {Nachiappan Nagappan and L. Williams and J. Hudepohl and W. Snipes and M. Vouk},
  title = {Preliminary results on using static analysis tools for software inspection},
  booktitle = {Proceedings of the 15th International Symposium on Software Reliability Engineering, 2004. ISSRE 2004.},
  year = {2004},
  pages = {429 - 439},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/ISSRE.2004.30}
}
					

@inproceedings{Nasser:2009qk,
  author = {V.H. Nasser and W. Du and D. MacIsaac},
  title = {Knowledge-based software test generation},
  booktitle = {Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009},
  year = {2009}
}
					

@inproceedings{Nebut:2003lk,
  author = {C. Nebut and F. Fleurey and Y. Le Traon and J.-M. Jezequel},
  title = {Requirements by contracts allow automated system testing},
  booktitle = {Proceedings of the 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.},
  year = {2003},
  pages = {85 - 96},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/ISSRE.2003.1251033}
}
					

@inproceedings{Nguyen:2011qg,
  author = {C.D. Nguyen and A. Marchetto and P. Tonella},
  title = {Challenges in Audit Testing of Web Services},
  booktitle = {Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
  year = {2011},
  pages = {103 -106},
  month = {march},
  doi = {http://dx.doi.org/10.1109/ICSTW.2011.104}
}
					

@incollection{Nunes:2006br,
  author = {Isabel Nunes and Antónia Lopes and Vasco Vasconcelos and João Abreu and Luis Reis},
  title = {Checking the Conformance of Java Classes Against Algebraic Specifications},
  booktitle = {Formal Methods and Software Engineering},
  year = {2006},
  volume = {4260},
  pages = {494-513},
  url = {http://dx.doi.org/10.1007/11901433_27}
}
					

@inproceedings{Omalley:1996wx,
  author = {T.O. O'malley and D.J. Richardson and L.K. Dillon},
  title = {Efficient specification-based oracles for critical systems},
  booktitle = {Proceedings of the California Software Symposium},
  year = {1996}
}
					

@inproceedings{Offutt:1995fk,
  author = {A. J. Offutt and J. Pan and J. M. Voas},
  title = {Procedures for reducing the size of coverage-based test sets},
  booktitle = {International Conference on Testing Computer Software},
  year = {1995},
  pages = {111--123}
}
					

@incollection{Offutt:1999fb,
  author = {Jeff Offutt and Aynur Abdurazik},
  title = {Generating Tests from UML Specifications},
  booktitle = {UML'99 --- The Unified Modeling Language},
  year = {1999},
  volume = {1723},
  pages = {76-76},
  url = {http://dx.doi.org/10.1007/3-540-46852-8_30}
}
					

@article{Ong:2011yo,
  author = {HY Ong and K.Z. Zamli},
  title = {Development of interaction test suite generation strategy with input-output mapping supports},
  journal = {Scientific Research and Essays},
  year = {2011},
  volume = {6},
  number = {16},
  pages = {3418--3430}
}
					

@article{Onoma:1998sk,
  author = {Akira Onoma and Wei-Tek Tsai and Mustafa Poonawala and Hiroshi Suganuma},
  title = {Regression testing in an industrial environment},
  journal = {Commun. ACM},
  year = {1998},
  volume = {41},
  number = {5},
  pages = {81--86},
  address = {New York, NY, USA},
  month = {May}
}
					

@incollection{Oriat:2005vx,
  author = {Catherine Oriat},
  title = {Jartege: A Tool for Random Generation of Unit Tests for Java Classes},
  booktitle = {Quality of Software Architectures and Software Quality},
  year = {2005},
  volume = {3712},
  pages = {242-256},
  url = {http://dx.doi.org/10.1007/11558569_18}
}
					

@inproceedings{Ouabdesselam:1994va,
  author = {F. Ouabdesselam and I. Parissis},
  title = {Testing synchronous critical software},
  booktitle = {Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994.},
  year = {1994},
  pages = {239 -248},
  month = {nov},
  doi = {http://dx.doi.org/10.1109/ISSRE.1994.341380}
}
					

@incollection{Pacheco:2005iu,
  author = {Carlos Pacheco and Michael Ernst},
  title = {Eclat: Automatic Generation and Classification of Test Inputs},
  booktitle = {ECOOP 2005 - Object-Oriented Programming},
  year = {2005},
  volume = {3586},
  pages = {734-734},
  url = {http://dx.doi.org/10.1007/11531142_22}
}
					

@inproceedings{Pacheco:2007gy,
  author = {C. Pacheco and S.K. Lahiri and M.D. Ernst and T. Ball},
  title = {Feedback-Directed Random Test Generation},
  booktitle = {Proceedings of the 29th International Conference on Software Engineering, 2007. ICSE 2007.},
  year = {2007},
  pages = {75 -84},
  month = {may},
  doi = {http://dx.doi.org/10.1109/ICSE.2007.37}
}
					

@article{Packevicius:2007st,
  author = {Š. Packevičius and A. Ušaniov and E. Bareiša},
  title = {The use of model constraints as imprecise software test oracles},
  journal = {Information Technology And Control.--Kaunas, Technologija},
  year = {2007},
  volume = {36},
  number = {2},
  pages = {246--252}
}
					

@inproceedings{Packevicius:2007gg,
  author = {Šarūnas Packevičius and Andrej Ušaniov and Eduardas Bareiša},
  title = {Software testing using imprecise OCL constraints as oracles},
  booktitle = {Proceedings of the 2007 international conference on Computer systems and technologies},
  year = {2007},
  pages = {121:1--121:6},
  address = {New York, NY, USA}
}
					

@incollection{Paiva:2008pr,
  author = {Ana Paiva and João Faria and Pedro Mendes},
  title = {Reverse Engineered Formal Models for GUI Testing},
  booktitle = {Formal Methods for Industrial Critical Systems},
  year = {2008},
  volume = {4916},
  pages = {218-233},
  url = {http://dx.doi.org/10.1007/978-3-540-79707-4_16}
}
					

@inproceedings{Pan:1999lv,
  author = {J. Pan and P. Koopman and D. Siewiorek},
  title = {A dimensionality model approach to testing and improving software robustness},
  booktitle = {Proceedings of the IEEE Systems Readiness Technology Conference},
  year = {1999},
  pages = {493 -501},
  doi = {http://dx.doi.org/10.1109/AUTEST.1999.800419}
}
					

@inproceedings{Pandita:2012vm,
  author = {Rahul Pandita and Xusheng Xiao and Hao Zhong and Tao Xie and Stephen Oney and Amit Paradkar},
  title = {Inferring method specifications from natural language API descriptions},
  booktitle = {Proceedings of the 2012 International Conference on Software Engineering},
  year = {2012},
  pages = {815--825},
  address = {Piscataway, NJ, USA}
}
					

@article{Paradkar:2004zl,
  author = {Amit Paradkar},
  title = {Towards model-based generation of self-priming and self-checking conformance tests for interactive systems},
  journal = {Information and Software Technology},
  year = {2004},
  volume = {46},
  number = {5},
  pages = {315 - 322},
  url = {http://www.sciencedirect.com/science/article/pii/S0950584903001964},
  doi = {http://dx.doi.org/10.1016/j.infsof.2003.09.005}
}
					

@article{Parnas:2009iw,
  author = {David Parnas},
  title = {Document based rational software development},
  journal = {Knowledge-Based Systems},
  year = {2009},
  volume = {22},
  number = {3},
  pages = {132 - 141},
  url = {http://www.sciencedirect.com/science/article/pii/S0950705108001913},
  doi = {http://dx.doi.org/10.1016/j.knosys.2008.11.001}
}
					

@techreport{Parnas:1992ed,
  author = {David Parnas},
  title = {Tabular Representation of Relations},
  year = {1992},
  number = {CRL-260}
}
					

@article{Parnas:1983ub,
  author = {David Parnas},
  title = {A generalized control structure and its formal definition},
  journal = {Commun. ACM},
  year = {1983},
  volume = {26},
  number = {8},
  pages = {572--581},
  address = {New York, NY, USA},
  month = {August}
}
					

@article{Parnas:1995aq,
  author = {David Parnas and Jan Madey},
  title = {Functional documents for computer systems},
  journal = {Science of Computer Programming},
  year = {1995},
  volume = {25},
  number = {1},
  pages = {41 - 61},
  url = {http://www.sciencedirect.com/science/article/pii/016764239596871J},
  doi = {http://dx.doi.org/10.1016/0167-6423(95)96871-J}
}
					

@article{Lorge-Parnas:1994fp,
  author = {D. Lorge Parnas and J. Madey and M. Iglewski},
  title = {Precise documentation of well-structured programs},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1994},
  volume = {20},
  number = {12},
  pages = {948 -976},
  month = {dec},
  doi = {http://dx.doi.org/10.1109/32.368133}
}
					

@article{Parrish:1993fs,
  author = {Allen Parrish and Richard Borie and David Cordes},
  title = {Automated flow graph-based testing of object-oriented software modules},
  journal = {Journal of Systems and Software},
  year = {1993},
  volume = {23},
  number = {2},
  pages = {95 - 109},
  url = {http://www.sciencedirect.com/science/article/pii/016412129390076A},
  doi = {http://dx.doi.org/10.1016/0164-1212(93)90076-A}
}
					

@incollection{Parsa:2008gc,
  author = {Saeed Parsa and Somaye Arabi and Mojtaba Vahidi-Asl},
  title = {A Learning Approach to Early Bug Prediction in Deployed Software},
  booktitle = {Artificial Intelligence: Methodology, Systems, and Applications},
  year = {2008},
  volume = {5253},
  pages = {400-404},
  url = {http://dx.doi.org/10.1007/978-3-540-85776-1_38}
}
					

@inproceedings{Pasala:2007bf,
  author = {A. Pasala and S. Rao and A.D. Gupta and S. Gunturu},
  title = {On the validation of API execution-sequence to assess the correctness of application upon COTS upgrades deployment},
  booktitle = {Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2007. ICCBSS '07.},
  year = {2007},
  pages = {225 -232},
  month = {26 2007-march 2},
  doi = {http://dx.doi.org/10.1109/ICCBSS.2007.23}
}
					

@incollection{Pasquini:1999ii,
  author = {Alberto Pasquini and Bernhard Aichernig},
  title = {Automated Black-Box Testing with Abstract VDM Oracle},
  booktitle = {Computer Safety, Reliability and Security},
  year = {1999},
  volume = {1698},
  pages = {688-688},
  url = {http://dx.doi.org/10.1007/3-540-48249-0_22}
}
					

@inproceedings{Peled:1999xd,
  author = {D. Peled and M.Y. Vardi and M. Yannakakis},
  title = {Black box checking},
  booktitle = {Proceedings of the IFIP TC6 WG6},
  year = {1999},
  volume = {1},
  pages = {225--240}
}
					

@incollection{Peleska:1996gt,
  author = {Jan Peleska},
  title = {Test automation for safety-critical systems: Industrial application and future developments},
  booktitle = {FME'96: Industrial Benefit and Advances in Formal Methods},
  year = {1996},
  volume = {1051},
  pages = {39-59},
  url = {http://dx.doi.org/10.1007/3-540-60973-3_79}
}
					

@article{Peters:2002fr,
  author = {D.K. Peters and D.L. Parnas},
  title = {Requirements-based monitors for real-time systems},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2002},
  volume = {28},
  number = {2},
  pages = {146 -158},
  month = {feb},
  doi = {http://dx.doi.org/10.1109/32.988496}
}
					

@article{Peters:1998hc,
  author = {D.K. Peters and D.L. Parnas},
  title = {Using test oracles generated from program documentation},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1998},
  volume = {24},
  number = {3},
  pages = {161 -173},
  month = {mar},
  doi = {http://dx.doi.org/10.1109/32.667877}
}
					

@inproceedings{Peters:1994dt,
  author = {Dennis Peters and David Parnas},
  title = {Generating a test oracle from program documentation: work in progress},
  booktitle = {Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis},
  year = {1994},
  pages = {58--65},
  address = {New York, NY, USA}
}
					

@article{Pilskalns:2007dk,
  author = {Orest Pilskalns and Anneliese Andrews and Andrew Knight and Sudipto Ghosh and Robert France},
  title = {Testing UML designs},
  journal = {Information and Software Technology},
  year = {2007},
  volume = {49},
  number = {8},
  pages = {892 - 912},
  url = {http://www.sciencedirect.com/science/article/pii/S0950584906001340},
  doi = {http://dx.doi.org/10.1016/j.infsof.2006.10.002}
}
					

@inproceedings{Pilskalns:2006qc,
  author = {O. Pilskalns and D. Williams and D. Aracic and A. Andrews},
  title = {Security Consistency in UML Designs},
  booktitle = {Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International},
  year = {2006},
  volume = {1},
  pages = {351 -358},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2006.76}
}
					

@article{Plater:1993nt,
  author = {David Plater and Yelena Yesha and E. Park},
  title = {Extensions to the C programming language for enhanced fault detection},
  journal = {Software: Practice and Experience},
  year = {1993},
  volume = {23},
  number = {6},
  pages = {617--628},
  url = {http://dx.doi.org/10.1002/spe.4380230604},
  doi = {http://dx.doi.org/10.1002/spe.4380230604}
}
					

@article{Polo:2007zc,
  author = {Macario Polo and Sergio Tendero and Mario Piattini},
  title = {Integrating techniques and tools for testing automation},
  journal = {Software Testing, Verification and Reliability},
  year = {2007},
  volume = {17},
  number = {1},
  pages = {3--39},
  url = {http://dx.doi.org/10.1002/stvr.348},
  doi = {http://dx.doi.org/10.1002/stvr.348}
}
					

@inproceedings{Porres:2010py,
  author = {I. Porres and I. Rauf},
  title = {From Nondeterministic UML Protocol Statemachines to Class Contracts},
  booktitle = {Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2010},
  pages = {107 -116},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICST.2010.62}
}
					

@book{Poston:1997fo,
  author = {Robert Poston},
  title = {Automating Specification-Based Software Testing},
  year = {1997},
  edition = {1st},
  address = {Los Alamitos, CA, USA}
}
					

@article{Poston:1994gv,
  author = {Robert Poston},
  title = {Automated testing from object models},
  journal = {Commun. ACM},
  year = {1994},
  volume = {37},
  number = {9},
  pages = {48--58},
  address = {New York, NY, USA},
  month = {September}
}
					

@inproceedings{Protzel:1988av,
  author = {P.W. Protzel},
  title = {Automatically generated acceptance test: a software reliability experiment},
  booktitle = {Proceedings of the Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, 1988.},
  year = {1988},
  pages = {196 -203},
  month = {jul},
  doi = {http://dx.doi.org/10.1109/WST.1988.5375}
}
					

@article{Prowell:1998ue,
  author = {Stacy Prowell},
  title = {Impact of sequence-based software specification on statistical software testing},
  journal = {Proceedings of the 2nd International Software Quality Week Europe},
  year = {1998},
  volume = {2}
}
					

@article{Prowell:2003mx,
  author = {S.J. Prowell and J.H. Poore},
  title = {Foundations of sequence-based software specification},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2003},
  volume = {29},
  number = {5},
  pages = {417 - 429},
  month = {may},
  doi = {http://dx.doi.org/10.1109/TSE.2003.1199071}
}
					

@inproceedings{Qu:2011va,
  author = {Guodong Qu and Song-Tao Guo and Hongqun Zhang},
  title = {A practical approach to assertion testing framework based on inner class},
  booktitle = {Proceedings of the 2nd IEEE International Conference on Software Engineering and Service Science},
  year = {2011},
  pages = {133 -137},
  month = {july},
  doi = {http://dx.doi.org/10.1109/ICSESS.2011.5982272}
}
					

@inproceedings{Rajan:2010cz,
  author = {Ajitha Rajan and Lydie Bousquet and Yves Ledru and German Vega and Jean-Luc Richier},
  title = {Assertion-based test oracles for home automation systems},
  booktitle = {Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software},
  year = {2010},
  pages = {45--52},
  address = {New York, NY, USA}
}
					

@inproceedings{Rauf:2010bn,
  author = {A. Rauf and S. Anwar and M. Ramzan and S. Rehman and A.A. Shahid},
  title = {Ontology driven semantic annotation based GUI testing},
  booktitle = {Proceedings of the 2010 6th International Conference on Emerging Technologies (ICET)},
  year = {2010},
  pages = {261 -264},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/ICET.2010.5638479}
}
					

@inproceedings{Raymond:1998mw,
  author = {P. Raymond and X. Nicollin and N. Halbwachs and D. Weber},
  title = {Automatic testing of reactive systems},
  booktitle = {Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE},
  year = {1998},
  pages = {200 -209},
  month = {dec},
  doi = {http://dx.doi.org/10.1109/REAL.1998.739746}
}
					

@inproceedings{Reddy:2007mv,
  author = {G.S. Reddy and H. Mohanty},
  title = {Specification Based Testing of Inheritance: A Framework of a Tool},
  booktitle = {Proceedings of the 10th International Conference on Information Technology, (ICIT 2007).},
  year = {2007},
  pages = {237 -239},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/ICIT.2007.50}
}
					

@article{Reyes:os,
  author = {A.A. Reyes and D.J. Richardson},
  title = {Transformational Synthesis of Test Driver-Oracle Programs},
  journal = {Position Papers}
}
					

@inproceedings{Reyes:1998sp,
  author = {A.A. Reyes and D.J. Richardson},
  title = {Specification-based testing of Ada units with low encapsulation},
  booktitle = {Proceedings of the 13th IEEE International Conference on Automated Software Engineering, 1998.},
  year = {1998},
  pages = {22 -31},
  month = {oct},
  doi = {http://dx.doi.org/10.1109/ASE.1998.732563}
}
					

@article{Ricca:2006be,
  author = {F. Ricca and P. Tonella},
  title = {Detecting anomaly and failure in Web applications},
  journal = {MultiMedia, IEEE},
  year = {2006},
  volume = {13},
  number = {2},
  pages = {44 - 51},
  month = {april-june},
  doi = {http://dx.doi.org/10.1109/MMUL.2006.26}
}
					

@inproceedings{Richardson:1994dv,
  author = {Debra Richardson},
  title = {TAOS: Testing with Analysis and Oracle Support},
  booktitle = {Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis},
  year = {1994},
  pages = {138--153},
  address = {New York, NY, USA}
}
					

@inproceedings{Richardson:1992ja,
  author = {Debra Richardson and Stephanie Aha and T. O'Malley},
  title = {Specification-based test oracles for reactive systems},
  booktitle = {Proceedings of the 14th international conference on Software engineering},
  year = {1992},
  pages = {105--118},
  address = {New York, NY, USA}
}
					

@inproceedings{Richardson:1989ul,
  author = {D. Richardson and O. O'Malley and C. Tittle},
  title = {Approaches to specification-based testing},
  booktitle = {Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification},
  year = {1989},
  pages = {86--96},
  address = {New York, NY, USA}
}
					

@inproceedings{Robinson:2011hs,
  author = {B. Robinson and M.D. Ernst and J.H. Perkins and V. Augustine and N. Li},
  title = {Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs},
  booktitle = {Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year = {2011},
  pages = {23 -32},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/ASE.2011.6100059}
}
					

@inproceedings{Robinson:1999ff,
  author = {H. Robinson},
  title = {Finite state model-based testing on a shoestring},
  booktitle = {Proceedings of the 1999 International Conference on Software Testing Analysis and Review (STARWEST 1999)},
  year = {1999}
}
					

@inproceedings{Roest:2010mh,
  author = {D. Roest and A. Mesbah and A. Deursen},
  title = {Regression Testing Ajax Applications: Coping with Dynamism},
  booktitle = {Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2010},
  pages = {127 -136},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICST.2010.59}
}
					

@inproceedings{Romano:2011ec,
  author = {D. Romano and M. Di Penta and G. Antoniol},
  title = {An Approach for Search Based Testing of Null Pointer Exceptions},
  booktitle = {Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2011},
  pages = {160 -169},
  month = {march},
  doi = {http://dx.doi.org/10.1109/ICST.2011.49}
}
					

@article{Rosenblum:1995bn,
  author = {D.S. Rosenblum},
  title = {A practical approach to programming with assertions},
  journal = {IEEE Transactions on Software Engineering},
  year = {1995},
  volume = {21},
  number = {1},
  pages = {19 -31},
  month = {January},
  doi = {http://dx.doi.org/10.1109/32.341844}
}
					

@article{Rosenblum:1991lh,
  author = {D.S. Rosenblum},
  title = {Specifying concurrent systems with TSL},
  journal = {Software, IEEE},
  year = {1991},
  volume = {8},
  number = {3},
  pages = {52 -61},
  month = {may},
  doi = {http://dx.doi.org/10.1109/52.88944}
}
					

@inproceedings{Rothermel:2002gw,
  author = {Gregg Rothermel and Sebastian Elbaum and Alexey Malishevsky and Praveen Kallakuri and Brian Davia},
  title = {The impact of test suite granularity on the cost-effectiveness of regression testing},
  booktitle = {Proceedings of the 24th International Conference on Software Engineering},
  year = {2002},
  pages = {130--140},
  address = {New York, NY, USA}
}
					

@inproceedings{Rothermel:1998jl,
  author = {G. Rothermel and M.J. Harrold and J. Ostrin and C. Hong},
  title = {An empirical study of the effects of minimization on the fault detection capabilities of test suites},
  booktitle = {Proceedings of the International Conference on Software Maintenance, 1998.},
  year = {1998},
  pages = {34 -43},
  month = {nov},
  doi = {http://dx.doi.org/10.1109/ICSM.1998.738487}
}
					

@article{Rothermel:2002dz,
  author = {Gregg Rothermel and Mary Harrold and Jeffery Ronne and Christie Hong},
  title = {Empirical studies of test-suite reduction},
  journal = {Software Testing, Verification and Reliability},
  year = {2002},
  volume = {12},
  number = {4},
  pages = {219--249},
  url = {http://dx.doi.org/10.1002/stvr.256},
  doi = {http://dx.doi.org/10.1002/stvr.256}
}
					

@article{Rothermel:2001ys,
  author = {G. Rothermel and R.H. Untch and Chengyun Chu and M.J. Harrold},
  title = {Prioritizing test cases for regression testing},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2001},
  volume = {27},
  number = {10},
  pages = {929 -948},
  month = {oct},
  doi = {http://dx.doi.org/10.1109/32.962562}
}
					

@article{Salas:2009rm,
  author = {Percy Salas and Padmanabhan Krishnan},
  title = {Automated Software Testing of Asynchronous Systems},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2009},
  volume = {253},
  number = {2},
  pages = {3 - 19},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066109004022},
  doi = {http://dx.doi.org/10.1016/j.entcs.2009.09.048}
}
					

@inproceedings{Salima:2007sc,
  author = {T.M.S. Salima and A. Askarunisha and N. Ramaraj},
  title = {Enhancing the Efficiency of Regression Testing through Intelligent Agents},
  booktitle = {Proceedings of the International Conference on Conference on Computational Intelligence and Multimedia Applications, 2007.},
  year = {2007},
  volume = {1},
  pages = {103 -108},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/ICCIMA.2007.294}
}
					

@inproceedings{Sanders:1996rp,
  author = {N. Sanders},
  title = {Automated testing using executable formal specifications},
  booktitle = {Software Engineering: Education and Practice, 1996. Proceedings. International Conference},
  year = {1996},
  pages = {176 -181},
  month = {jan},
  doi = {http://dx.doi.org/10.1109/SEEP.1996.533997}
}
					

@article{Sangwan:2011is,
  author = {Om Sangwan and Pradeep Bhatia and Yogesh Singh},
  title = {Radial basis function neural network based approach to test oracle},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2011},
  volume = {36},
  number = {5},
  pages = {1--5},
  address = {New York, NY, USA},
  month = {September}
}
					

@techreport{Sankar:1993cu,
  author = {Sriram Sankar and Anoop Goyal and Prakash Sikchi},
  title = {Software Testing using Algebraic Specification Based Test Oracles},
  year = {1993},
  number = {CSL-TR-93-566}
}
					

@article{Sarikaya:1989zn,
  author = {BehÃSet Sarikaya},
  title = {Conformance testing: Architectures and test sequences},
  journal = {Computer Networks and ISDN Systems},
  year = {1989},
  volume = {17},
  number = {2},
  pages = {111 - 126},
  url = {http://www.sciencedirect.com/science/article/pii/0169755289900044},
  doi = {http://dx.doi.org/10.1016/0169-7552(89)90004-4}
}
					

@inproceedings{Schieferdecker:2012ic,
  author = {I. Schieferdecker},
  title = {Model-Based Fuzz Testing},
  booktitle = {Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2012},
  pages = {814},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICST.2012.180}
}
					

@inproceedings{Schwarzl:2010hv,
  author = {Christian Schwarzl and Bernhard Peischl},
  title = {Generation of executable test cases based on behavioral UML system models},
  booktitle = {Proceedings of the 5th Workshop on Automation of Software Test},
  year = {2010},
  pages = {31--34},
  address = {New York, NY, USA}
}
					

@inproceedings{Schwitter:2002xr,
  author = {R. Schwitter},
  title = {English as a formal specification language},
  booktitle = {Proceedings of the 13th International Workshop on Database and Expert Systems Applications, 2002.},
  year = {2002},
  pages = {228 - 232},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/DEXA.2002.1045903}
}
					

@article{Segura:2011mf,
  author = {Sergio Segura and Robert Hierons and David Benavides and Antonio Ruiz-CortÃpyrights},
  title = {Automated metamorphic testing on the analyses of feature models},
  journal = {Information and Software Technology},
  year = {2011},
  volume = {53},
  number = {3},
  pages = {245 - 258},
  url = {http://www.sciencedirect.com/science/article/pii/S0950584910001904},
  doi = {http://dx.doi.org/10.1016/j.infsof.2010.11.002}
}
					

@incollection{Seidl:2009yv,
  author = {Helmut Seidl and Vesal Vojdani},
  title = {Region Analysis for Race Detection},
  booktitle = {Static Analysis},
  year = {2009},
  volume = {5673},
  pages = {171-187},
  url = {http://dx.doi.org/10.1007/978-3-642-03237-0_13}
}
					

@incollection{Seifert:2008fh,
  author = {Dirk Seifert},
  title = {Conformance Testing Based on UML State Machines},
  booktitle = {Formal Methods and Software Engineering},
  year = {2008},
  volume = {5256},
  pages = {45-65},
  url = {http://dx.doi.org/10.1007/978-3-540-88194-0_6}
}
					

@incollection{Selvakumar:2011ud,
  author = {S. Selvakumar and N. Ramaraj and R. Naaghumeenal and R. Nandini and S. karthika},
  title = {Computing with Enhanced Test Suite Reduction Heuristic},
  booktitle = {Computer Networks and Information Technologies},
  year = {2011},
  volume = {142},
  pages = {504-507},
  url = {http://dx.doi.org/10.1007/978-3-642-19542-6_97}
}
					

@inproceedings{Shahamiri:2010mj,
  author = {S.R. Shahamiri and W.M.N.W. Kadir and S. Ibrahim},
  title = {An automated oracle approach to test decision-making structures},
  booktitle = {Proceedings of the 2010 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT)},
  year = {2010},
  volume = {5},
  pages = {30 -34},
  month = {july},
  doi = {http://dx.doi.org/10.1109/ICCSIT.2010.5563989}
}
					

@article{Shahamiri:2011ft,
  author = {Seyed Shahamiri and Wan Kadir and Suhaimi Ibrahim and Siti Hashim},
  title = {An automated framework for software test oracle},
  journal = {Information and Software Technology},
  year = {2011},
  volume = {53},
  number = {7},
  pages = {774 - 788},
  url = {http://www.sciencedirect.com/science/article/pii/S0950584911000589},
  doi = {http://dx.doi.org/10.1016/j.infsof.2011.02.006}
}
					

@inproceedings{Shahamiri:2009jw,
  author = {S.R. Shahamiri and W.M.N.W. Kadir and S.Z. Mohd-Hashim},
  title = {A Comparative Study on Automated Software Test Oracle Methods},
  booktitle = {Proceedings of the 4th International Conference on Software Engineering Advances},
  year = {2009},
  pages = {140 -145},
  month = {September},
  doi = {http://dx.doi.org/10.1109/ICSEA.2009.29}
}
					

@inproceedings{Shahamiri:2010gl,
  author = {S.R. Shahamiri and W.M.N. Wan Kadir and S. Ibrahim},
  title = {A Single-Network ANN-based Oracle to verify logical software modules},
  booktitle = {Proceedings of the 2nd International Conference on Software Technology and Engineering},
  year = {2010},
  volume = {2},
  pages = {272-276},
  month = {October},
  doi = {http://dx.doi.org/10.1109/ICSTE.2010.5608808}
}
					

@article{Shahamiri:2012ko,
  author = {Seyed Shahamiri and Wan Wan-Kadir and Suhaimi Ibrahim and Siti Hashim},
  title = {Artificial neural networks as multi-networks automated test oracle},
  journal = {Automated Software Engineering},
  year = {2012},
  volume = {19},
  pages = {303-334},
  url = {http://dx.doi.org/10.1007/s10515-011-0094-z}
}
					

@book{Shahbaz:2012fk,
  author = {M. Shahbaz},
  title = {Reverse Engineering and Testing of Black-Box Software Components},
  publisher = {LAP Lambert Academic Publishing},
  year = {2012},
  url = {http://books.google.co.uk/books?id=0Ft3LwEACAAJ}
}
					

@incollection{Shahbaz:2007zd,
  author = {Muzammil Shahbaz and Keqin Li and Roland Groz},
  title = {Learning and Integration of Parameterized Components Through Testing},
  booktitle = {Testing of Software and Communicating Systems},
  year = {2007},
  volume = {4581},
  pages = {319-334},
  url = {http://dx.doi.org/10.1007/978-3-540-73066-8_22}
}
					

@inproceedings{Shahbaz:2012xx,
  author = {Muzammil Shahbaz and Phil McMinn and Mark Stevenson},
  title = {Automated Discovery of Valid Test Strings from the Web Using Dynamic Regular Expressions Collation and Natural Language Processing},
  booktitle = {Proceedings of the 2012 12th International Conference on Quality Software (QSIC)},
  year = {2012},
  pages = {79 -88},
  month = {aug.},
  doi = {http://dx.doi.org/10.1109/QSIC.2012.15}
}
					

@inproceedings{Shahbaz:2011ek,
  author = {Muzammil Shahbaz and K. Shashidhar and Robert Eschbach},
  title = {Iterative refinement of specification for component based embedded systems},
  booktitle = {Proceedings of the 2011 International Symposium on Software Testing and Analysis},
  year = {2011},
  pages = {276--286},
  address = {New York, NY, USA}
}
					

@inproceedings{Shao:2007lr,
  author = {Danhua Shao and S. Khurshid and D.E. Perry},
  title = {A Case for White-box Testing Using Declarative Specifications Poster Abstract},
  booktitle = {Proceedings of Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007},
  year = {2007},
  pages = {137},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/TAIC.PART.2007.36}
}
					

@article{Shimeall:1991uh,
  author = {T.J. Shimeall and N.G. Leveson},
  title = {An empirical comparison of software fault tolerance and fault elimination},
  journal = {Software Engineering, IEEE Transactions on},
  year = {1991},
  volume = {17},
  number = {2},
  pages = {173 -182},
  month = {feb},
  doi = {http://dx.doi.org/10.1109/32.67598}
}
					

@inproceedings{Shrestha:2011kk,
  author = {K. Shrestha and M.J. Rutherford},
  title = {An Empirical Evaluation of Assertions as Oracles},
  booktitle = {Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2011},
  pages = {110 -119},
  month = {march},
  doi = {http://dx.doi.org/10.1109/ICST.2011.50}
}
					

@inproceedings{Shreve:1997nc,
  author = {D.C. Shreve and D.J. Mellema and C.B. Boettcher},
  title = {Real-time checkers: built-in-test for mission-critical software},
  booktitle = {Digital Avionics Systems Conference, 1997. 16th DASC., AIAA/IEEE},
  year = {1997},
  volume = {1},
  pages = {1.4 -1-8 vol.1},
  month = {oct},
  doi = {http://dx.doi.org/10.1109/DASC.1997.635023}
}
					

@inproceedings{ShuHL08,
  author = {Guoqiang Shu and Yating Hsu and David Lee},
  title = {Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning},
  booktitle = {FORTE},
  year = {2008},
  pages = {299-304}
}
					

@inproceedings{Shukla:2005sl,
  author = {Rakesh Shukla and David Carrington and Paul Strooper},
  title = {A Passive Test Oracle Using a Component's API},
  booktitle = {Proceedings of the 12th Asia-Pacific Software Engineering Conference},
  year = {2005},
  pages = {561--567},
  address = {Washington, DC, USA},
  url = {http://dx.doi.org/10.1109/APSEC.2005.13},
  doi = {http://dx.doi.org/10.1109/APSEC.2005.13}
}
					

@inproceedings{Shukla:2005nu,
  author = {R. Shukla and P. Strooper and D. Carrington},
  title = {Tool support for statistical testing of software components},
  booktitle = {Software Engineering Conference, 2005. APSEC '05. 12th Asia-Pacific},
  year = {2005},
  pages = {8 pp.},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/APSEC.2005.105}
}
					

@incollection{Shukla:2004hf,
  author = {Rakesh Shukla and Paul Strooper and David Carrington},
  title = {A Framework for Reliability Assessment of Software Components},
  booktitle = {Component-Based Software Engineering},
  year = {2004},
  volume = {3054},
  pages = {272-279},
  url = {http://dx.doi.org/10.1007/978-3-540-24774-6_24}
}
					

@inproceedings{Siepmann:1994gi,
  author = {Ernst Siepmann and A. Newton},
  title = {TOBAC: a test case browser for testing object-oriented software},
  booktitle = {Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis},
  year = {1994},
  pages = {154--168},
  address = {New York, NY, USA}
}
					

@incollection{Sifakis:1980lb,
  author = {Joseph Sifakis},
  title = {Deadlocks and livelocks in transition systems},
  booktitle = {Mathematical Foundations of Computer Science 1980},
  year = {1980},
  volume = {88},
  pages = {587-600},
  url = {http://dx.doi.org/10.1007/BFb0022535}
}
					

@article{Silva:2008sw,
  author = {JosÃpyright Silva and JosÃpyright Campos and Ana Paiva},
  title = {Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2008},
  volume = {208},
  number = {0},
  pages = {77 - 93},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066108002132},
  doi = {http://dx.doi.org/10.1016/j.entcs.2008.03.108}
}
					

@article{Simons:2007th,
  author = {Anthony Simons},
  title = {JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction},
  journal = {Automated Software Engineering},
  year = {2007},
  volume = {14},
  pages = {369-418},
  url = {http://dx.doi.org/10.1007/s10515-007-0015-3}
}
					

@inproceedings{Simons:2009hx,
  author = {A.J.H. Simons and Wenwen Zhao},
  title = {Dynamic Analysis of Algebraic Structure to Optimize Test Generation and Test Case Selection},
  booktitle = {Testing: Academic and Industrial Conference - Practice and Research Techniques, 2009. TAIC PART '09.},
  year = {2009},
  pages = {33 -42},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/TAICPART.2009.28}
}
					

@inproceedings{Skevoulis:2000qm,
  author = {S. Skevoulis and Xiaoping Jia},
  title = {Generic invariant-based static analysis tool for detection of runtime errors in Java programs},
  booktitle = {Proceedings of the 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000.},
  year = {2000},
  pages = {36 -44},
  doi = {http://dx.doi.org/10.1109/TOOLS.2000.891356}
}
					

@inproceedings{Skroch:2007ci,
  author = {Oliver Skroch},
  title = {Validation of Component-Based Software with a Customer Centric Domain Level Approach},
  booktitle = {Engineering of Computer-Based Systems, 2007. ECBS '07. 14th Annual IEEE International Conference and Workshops on the},
  year = {2007},
  pages = {459 -466},
  month = {march},
  doi = {http://dx.doi.org/10.1109/ECBS.2007.76}
}
					

@incollection{Skroch:2010xg,
  author = {Oliver Skroch and Oliver Skroch},
  title = {Reducing domain level scenarios to test component-based software},
  booktitle = {Developing Business Application Systems},
  year = {2010},
  pages = {91-111},
  url = {http://dx.doi.org/10.1007/978-3-8349-8858-4_7}
}
					

@inproceedings{Smith:2007kk,
  author = {Adam Smith and Joshua Geiger and Gregory Kapfhammer and Mary Soffa},
  title = {Test suite reduction and prioritization with call trees},
  booktitle = {Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering},
  year = {2007},
  pages = {539--540},
  address = {New York, NY, USA}
}
					

@inproceedings{Smith:2009vy,
  author = {Adam Smith and Gregory Kapfhammer},
  title = {An empirical study of incorporating cost into test suite reduction and prioritization},
  booktitle = {Proceedings of the 2009 ACM symposium on Applied Computing},
  year = {2009},
  pages = {461--467},
  address = {New York, NY, USA}
}
					

@article{Smith:1992bn,
  author = {MD Smith and DJ Robson},
  title = {A framework for testing object-oriented programs},
  journal = {Journal of Object-Oriented Programming},
  year = {1992},
  volume = {5},
  number = {3},
  pages = {45--53}
}
					

@article{Sofokleous:2008kk,
  author = {Anastasis Sofokleous and Andreas Andreou},
  title = {Automatic, evolutionary test data generation for dynamic software testing},
  journal = {Journal of Systems and Software},
  year = {2008},
  volume = {81},
  number = {11},
  pages = {1883 - 1898},
  url = {http://www.sciencedirect.com/science/article/pii/S0164121208000101},
  doi = {http://dx.doi.org/10.1016/j.jss.2007.12.809}
}
					

@inproceedings{Song:2007ye,
  author = {Yoonki Song and Suresh Thummalapenta and Tao Xie},
  title = {UnitPlus: assisting developer testing in Eclipse},
  booktitle = {Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange},
  year = {2007},
  pages = {26--30},
  address = {New York, NY, USA}
}
					

@book{Spivey:1992ie,
  author = {J. Spivey},
  title = {The Z notation: a reference manual},
  year = {1992},
  address = {Hertfordshire, UK, UK}
}
					

@inproceedings{Sprenkle:2008qg,
  author = {S. Sprenkle and H. Esquivel and B. Hazelwood and L. Pollock},
  title = {WebVizOr: A Visualization Tool for Applying Automated Oracles and Analyzing Test Results of Web Applications},
  booktitle = {Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic Industrial Conference},
  year = {2008},
  pages = {89 -93},
  month = {aug.},
  doi = {http://dx.doi.org/10.1109/TAIC-PART.2008.19}
}
					

@inproceedings{Sprenkle:2005ji,
  author = {Sara Sprenkle and Emily Gibson and Sreedevi Sampath and Lori Pollock},
  title = {Automated replay and failure detection for web applications},
  booktitle = {Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering},
  year = {2005},
  pages = {253--262},
  address = {New York, NY, USA}
}
					

@inproceedings{Sprenkle:2007dl,
  author = {S. Sprenkle and E. Hill and L. Pollock},
  title = {Learning Effective Oracle Comparator Combinations for Web Applications},
  booktitle = {Proceedings of the Seventh International Conference on Quality Software, 2007. QSIC '07.},
  year = {2007},
  pages = {372 -379},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/QSIC.2007.4385523}
}
					

@inproceedings{Sprenkle:2007oo,
  author = {S. Sprenkle and L. Pollock and H. Esquivel and B. Hazelwood and S. Ecott},
  title = {Automated Oracle Comparators for TestingWeb Applications},
  booktitle = {Proceedings of the 18th IEEE International Symposium on Software Reliability, 2007. ISSRE '07.},
  year = {2007},
  pages = {117 -126},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/ISSRE.2007.26}
}
					

@inproceedings{Van-Sprundel:2005ul,
  author = {I. Van Sprundel},
  title = {Fuzzing: Breaking software in an automated fashion},
  booktitle = {Proceedings of the 22nd Chaos Communication Congress: Private Investigations},
  year = {2005}
}
					

@inproceedings{Srinivasan:2002rv,
  author = {J. Srinivasan and N. Leveson},
  title = {Automated testing from specifications},
  booktitle = {Digital Avionics Systems Conference, 2002. Proceedings. The 21st},
  year = {2002},
  volume = {1},
  pages = {6A2-1 - 6A2-8 vol.1},
  doi = {http://dx.doi.org/10.1109/DASC.2002.1067980}
}
					

@article{Srivastava:2000sa,
  author = {Jaideep Srivastava and Robert Cooley and Mukund Deshpande and Pang-Ning Tan},
  title = {Web usage mining: discovery and applications of usage patterns from Web data},
  journal = {SIGKDD Explor. Newsl.},
  year = {2000},
  volume = {1},
  number = {2},
  pages = {12--23},
  address = {New York, NY, USA},
  month = {January}
}
					

@inproceedings{Staats:2011cy,
  author = {Matt Staats and Michael Whalen and Mats Heimdahl},
  title = {Better testing through oracle selection (NIER track)},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering},
  year = {2011},
  pages = {892--895},
  address = {New York, NY, USA}
}
					

@inproceedings{Staats:2011fp,
  author = {M. Staats and M.W. Whalen and M.P.E. Heimdahl},
  title = {Programs, tests, and oracles: the foundations of testing revisited},
  booktitle = {Proceedings of the 2011 33rd International Conference on Software Engineering (ICSE)},
  year = {2011},
  pages = {391 -400},
  month = {may},
  doi = {http://dx.doi.org/10.1145/1985793.1985847}
}
					

@article{Stocks:1996jt,
  author = {P. Stocks and D. Carrington},
  title = {A framework for specification-based testing},
  journal = {IEEE Transactions on Software Engineering},
  year = {1996},
  volume = {22},
  number = {11},
  pages = {777 -793},
  month = {nov},
  doi = {http://dx.doi.org/10.1109/32.553698}
}
					

@inproceedings{Stocks:1993bh,
  author = {P.A. Stocks and D.A. Carrington},
  title = {Test templates: a specification-based testing framework},
  booktitle = {Proceedings of the 15th International Conference on Software Engineering, 1993.},
  year = {1993},
  pages = {405 -414},
  month = {may},
  doi = {http://dx.doi.org/10.1109/ICSE.1993.346025}
}
					

@article{Stocks:1993uv,
  author = {P. Stocks and D. Carrington},
  title = {Test template framework: a specification-based testing case study},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {1993},
  volume = {18},
  number = {3},
  pages = {11--18},
  address = {New York, NY, USA},
  month = {July}
}
					

@inproceedings{Stocks:1991fv,
  author = {Philip Stocks and David Carrington},
  title = {Deriving Software Test Cases from Formal Specifications},
  booktitle = {Australian Software Engineering Conference 1991: Engineering Safe Software; Proceedings},
  year = {1991},
  pages = {327-340}
}
					

@book{Stoy:1977qg,
  author = {Joseph Stoy},
  title = {Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory},
  year = {1977},
  address = {Cambridge, MA, USA}
}
					

@article{Sullivan:2004wz,
  author = {Kevin Sullivan and Jinlin Yang and David Coppit and Sarfraz Khurshid and Daniel Jackson},
  title = {Software assurance by bounded exhaustive testing},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2004},
  volume = {29},
  number = {4},
  pages = {133--142},
  address = {New York, NY, USA},
  month = {July}
}
					

@inproceedings{Sun:2011zy,
  author = {Chang-ai Sun and Guan Wang and Baohong Mu and Huai Liu and ZhaoShun Wang and T.Y. Chen},
  title = {Metamorphic Testing for Web Services: Framework and a Case Study},
  booktitle = {Proceedings of the 2011 IEEE International Conference on Web Services (ICWS)},
  year = {2011},
  pages = {283 -290},
  month = {july},
  doi = {http://dx.doi.org/10.1109/ICWS.2011.65}
}
					

@article{Takahashi:2001kq,
  author = {Juichi Takahashi},
  title = {An automated oracle for verifying GUI objects},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2001},
  volume = {26},
  number = {4},
  pages = {83--88},
  address = {New York, NY, USA},
  month = {July}
}
					

@inproceedings{Takanen:2010pw,
  author = {A. Takanen},
  title = {Proactive Security Testing and Fuzzing},
  booktitle = {Proceedings of the Information Security Solutions Europe 2009},
  journal = {ISSE 2009 Securing Electronic Business Processes, 2010},
  year = {2010},
  volume = {1},
  pages = {312-319}
}
					

@inproceedings{Tallam:2005zp,
  author = {Sriraman Tallam and Neelam Gupta},
  title = {A concept analysis inspired greedy algorithm for test suite minimization},
  booktitle = {Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
  year = {2005},
  pages = {35--42},
  address = {New York, NY, USA}
}
					

@inproceedings{Tan:2007yw,
  author = {Lin Tan and Ding Yuan and Gopal Krishna and Yuanyuan Zhou},
  title = {/*icomment: bugs or bad comments?*/},
  booktitle = {Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles},
  year = {2007},
  pages = {145--158},
  address = {New York, NY, USA}
}
					

@inproceedings{Tan:2011ij,
  author = {Lin Tan and Yuanyuan Zhou and Y. Padioleau},
  title = {aComment: mining annotations from comments and code to detect interrupt related concurrency bugs},
  booktitle = {Proceedings of the 2011 33rd International Conference on Software Engineering (ICSE)},
  year = {2011},
  pages = {11 -20},
  month = {may},
  doi = {http://dx.doi.org/10.1145/1985793.1985796}
}
					

@inproceedings{Tan:1996lw,
  author = {Q.M. Tan and A. Petrenko and G. Bochmann},
  title = {A test generation tool for specifications in the form of state machines},
  booktitle = {Proceedings of the 1996 IEEE International Conference on Communications, 1996. ICC 96, Conference Record, Converging Technologies for Tomorrow's Applications.},
  year = {1996},
  volume = {1},
  pages = {225 -229 vol.1},
  month = {jun},
  doi = {http://dx.doi.org/10.1109/ICC.1996.542187}
}
					

@inproceedings{Tan:2012ph,
  author = {Shin Tan and D. Marinov and Lin Tan and G.T. Leavens},
  title = {@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies},
  booktitle = {Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)},
  year = {2012},
  pages = {260 -269},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ICST.2012.106}
}
					

@inproceedings{Taneja:2010fv,
  author = {Kunal Taneja and Nuo Li and Madhuri Marri and Tao Xie and Nikolai Tillmann},
  title = {MiTV: multiple-implementation testing of user-input validators for web applications},
  booktitle = {Proceedings of the IEEE/ACM international conference on Automated software engineering},
  year = {2010},
  pages = {131--134},
  address = {New York, NY, USA}
}
					

@inproceedings{Tao:2010sj,
  author = {Qiuming Tao and Wei Wu and Chen Zhao and Wuwei Shen},
  title = {An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique},
  booktitle = {Software Engineering Conference (APSEC), 2010 17th Asia Pacific},
  year = {2010},
  pages = {270 -279},
  month = {30 2010-dec. 3},
  doi = {http://dx.doi.org/10.1109/APSEC.2010.39}
}
					

@inproceedings{Tiwari:2011yf,
  author = {S. Tiwari and K.K. Mishra and A. Kumar and A.K. Misra},
  title = {Spectrum-Based Fault Localization in Regression Testing},
  booktitle = {Proceedings of the 2011 Eighth International Conference on Information Technology: New Generations (ITNG)},
  year = {2011},
  pages = {191 -195},
  month = {april},
  doi = {http://dx.doi.org/10.1109/ITNG.2011.40}
}
					

@inproceedings{Tomb:2007ul,
  author = {Aaron Tomb and Guillaume Brat and Willem Visser},
  title = {Variably interprocedural program analysis for runtime error detection},
  booktitle = {Proceedings of the 2007 international symposium on Software testing and analysis},
  year = {2007},
  pages = {97--107},
  address = {New York, NY, USA}
}
					

@inproceedings{Torsel:2011gz,
  author = {A.-M. Torsel},
  title = {Automated Test Case Generation for Web Applications from a Domain Specific Model},
  booktitle = {Computer Software and Applications Conference Workshops (COMPSACW), 2011 IEEE 35th Annual},
  year = {2011},
  pages = {137 -142},
  month = {july},
  doi = {http://dx.doi.org/10.1109/COMPSACW.2011.32}
}
					

@article{Le-Traon:2000gv,
  author = {Y. Le Traon and T. Jeron and J.-M. Jezequel and P. Morel},
  title = {Efficient object-oriented integration and regression testing},
  journal = {Reliability, IEEE Transactions on},
  year = {2000},
  volume = {49},
  number = {1},
  pages = {12 -25},
  month = {mar},
  doi = {http://dx.doi.org/10.1109/24.855533}
}
					

@incollection{Treharne:1998sy,
  author = {H. Treharne and J. Draper and S. Schneider},
  title = {Test case preparation using a prototype},
  booktitle = {B'98: Recent Advances in the Development and Use of the B Method},
  year = {1998},
  volume = {1393},
  pages = {293-311},
  url = {http://dx.doi.org/10.1007/BFb0053368}
}
					

@inproceedings{Le-Treon:1999uw,
  author = {Y. Le Treon and D. Deveaux and J.-M. Jezequel},
  title = {Self-testable components: from pragmatic tests to design-for-testability methodology},
  booktitle = {Technology of Object-Oriented Languages and Systems, 1999. Proceedings of},
  year = {1999},
  pages = {96 -107},
  month = {jul},
  doi = {http://dx.doi.org/10.1109/TOOLS.1999.779003}
}
					

@techreport{Tretmans:1996zj,
  author = {J. Tretmans},
  title = {Test generation with inputs, outputs and repetitive quiescence},
  journal = {Software---Concepts and Tools},
  year = {1996},
  number = {TR-CTIT-96-26}
}
					

@inproceedings{Tsai:2004lq,
  author = {W.T. Tsai and Y. Chen and R. Paul and N. Liao and H. Huang},
  title = {Cooperative and group testing in verification of dynamic composite Web services},
  booktitle = {Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International},
  year = {2004},
  volume = {2},
  pages = {170 - 173 vol.2},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/CMPSAC.2004.1342703}
}
					

@inproceedings{Tsai:2005ry,
  author = {W.T. Tsai and D. Zhang and R. Paul and Yinong Chen},
  title = {Stochastic voting algorithms for Web services group testing},
  booktitle = {Proceedings of the Fifth International Conference on Quality Software, 2005. (QSIC 2005).},
  year = {2005},
  pages = {99 - 106},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/QSIC.2005.58}
}
					

@inproceedings{Tsai:2005qs,
  author = {Wei-Tek Tsai and Xiaoying Bai and Yinong Chen and Xinyu Zhou},
  title = {Web service group testing with windowing mechanisms},
  booktitle = {Service-Oriented System Engineering, 2005. SOSE 2005. IEEE International Workshop},
  year = {2005},
  pages = {213 - 218},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/SOSE.2005.41}
}
					

@inproceedings{Tsai:2005xk,
  author = {Wei-Tek Tsai and Yinong Chen and R. Paul and Hai Huang and Xinyu Zhou and Xiao Wei},
  title = {Adaptive testing, oracle generation, and test case ranking for Web services},
  booktitle = {Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International},
  year = {2005},
  volume = {1},
  pages = {101 - 106 Vol. 2},
  month = {july},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2005.40}
}
					

@inproceedings{Tsai:2005cc,
  author = {W.-T. Tsai and Y. Chen and D. Zhang and H. Huang},
  title = {Voting multi-dimensional data with deviations for Web services under group testing},
  booktitle = {Proceedings of the 25th IEEE International Conference on Distributed Computing Systems Workshops, 2005.},
  year = {2005},
  pages = {65 - 71},
  month = {june},
  doi = {http://dx.doi.org/10.1109/ICDCSW.2005.141}
}
					

@inproceedings{Tsai:2011yh,
  author = {Wei-Tek Tsai and Peide Zhong and J. Balasooriya and Yinong Chen and Xiaoying Bai and J. Elston},
  title = {An Approach for Service Composition and Testing for Cloud Computing},
  booktitle = {Proceedings of the 2011 10th International Symposium on Autonomous Decentralized Systems (ISADS)},
  year = {2011},
  pages = {631 -636},
  month = {march},
  doi = {http://dx.doi.org/10.1109/ISADS.2011.90}
}
					

@inproceedings{Tse:2005im,
  author = {T.H. Tse},
  title = {Research directions on model-based metamorphic testing and verification},
  booktitle = {Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International},
  year = {2005},
  volume = {1},
  pages = {332 Vol. 2},
  month = {july},
  doi = {http://dx.doi.org/10.1109/COMPSAC.2005.130}
}
					

@inproceedings{Tse:2004su,
  author = {T.H. Tse and S.S. Yau},
  title = {Testing context-sensitive middleware-based software applications},
  booktitle = {Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International},
  year = {2004},
  pages = {458 - 466 vol.1},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/CMPSAC.2004.1342879}
}
					

@inproceedings{Tu:2009vp,
  author = {Dan Tu and Rong Chen and Zhenjun Du and Yaqing Liu},
  title = {A Method of Log File Analysis for Test Oracle},
  booktitle = {Proceedings of the 8th International Conference on Scalable Computing and Communications/Embedded Computing},
  year = {2009},
  pages = {351 -354},
  month = {September},
  doi = {http://dx.doi.org/10.1109/EmbeddedCom-ScalCom.2009.69}
}
					

@article{Ural:2012zn,
  author = {Hasan Ural and Hüsnü Yenigün},
  title = {Regression test suite selection using dependence analysis},
  journal = {Journal of Software: Evolution and Process},
  year = {2012},
  pages = {n/a--n/a},
  url = {http://dx.doi.org/10.1002/smr.1559}
}
					

@article{Vanmali:2002et,
  author = {Meenakshi Vanmali and Mark Last and Abraham Kandel},
  title = {Using a neural network in the software testing process},
  journal = {International Journal of Intelligent Systems},
  year = {2002},
  volume = {17},
  number = {1},
  pages = {45--62},
  url = {http://dx.doi.org/10.1002/int.1002},
  doi = {http://dx.doi.org/10.1002/int.1002}
}
					

@inproceedings{Vos:2011ga,
  author = {T.E.J. Vos and P. Tonella and J. Wegener and M. Harman and W. Prasetya and E. Puoskari and Y. Nir-Buchbinder},
  title = {Future Internet Testing with FITTEST},
  booktitle = {Proceedings of the 2011 15th European Conference on Software Maintenance and Reengineering (CSMR)},
  year = {2011},
  pages = {355 -358},
  month = {march},
  doi = {http://dx.doi.org/10.1109/CSMR.2011.51}
}
					

@inproceedings{Walkinshaw:2008ec,
  author = {N. Walkinshaw and K. Bogdanov},
  title = {Inferring Finite-State Models with Temporal Constraints},
  booktitle = {Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering},
  year = {2008},
  pages = {248--257},
  address = {Washington, DC, USA}
}
					

@article{Walkinshaw:2008bi,
  author = {Neil Walkinshaw and Kirill Bogdanov and Mike Holcombe and Sarah Salahuddin},
  title = {Improving dynamic software analysis by applying grammar inference principles},
  journal = {Journal of Software Maintenance and Evolution: Research and Practice},
  year = {2008},
  volume = {20},
  number = {4},
  pages = {269--290},
  url = {http://dx.doi.org/10.1002/smr.373},
  doi = {http://dx.doi.org/10.1002/smr.373}
}
					

@inproceedings{Walkinshaw:2007en,
  author = {N. Walkinshaw and K. Bogdanov and M. Holcombe and S. Salahuddin},
  title = {Reverse Engineering State Machines by Interactive Grammar Inference},
  booktitle = {Proceedings of the 14th Working Conference on Reverse Engineering, 2007. WCRE 2007.},
  year = {2007},
  pages = {209 -218},
  month = {oct.},
  doi = {http://dx.doi.org/10.1109/WCRE.2007.45}
}
					

@inproceedings{Wang:2007wq,
  author = {Cheng Wang and Ho-seop Kim and Youfeng Wu and Victor Ying},
  title = {Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection},
  booktitle = {Proceedings of the International Symposium on Code Generation and Optimization, 2007. CGO '07.},
  year = {2007},
  pages = {244 -258},
  month = {march},
  doi = {http://dx.doi.org/10.1109/CGO.2007.7}
}
					

@article{Wang:2011ie,
  author = {D. Wang and Y. Liu and Y. Wu and L.H. Zhu},
  title = {Software vulnerability testing method with static analysis},
  journal = {Computer Engineering and Design},
  year = {2011},
  volume = {5},
  pages = {045}
}
					

@incollection{Wang:2011um,
  author = {Farn Wang and Jung-Hsuan Wu and Chung-Hao Huang and Kai-Hsiang Chang},
  title = {Evolving a Test Oracle in Black-Box Testing},
  booktitle = {Fundamental Approaches to Software Engineering},
  year = {2011},
  volume = {6603},
  pages = {310-325},
  url = {http://dx.doi.org/10.1007/978-3-642-19811-3_22}
}
					

@inproceedings{Wang:2011ym,
  author = {Farn Wang and Li-Wei Yao and Jung-Hsuan Wu},
  title = {Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications},
  booktitle = {Proceedings of the 2011 IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC)},
  year = {2011},
  pages = {89 -96},
  month = {dec.},
  doi = {http://dx.doi.org/10.1109/DASC.2011.39}
}
					

@article{Wang:2009sk,
  author = {Ji Wang and Xiao-Dong Ma and Wei Dong and Hou-Feng Xu and Wan-Wei Liu},
  title = {Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis},
  journal = {Journal of Computer Science and Technology},
  year = {2009},
  volume = {24},
  pages = {347-356},
  url = {http://dx.doi.org/10.1007/s11390-009-9229-0}
}
					

@inproceedings{Wang:2005mb,
  author = {Xin Wang and Zhi-Chang and Qi Li},
  title = {An optimized method for automatic test oracle generation from real-time specification},
  booktitle = {Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, 2005. ICECCS 2005.},
  year = {2005},
  pages = {440 - 449},
  month = {june},
  doi = {http://dx.doi.org/10.1109/ICECCS.2005.22}
}
					

@article{Wasserman:1997xw,
  author = {Hal Wasserman and Manuel Blum},
  title = {Software reliability via run-time result-checking},
  journal = {J. ACM},
  year = {1997},
  volume = {44},
  number = {6},
  pages = {826--849},
  address = {New York, NY, USA},
  month = {November}
}
					

@inproceedings{Weyns:2007oa,
  author = {K. Weyns and M. Host},
  title = {Sensitivity of Website Reliability to Usage Profile Changes},
  booktitle = {Proceedings of the 18th IEEE International Symposium on Software Reliability, 2007. ISSRE '07.},
  year = {2007},
  pages = {3 -8},
  month = {nov.},
  doi = {http://dx.doi.org/10.1109/ISSRE.2007.9}
}
					

@article{Weyuker:1983hs,
  author = {Elaine Weyuker},
  title = {Assessing Test Data Adequacy through Program Inference},
  journal = {ACM Trans. Program. Lang. Syst.},
  year = {1983},
  volume = {5},
  number = {4},
  pages = {641--655},
  address = {New York, NY, USA},
  month = {October}
}
					

@article{Weyuker:1982cd,
  author = {E.J. Weyuker},
  title = {On testing non-testable programs},
  journal = {The Computer Journal},
  year = {1982},
  volume = {25},
  number = {4},
  pages = {465--470}
}
					

@article{weyuker2000experience,
  author = {Weyuker, E.J. and Vokolos, F.I.},
  title = {Experience with performance testing of software systems: issues, an approach, and case study},
  journal = {Software Engineering, IEEE Transactions on},
  publisher = {IEEE},
  year = {2000},
  volume = {26},
  number = {12},
  pages = {1147--1156}
}
					

@article{White:2011ve,
  author = {D.R. White and A. Arcuri and J.A. Clark},
  title = {Evolutionary Improvement of Programs},
  journal = {Evolutionary Computation, IEEE Transactions on},
  year = {2011},
  volume = {15},
  number = {4},
  pages = {515 -538},
  month = {aug.},
  doi = {http://dx.doi.org/10.1109/TEVC.2010.2083669}
}
					

@book{Whittaker:2009sw,
  author = {J.A. Whittaker},
  title = {Exploratory Software Testing},
  year = {2009}
}
					

@inproceedings{Winbladh:2006nl,
  author = {K. Winbladh and T.A. Alspaugh and H. Ziv and D.J. Richardson},
  title = {An Automated Approach for Goal-driven, Specification-based Testing},
  booktitle = {Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, 2006. ASE '06.},
  year = {2006},
  pages = {289 -292},
  month = {sept.},
  doi = {http://dx.doi.org/10.1109/ASE.2006.11}
}
					

@article{Wing:1990zg,
  author = {J.M. Wing},
  title = {A specifier's introduction to formal methods},
  journal = {Computer},
  year = {1990},
  volume = {23},
  number = {9},
  pages = {8 -22},
  month = {September},
  doi = {http://dx.doi.org/10.1109/2.58215}
}
					

@inproceedings{Winter:1999hk,
  author = {V.L. Winter},
  title = {An overview of HATS: a language independent high assurance transformation system},
  booktitle = {Proceedings of the 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology, 1999. ASSET '99.},
  year = {1999},
  pages = {222 -229},
  doi = {http://dx.doi.org/10.1109/ASSET.1999.756772}
}