@InProceedings{Aichernig-Salas05,
  Key =	         {Aichernig \& Salas},
  Author =	 {Bernhard K. Aichernig and Percy Antonio Pari Salas},
  Title =	 {Test Case Generation by {OCL} Mutation and
                  Constraint Solving},
  BookTitle =    {Proceedings of the Fifth Internation Conference on
                  Quality Software, Melbourne, Australia,
                  September 19-20, 2005},
  Pages =        {64--71},
  Year =         2005
}

@InProceedings{Alander-Mantere-Turunen97,
  Author =	 {Jarmo T. Alander and Timo Mantere and Pekka Turunen},
  Title =	 {Genetic Algorithm Based Software Testing},
  BookTitle =    {Artificial Neural Nets and Genetic Algorithms},
  pages =        {325--328},
  Address =      {Wien, Austria},
  Publisher =	 {Springer-Verlag},
  Year =         {1998},
  Annote =       {GA to stess test embedded systems.}
}

@InProceedings{Andrews-Benson81,
  Key =	         {Andrews \& Benson},
  Author =	 {Dorothy M. Andrews and Jeoffrey P. Benson},
  Title =	 {An automated program testing methodology 
                  and its implementation},
  BookTitle =    {Proceedings of the Fifth International Conference on
                  Software Engineering, San Diego, CA, March 9--12, 1981},
  Pages =        {254--261},
  Year =         1981,
  Annote =       {Assertion-based testing}
}

@InProceedings{Baresel-Sthamer-Schmidt02,
  author =       "Andr{\'e} Baresel and Harmen Sthamer and
                  Michael Schmidt",
  title =        "Fitness Function Design To Improve Evolutionary
                  Structural Testing",
  booktitle =    "GECCO 2002: Proceedings of the Genetic and Evolutionary
                 Computation Conference",
  year =         "2002",
  pages =        "1329--1336",
  address = 	 "New York",
  month	 = 	 "9-13 July",
  publisher =    "Morgan Kaufmann Publishers",
  isbn	 = 	 "1-55860-878-8",
  notes	 = 	 "GECCO-2002. 
		  A joint meeting of the eleventh International Conference on
		  Genetic Algorithms (ICGA-2002) and the seventh Annual Genetic
		  Programming Conference (GP-2002)"
}

@Unpublished{Baudry-etal00,
  Author =	 {Benoit Baudry and Vu Le Hanh and Jean-Marc Jezequel 
                  and Yves Le Traon},
  Title =	 {Building Trusts into OO Components using a Genetic Analogy},
  Year =         2000
}

@Article{Baudry-etal05,
  Author       = {Benoit Baudry and Vu Le Hanh and Jean-Marc Jezequel 
                  and Yves Le Traon},
  Title        = {From Genetic to Bacteriological Algorithms for
                  Mutation-based Testing},
  Journal      = {Journal of Software Testing, Verification and Reliability},
  Volume       = {15},
  Number       = {2},
  Year         = {2005},
  Pages        = {73--96}
}


@Unpublished{Baudry-etal00,
  Title =	 {Building Trusts into OO Components using a Genetic Analogy},
  Year =         2000
}


@Book{Beizer90,
  author =	 "B. Beizer",
  title =	 "Software Testing Techniques",
  publisher =	 "Van Nostrand Reinhold",
  edition =	 "Second",
  year =	 "1990"
}

@InProceedings{Berndt-etal03,
   author = {D. Berndt and J. Fisher and L. Pinglikar and A. Watkins},
   title = {Breeding Software Test Cases with Genetic Algorithms},
   booktitle = {Proceedings of the Hawaii Internatoional Conference on
                System Sciences, January 6--9, 2003, Big Island, Hawaii},
   month = Jan,
   year = {2003}
}

@InProceedings{Beydeda-Gruhn01,
  Key =	         {Beydeda \& Gruhn},
  Author =	 {Dorothy M. Andrews and Jeoffrey P. Benson},
  Title =	 {Integrating white- and black-box techniques
                  for class-level regression testing},
  BookTitle =    {The 25th Annual International Computer Software 
                  and Applications Conference (COMPSAC), 
                  October 8-12, 2001},
  Pages =        {357--362},
  Year =         2001
}

@InProceedings{Bottaci02,
  author =       "Leonardo Bottaci",
  title =        "Instrumenting Programs With Flag Variables For Test
                 Data Search By Genetic Algorithms",
  booktitle =    "GECCO 2002: Proceedings of the Genetic and Evolutionary
                 Computation Conference",
  year =         "2002",
  pages =        "1337--1342",
  address = 	 "New York",
  month	 = 	 "9-13 July",
  publisher =    "Morgan Kaufmann Publishers",
  isbn	 = 	 "1-55860-878-8",
  notes	 = 	 "GECCO-2002. 
		  A joint meeting of the eleventh International Conference on
		  Genetic Algorithms (ICGA-2002) and the seventh Annual Genetic
		  Programming Conference (GP-2002)"
}

@InProceedings{Bourdonov-etal01,
  Author =	 {Igor B. Bourdonov and Alexey V. Demakov and
                  Andrew A. Jarov and Alexander S. Kossatchev and
                  Victor V. Kuliamin and Alexander K. Petrenko and
                  Sergey V. Zelenov},
  Title =	 {Java Specification Extension for Automated Test
                  Development},
  BookTitle =    {PSI '02: 4th International Andrei Ershov Memorial 
                  Conference on Perspectives of System Informatics,
                  Akademgorodok, Novosibirsk, Russia, July 2--6},
  Year =         {2001},
  Pages =        {301--307},
}

@InProceedings{Boyapati-etal02,
   Author =    {C. Boyapati and S. Khurshid and D. Marinov},
   Title =     {Korat: Automated testing based on {Java} predicates},
   Booktitle = {Proceedings of the ACM SIGSOFT International
	        Symposium on Software Testing and Analysis,
                Roma, Italy},
   Pages =     {123--133},
   Month =     {July},
   Year =      {2002}
}

@InProceedings{Bouquet-etal05b,
  author =       {Boutquet etal},
  title =        {JML-Testing-Tools: A Symbolic Animator for JML
                  Specifications Using CLP},
  booktitle =    {Tools and Algorithms for Construction and Analysis 
                  of Systems},
  Series =       LNCS,
  Volume =       3440,
  pages =        {551--556},
  Publisher =	 {Springer-Verlag},
  Year =         {2005}
}

@InProceedings{Briand-Labiche-Sowka06,
  Aauthor =      {Lionel C. Briand and Yvan Labiche 
                  and Michal M. S\'{o}wka},
  Title =        {Automated, contract-based user testing of 
                  commercial-off-the-shelf components},
  BookTitle =     {ICSE '06: Proceeding of the 28th international
                  conference on Software engineering},
  Year =         {2006},
  Pages =        {92--101},
  Location =     {Shanghai, China},
  Publisher =    {ACM Press},
  Address =      {New York, NY, USA},
 }

@InProceedings{Buy-Orso-Pezze00,
   Key =       {Buy \& Orso \& Pezze},
   Author =    {Ugo Buy and Alessandro Orso and Mauro Pezze},
   Title =     {Automated Testing of Classes},
   Booktitle = {Proceedings of the ACM SIGSOFT International
	        Symposium on Software Testing and Analysis,
                Portland, Oregon},
   Pages =     {39--48},
   Month =     {July},
   Year =      {2000}
}

@InProceedings{Cheon07,
   Key =       {Cheon},
   Author =    {Yoonsik Cheon},
   Title =     {Automated Random Testing to Detect Specification-Code
                Inconsistencies},
   Booktitle = {Proceedings of the 2007 International Conference 
                on Software Engineering Theory and Practice, 
                July 9-12, 2007, Orlando, Florida, U.S.A},
   Pages =     {112--119},
   Month =     Jul,
   Year =      2007,
}

@TechReport{Cheon07a,
  Key =		 {Cheon},
  Author =	 {Yoonsik Cheon},
  Title =	 {Automated Random Testing to Detect Specification-Code
                  Inconsistencies},
  Institution =	 {Department of Computer Science, 
                  The University of Texas at El Paso},
  Month =	 Feb,
  Year =	 2007,
  Number =	 {07-07},
  Address =	 {500 West University Ave., El Paso, TX, 79968},
  Note =         {To appear in \emph{SETP 2007, Orlando FL, July 9-12, 2007}},
  URL =          {http://www.cs.utep.edu/~cheon/techreport/tr07-07.pdf}
}

@TechReport{Cheon-Kim05,
  Key =		 "Cheon \& Kim",
  Author =	 "Yoonsik Cheon and Myoung Kim",
  Title =	 "A Fitness Function for Modular Evolutionary Testing
                  of Object-Oriented Programs",
  Institution =	 "Department of Computer Science, 
                  The University of Texas at El Paso",
  Month =	 Oct,
  Year =	 2005,
  Number =	 "05-35",
  URL =          "http://www.cs.utep.edu/~cheon/techreport/tr05-35.pdf"
}

@InProceedings{Cheon-Rubio07,
  Key =		 {Cheon \& Rubio-Medrano},
  Author =	 {Yoonsik Cheon and Carlos E. Rubio-Medrano},
  Title =	 {Random Test Data Generation for Java Classes Annotated
                  with {JML} Specifications},
  Booktitle =	 {Proceedings of the 2007 International Conference
                  on Software Engineering Research and Practice,
                  Volume II, June 25--28, 2007, Las Vegas, Nevada},
  Pages =        {385--392},
  Month =	 Jun,
  Year =	 2007,
  Publisher =    {CSREA Press},
  URL =          {http://www.cs.utep.edu/~cheon/techreport/tr07-11.pdf}
}

@InProceedings{Coppit-Haddox05,
  Author =	 {David Coppit and Jennifer M. Haddox-Schatz},
  Title =	 {On the Use of Specification-Based Assertions as 
                  Test Oracles},
  BookTitle =    {Proceedings of the 29th Annual IEEE/NASA
                  Software Engineering Workshop},
  Month =        Apr,
  Pages =        {305--314},
  Year =         2005
}

@Article{Csallner-Smaragdakis04,
  Author    = {Christoph Csallner and Yannis Smaragdakis},
  Title     = {{JCrasher}: an automatic robustness tester for {Java}},
  Journal   = {Software---Practice and Experience},
  Volume    = {34},
  Number    = {11},
  Year      = {2004},
  Month     = Sep,
  Pages     = {1025--1050}
}

@InProceedings{Edvardsson99,
   author = {Jon Edvardsson},
   title = {A Survey on Automatic Test Data Generation},
   booktitle = {Proceedings of the Second Conference on Computer 
                Science and Engineering in Kinkoping, ECSEL},
   pages = {21--28},
   address = {Kinkoping, Sweden},
   month = Oct,
   year = {1999}
}

@InProceedings{Godefroid-Klarlund-Sen05,
  author    = {Patrice Godefroid and Nils Klarlund and Koushik Sen},
  title     = {{DART}: Directed Automated Random Resting},
  booktitle = {Proceedings of the ACM SIGPLAN 2005 Conference on Programming
               Language Design and Implementation, Chicago, IL, USA, June
               12-15, 2005},
  year      = {2005},
  pages     = {213-223},
  url       = {http://doi.acm.org/10.1145/1065010.1065036}
}

@Unpublished{Grob-Mayer02,
  Author =	 {Hans-Gerhard Grob and Nikolas Mayer},
  Title =	 {Evolutionary Testing in Component-Based
                  Real-Time System Construction},
  Year =         {2002}
}

@InProceedings{Gross-Jones-Eyres99,
  Author =	 {H.-G. Gross and B.F. Jones and D.E. Eyres},
  Title =	 {Evolutionary Algorithms for the verification 
                  of execution time bounds for Real-Time Software},
  BookTitle =    {Proceedings of the 1994 conference of the Centre 
                  for Advanced Studies on Collaborative research},
  Address =      {IEE Workshop on applicable modelling, verification
                  and analysis techniques, London, UK, January 1999},
  Publisher =    {IEE Informatics},
  Year =         {1999}
}

@InProceedings{Gu-etal94,
  Author =	 {Dechang Gu and Yin Zhong and Sarwar Ali},
  Title =	 {On testing of classes in object-oriented programs},
  BookTitle =    {Proceedings of the 1994 conference of the Centre 
                  for Advanced Studies on Collaborative research},
  Address =      {Toronto, Ontario, Canada},
  Year =         {1994}
}

@InProceedings{Gupta-Mathur-Soffa00,
   Author =    {N. Gupta and A. Mathur and M. L. Soffa},
   Title =     {Generating test data for branch coverage},
   Booktitle = {Proceedings of 15th IEEE International Conference on
                Automated Software Engineering, Grenoble, 
                France},
   Month =     Sep,
   Pages =     {219--228},
   Year =      {2000}
}

@InProceedings{Harder-Mellen-Ernst03,
   author = {Michael Harder and Jeff Mellen and Michael D. Ernst},
   title = {Improving test suites via operational abstraction},
   booktitle = {ICSE'03, Proceedings of the 25th International Conference
	on Software Engineering},
   pages = {60--71},
   address = {Portland, Oregon},
   month = {May~6--8,},
   year = {2003}
}

@inproceedings{Harman07,
  author = {Mark Harman},
  title = {Automated Test Data Generation using Search Based Software
  Engineering},
  booktitle = {AST '07: Proceedings of the Second International
  Workshop on Automation of Software Test},
  year = {2007},
  isbn = {0-7695-2971-2},
  pages = {2},
  doi = {http://dx.doi.org/10.1109/AST.2007.4},
  publisher = {IEEE Computer Society},
  address = {Washington, DC, USA},
  }

@article{Harman-Jones01,
  author    = {Mark Harman and Bryan F. Jones},
  title     = {Search-based software engineering.},
  journal   = {Information {\&} Software Technology},
  volume    = {43},
  number    = {14},
  year      = {2001},
  pages     = {833-839},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@InProceedings{Harman-etal02,
  author =       "Mark Harman and Lin Hu and Robert Hierons and
                 Andr{\'e} Baresel and Harmen Sthamer",
  title =        "Improving Evolutionary Testing By Flag Removal",
  booktitle =    "GECCO 2002: Proceedings of the Genetic and Evolutionary
                 Computation Conference",
  year =         "2002",
  pages =        "1359--1366",
  address = 	 "New York",
  month	 = 	 "9-13 July",
  publisher =    "Morgan Kaufmann Publishers",
  isbn	 = 	 "1-55860-878-8",
  notes	 = 	 "GECCO-2002. 
		  A joint meeting of the eleventh International Conference on
		  Genetic Algorithms (ICGA-2002) and the seventh Annual Genetic
		  Programming Conference (GP-2002)

		  Nominated for best at GECCO award",
}

@Book{Holland75,
  author =	 "J. H. Holland",
  title =	 "Adaptation in Natural and Artificial Systems",
  publisher =	 "University of Michigan Press",
  year =	 "1975"
}

@Article{Jones-Eyres-Sthamer98,
  Key =		 {Jones \& Eyres \& Sthamer},
  Author =	 {B. F. Jones and D. E. Eyres and H. H. Sthamer},
  Title =	 {Strategy for using Genetic Algorithms 
                  to Automate Branch and Fault-based Testing},
  Journal =	 {The Computer Journal},
  Volume =	 41,
  Number =	 2,
  Month =        Feb,
  Year =	 1998,
  Pages =	 {98--107}
}

@Article{Jones-Sthamer-Eyres96,
  Key =		 {Jones \& Sthamer \& Eyres},
  Author =	 {B. F. Jones and H. H. Sthamer and D. E. Eyres},
  Title =	 {Automatic structural testing using genetic algorithms},
  Journal =	 {Software Engineering Journal},
  Volume =	 11,
  Number =	 5,
  Month =        Sep,
  Year =	 1996,
  Pages =	 {299-306}
}

@InProceedings{Jung-etal07,
  Key =		 {Jung \& Rubio-Medrano \& Wong \& Cheon},
  Author =	 {Hyotaeg Jung and Carlos E. Rubio-Medrano and Eric Wong
                  and Yoonsik Cheon},
  Title =	 {Architectural Assertions: Checking Architectural
                  Constraints at Run-Time},
  Booktitle =	 {The 6th International Workshop on System and 
                  Software Architectures},
  Pages =        {604--607},
  Month =	 Jun,
  Year =	 2007,
  Note =         {Published in Proceedings of SERP 2007,
                  Volume II, June 25--28, 2007, Las Vegas, Nevada,
                  CSREA Press},
  URL =          {http://www.cs.utep.edu/~cheon/techreport/tr07-18.pdf}
}

@Article{Korel90,
  Key =		 {Korel},
  Author =	 {B. Korel},
  Title =	 {Automated Software Test Data Generation},
  Journal =	 IEEETSE,
  Year =	 1990,
  Volume =	 16,
  Number =	 8,
  Month =	 Aug,
  Pages =	 {870--879}
}

@article{Kirkpatrick-Gelatt-Vecchi83,
  author =       "S. Kirkpatrick and C. D. Gelatt and M. P. Vecchi",
  title =        "Optimization by Simulated Annealing",
  journal =      "Science",
  volume =       4598,
  Number =       13,
  Month =        May,
  pages =        "671--680",
  year =         "1983",
  url =          "citeseer.ist.psu.edu/kirkpatrick83optimization.html" }
}

@Book{McGregor-Sykes01,
  Key =	         {McGregor \& Sykes},
  Author =	 {John D. McGregor and David A. Sykes},
  Title =	 {A Practical Guide to Testing Object-Oriented Software},
  Publisher =	 {Addison-Wesley},
  Year =	 {2001}
}

@InProceedings{McMinn-Holcombe03,
   Author =    {P. McMinn and M. Holcombe},
   Title =     {The State Problem for Evolutionary Testing},
   Booktitle = {Proceedings of the Genetic and Evolutionary Computation
                Conference (GECCO), Chicago, IL, USA, July 12-16, 2003},
   Series =    {Lecture Notes in Computer Science},
   Volume =    2724,
   Publisher = {Springer-Verlag},
   Pages =     {2488--2500},
   Year =      {2003}
}

@InProceedings{McMinn-Holcombe04,
   Author =    {P. McMinn and M. Holcombe},
   Title =     {Hybridizing Evolutionary Testing with 
                the Chaining Approach},
   Booktitle = {Proceedings of the Genetic and Evolutionary Computation
                Conference (GECCO), Washington DC, USA, June 25-29, 2005},
   Pages =     {1013--1020},
   Year =      {2004}
}

@InProceedings{McMinn-Holcombe05,
   Author =    {P. McMinn, M. Holcombe},
   Title =     {Evolutionary Testing of State-Based Programs},
   Booktitle = {Proceedings of the Genetic and Evolutionary Computation
                Conference (GECCO), Seattle, WA, USA, June 26-30, 2004},
   Series =    {Lecture Notes in Computer Science},
   Volume =    3103,
   Publisher = {Springer-Verlag},
   Pages =     {1363--1374},
   Year =      {2005}
}

@Article{McMinn04,
  Key =		 {McMinn},
  Author =	 {Phill McMinn},
  Title =	 {Search-based Software Test Data Generation: A Survey},
  Journal =	 {Journal of Software Testing, Verification and Reliability},
  Year =	 2004,
  Volume =	 14,
  Number =	 2,
  Month =        Jun,
  Pages =	 {105--156}
}

@Book{McNeil-Thro94,
  Key =	         {McNeil \& Thro},
  Author =	 {F. Martin McNeill and Ellen Thro},
  Title =	 {Fuzzy Logic: A Practical Approach},
  Publisher =	 {Morgan Kaufmann},
  Year =	 {1994}
}

@article{Memon-etal00,
 author = {Atif M. Memon and Martha E. Pollack and Mary Lou Soffa},
 title = {Automated test oracles for GUIs},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {25},
 number = {6},
 year = {2000},
 issn = {0163-5948},
 pages = {30--39},
 doi = {http://doi.acm.org/10.1145/357474.355050},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@InProceedings{Memon-Banerhee-Nagarajan03,
  Author = {A. Memon and I. Banerjee and A. Nagarajan},
  Title = {What test oracle should I use for effective GUI testing?},
  BookTitle = {Automated Software Engineering, 2003, Proceedings. 
               18th IEEE International Conference on},
  year = {2003},
  pages = {164-173}
}

@InProceedings{Meyer-etal07,
  Key =	         {Meyer etal},
  Author =	 {Bertrand Meyer and Ilinca Ciupa and Andreas Leitner
                  and Lisa Liu},
  Title =	 {Automatic Testing of Object-Oriented Software},
  BookTitle =    {Proceedings of SOFSEM 2007,
                  Current Trends in Theory and Practice of Computer
                  Science, Harrachov, Czech Republic},
  Year =         {2007},
  Editor =       {Jan van Leeuwen},
  Series =       {Lecture Notes in Computer Science},
  Publisher =    {Springer-Verlag}
}


@Article{Michael-McGraw-Schatz01,
  Key =		 {Michael \& McGraw \& Schatz},
  Author =	 {Christoph C. Michael and Gary McGraw and Michael A. Chatz},
  Title =	 {Generating software test data by evolution},
  Journal =	 IEEETSE,
  Year =	 2001,
  Volume =	 27,
  Number =	 12,
  Month =	 Dec,
  Pages =	 {1085--1110},
}

@InProceedings{Mueller-Wegener98,
  author =       "F. Mueller and J. Wegener",
  title =        "A Comparison of Static Analysis and Evolutionary 
                  Testing for the Verification of Timing Constraints",
  booktitle =     "{IEEE} Real Time Technology and Applications Symposium",
  pages =         "144--154",
  year =          "1998",
  url =           "citeseer.ist.psu.edu/mueller98comparison.html" 
}

@Article{Pargas-etal99,
  Key =		 {Pargas \& Harrold \& Peck},
  Author =	 {R. Pargas and M. J. Harrold and R. Peck},
  Title =	 {Test-data generation using genetic algorithms},
  Journal =	 {Journal of Software Testing, Verification and Reliability},
  Year =	 1999,
  Volume =	 9,
  Number =	 3,
  Month =        Sep,
  Pages =	 {263--282}
}

@InProceedings{Oriet05,
  Author =	 {C. Oriet},
  Title =	 {Jartege: A Tool for Random Generation of Unit Tests
                  for {Java} Classes},
  BookTitle =    {The Second International Workshop on Software Quality,
                  Erhurt, Germany},
  Series =       LNCS,
  Volume =       3712,
  Pages =        {242--256},
  Publisher =	 {Springer-Verlag},
  Year =         {2005}
}

@InProceedings{Pacheco-Ernst05,
  key =		 {Pacheco \& Ernst},
  author =	 {Carlos Pacheco and Michael D. Ernst},
  title =	 {Eclat: Automatic Generation and Classification 
                  of Test Inputs},
  booktitle =	 {ECOOP 2005 --- European Conference on
                  Object-Oriented Programming},
  pages =	 {504--527},
  year =	 2005,
  editor =	 {A.P. Black},
  volume =	 3586,
  series =	 LNCS,
  address =	 {Berlin},
  publisher =	 {Springer-Verlag},
}

@InProceedings{Puschner-Nossal98,
  author =       {P. Puschner and R. Nossal},
  title =        {Testing the results of static worst-case
                  execution-time analysis},
  booktitle =    {Proceedings of The 19th Real-Time Systems Symposium
                  (RTSS '98), Madrid, Spain, 2-4 December, 1998},
  pages =        {134 - 143},
  year =         {1998}
}

@Unpublished{Pei-etal94,
  Author =	 {Min Pei and Erik D. Goodman and Zongyi Gao and
                  Kaixiang Zhong},
  Title =	 {Automated Software Test Data Generation Using 
                  A Genetic Algorithm},
  Year =         1994
}

@InProceedings{Saff-Ernst03,
   author = {David Saff and Michael D. Ernst},
   title = {Reducing wasted development time via continuous testing},
   booktitle = {Fourteenth International Symposium on Software Reliability
	Engineering},
   pages = {281--292},
   address = {Denver, CO},
   month = {November~17--20,},
   year = {2003}
}

@InProceedings{Saff-Ernst04,
   author = {David Saff and Michael D. Ernst},
   title = {Continuous testing in {Eclipse}},
   booktitle = {2nd Eclipse Technology Exchange Workshop (eTX)},
   address = {Barcelona, Spain},
   month = {March~30,},
   year = {2004}
}

@InProceedings{Saff-Ernst04b,
   Author =    {David Saff and Michael D. Ernst},
   Title =     {An experimental evaluation of continuous testing during
	        development},
   BookTitle = {Proceedings of the ACM SIGSOFT International Symposium on
                Software Testing and Analysis, Boston, MA},
   Pages =     {76--85},
   Month =     {July},
   Year =      {2004}
}

@Article{Schultz-Grefenstette-Jong93,
  Key =		 {Schultz \& Grefenstette \& Jong},
  Author =	 {A.C. Schultz and J.J. Grefenstette and K.A. De Jong},
  Title =	 {Test and evaluation by genetic algorithms},
  Journal =	 {IEEE Expert},
  Month =        Oct,
  Year =	 1993,
  Volume =	 8,
  Number =	 5,
  Pages =	 {9--14}
}

@Unpublished{Sekaran,
  Author =	 {K. Chandra Sekaran},
  Title =	 {A Genetic Algorithm Approach to Generate Test Cases from
                  UML-OO Model}
}

@Article{Srinivas-Patnaik94,
  Key =		 {Srinivas \& Patnaik},
  Author =	 {M. Srinivas and L. M. Patnaik},
  Title =	 {Genetic Algorithms: A Survey},
  Journal =	 {IEEE Computer},
  Month =        Jun,
  Year =	 1994,
  Volume =	 27,
  Number =	 6,
  Pages =	 {17--26}
}

@Article{Stacy-MacMillan95,
  Key =		 {Stacy \& MacMillan},
  Author =	 {Webb Stacy and Jean MacMillan},
  Title =	 {Cognitive Bias in Software Engineering},
  Journal =	 {Communications of the ACM},
  Month =        Jun,
  Year =	 1995,
  Volume =	 38,
  Number =	 6,
  Pages =	 {57--63}
}

@PhDThesis{Sthamer95,
  Key =		 "Sthamer",
  Author =	 "Harmen-Hinrich Sthamer",
  Title =	 "The Automatic Generation of Software Test Data Using
                  Genetic Algorithms",
  Month =	 Nov,
  Year =	 1995,
  School =	 "University of Glamorgan"
}

@InProceedings{Syswerda89,
  Key =		 {Syswerda},
  Author =       {Gilbert Syswerda},
  Title =        {Uniform Crossover in Genetic Algorithms},
  Editor =       {J.D. Schaffer},
  BookTitle =    {Proceedings of the Third International Conference 
                  on Genetic Algorithms},
  Year =         {1989},
  Pages =        {2--9},
  Publisher =    {Morgan Kaufmann Publishers Inc.}
 }

@InProceedings{Tonella04,
   Author =    {Paolo Tonella},
   Title =     {Evolutionary Testing of Classes},
   BookTitle = {Proceedings of the ACM SIGSOFT International Symposium on
                Software Testing and Analysis, Boston, MA},
   Pages =     {119--128},
   Month =     Jul,
   Year =      {2004}
}

@Unpublished{Tracey-etalXX,
  Author =	 {Nigel Tracey and John Clark and John McDermid
                  and Keith Mander},
  Title =	 {A Search Based Automated Test-Data Generation
                  Framework for Safety-Critical Systems}
}

@article{Tracey-etal00,
  author    = {Nigel Tracey and John Clark and Keith Mander and
               John A. McDermid},
  title     = {Automated test-data generation for exception conditions.},
  journal   = {Software---Practice and Experience},
  volume    = {30},
  number    = {1},
  year      = {2000},
  pages     = {61--79}
}

@InProceedings{Tracey-Clark-Mander98a,
   Key =       {Tracey \& Clark \& Mander},
   Author =    {N. Tracey and J. Clark and K. Mander},
   Title =     {The way forward for unifying dynamic test case generation: 
                The optimisation-based approach},
   Booktitle = {IFIP International Workshop on Dependable Computing
                and Its Applications (DCIA 98), January 12 - 14, 
                1998, Johannesburg, South Africa},
   Year =      {1998}
}

@article{Traon-Baudry-Jezequel06,
  author = {Yves Le Traon and Benoit Baudry and Jean-Marc Jezequel},
  title = {Design by Contract to Improve Software Vigilance},
  journal = {IEEE Transactions on Software Engineering},
  volume = {32},
  number = {8},
  year = {2006},
  issn = {0098-5589},
  pages = {571-586},
  doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.79},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
}

@InProceedings{Wappler-Lammermann05,
   author = {Stefan Wappler and Frank Lammermann},
   title = {Using evolutionary algorithms for the unit testing 
            of object-oriented software},
   booktitle = {{GECCO 2005}: Proceedings of the 2005 conference 
               on Genetic and evolutionary computation},
   year = {2005},
   pages = {1053--1060},
   address = {Washington DC, USA},
   publisher = {ACM Press},
   month = 	{25-29 June},
}

@Unpublished{Wegener01,
  Author =	 {Joachim Wegener},
  Title =	 {Overview of Evolutionary Testing},
  Year =         {2001}
}

@article{Wegener-Baresel-Sthamer01,
  author    = {Joachim Wegener and Andr{\'e} Baresel and
               Harmen Sthamer},
  title     = {Evolutionary test environment for automatic structural
               testing.},
  journal   = {Information {\&} Software Technology},
  volume    = {43},
  number    = {14},
  year      = {2001},
  pages     = {841-854},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Wegener-Grochtmann98,
  author    = {Joachim Wegener and Matthias Grochtmann},
  title     = {Verifying Timing Constraints of Real-Time Systems by Means
               of Evolutionary Testing},
  journal   = {Real-Time Systems},
  volume    = {15},
  number    = {3},
  year      = {1998},
  pages     = {275-298},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Unpublished{Wegener-Grochtmann-Jone97,
  Author =	 {Joachim Wegener and Matthias Grochtmann 
                  and Bryan Jones},
  Title =	 {Testing Temporal Correctness of Real-Time Systems
                  by Means of Genetic Algorithms},
  Year =         {1997},
  Note =         {Quality Week 97}
}

@Article{Wegener-etal97,
  Key =          {Wegener etal},
  Author =       {J. Wegener and H. Sthamer and B. F. Jones and D. E. Eyres},
  Title =        {Testing real-time systems using genetic algorithms},
  Journal =      {Software Quality Journal},
  Volume =       6,
  Number =       2,
  Pages =        {127--135},
  Month =        Jun,
  Year =         {1997}
}

@Article{Weyuker-Goradia-Singh94,
  key =		 {Weyuker \& Goradia \& Singh},
  author =	 {Elaine Weyuker and Tarak Goradia and Ashutosh Singh},
  title =	 {Automatically Generating Test Data from a Boolean
                  Specification},
  journal =	 IEEETSE,
  year =	 1994,
  volume =	 20,
  number =	 5,
  pages =	 {353--363},
  month =	 May
}

@article{Whitley01,
  author    = {L. Darrell Whitley},
  title     = {An overview of evolutionary algorithms: practical issues
               and common pitfalls.},
  journal   = {Information {\&} Software Technology},
  volume    = {43},
  number    = {14},
  year      = {2001},
  pages     = {817-831},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Article{Whitley94,
  Key =          {Whitley},
  Author =       {Darrell Whitley},
  Title =        {A Genetic Algorithm Tutorial},
  Journal =      {Statistics and Computing},
  Volume =       4,
  Pages =        {65--85},
  Year =         {1994}
}

@InProceedings{Xie-etal05,
  Key =	         {Xie et. al},
  Author =	 {Tao Xie and Jianjun Zhao and Darko Marinov
                  and David Notkin},
  Title =	 {Automated Test Generation for AspectJ Programs},
  BookTitle =    {AOSD 2005 Workshop on Testing Aspect-Oriented 
                  Programs (WTAOP'05), Chicago, USA, March 2005},
  Year =         2005
}

@InProceedings{Xie-Notkin04,
  Key =	         {Xie \& Notkin},
  Author =	 {Tao Xie and D. Notkin},
  Title =	 {Checking inside the black box: regression testing
                  based on value spectra differences},
  BookTitle =    {The 20th IEEE International Conference on
                  Software Maintenance, September 11-14, 2004},
  Pages =        {28--37},
  Year =         2004
}

@InProceedings{Zhang-Xu-Wang04,
  Key =	         {Zhang \& Xu \& Wang},
  Author =	 {Jian Zhang and Chen Xu and Xiaoliang Wang},
  Title =	 {Path-Oriented Test Data Generation Using Symbolic
                  Execution and Constraint Solving Techniques},
  BookTitle =    {Proceedings of the Second International Conference on
                  Software Engineering and Formal Methods,
                  Beijing, China, September 26-30, 2004},
  Pages =        {64--71},
  Year =         2004
}

@InProceedings{Zhao02,
  Key =	         {Zhao},
  Author =	 {Jianjun Zhao},
  Title =	 {Tool Support for Unit Testing of Aspect-Oriented Software},
  BookTitle =    {OOPSLA'2002 Workshop on Tools for 
                  Aspect-Oriented Software Development,
                  Seattle, WA, USA, November 4, 2002},
  Pages =        {242--250},
  Year =         2002
}

@InProceedings{Zhao03,
  Key =	         {Zhao},
  Author =	 {Jianjun Zhao},
  Title =	 {Data-Flow-Based Unit Testing of Aspect-Oriented Programs},
  BookTitle =    {Proceedings of the 27th Annual IEEE International
                  Computer Software and Applications Conference
                  (COMPSAC 2003), Dallas, Texas, USA, November 3-6, 2003},
  Pages =        {188--197},
  Year =         2003
}