%% AUTHOR A

@BOOK
(
  abadi-cardelli-objects,
  author	= {Mart\'{\i}n Abadi and Luca Cardelli},
  title		= {A Theory of Objects},
  publisher	= {Springer},
  address	= {Berlin},
  year		= 1996
)

@ARTICLE
(
  abramsky-compl-ll-tcs93,
  author	= {Abramsky, S.},
  title		= {Computational Interpretations of Linear Logic},
  journal	= {Theoretical Computer Science},
  volume	= 111,
  pages		= {3-57},
  year		= 1993
)

@INPROCEEDINGS
(
  abrial-steam-spec,
  author	= {Jean-Raymond Abrial},
  title		= {Steam-Boiler Control Specification Problem},
  editor	= {Jean-Raymond Abrial and Egon B\"{o}rger and Hans Langmaack},
  booktitle	= {Formal Methods for Industrial Applications:
		   Specifying and Programming the Steam Boiler Control},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= 1165,
  month		= {October},
  year		= 1996
)

@ARTICLE
(
  abrusci,
  author	= {Abrusci, M.},
  title		= {A Comparison between {Lambek} Syntactic Calculi
		   and Intuitionistic Linear Logic},
  journal	= {Zeitschrift f\"{u}r Mathematische Logik},
  volume	= 36,
  year		= 1990,
  pages		= {11-15}
)

@TECHREPORT
(
  agrawal-tr,
  author	= {Hiralal Agrawal and Richard A. DeMillo and Bob Hathaway	
		   and William Hsu and Wynne Hsu and E. W. Krauser and
		   R. J. Martin and Aditya P. Mathur and Eugene Spafford},
  title		= {Design of Mutant Operators for the {C} Programming Language},
  number	= {SERC-TR-41-P},
  institution	= {Department of Computer Science, Purdue University},
  address	= {Lafayette, Indiana},
  edition	= {1.04},
  month		= {April},
  year		= 2006
)

@BOOK
(
  algol68-report,
  editor	= {van Wijngaarden, A. and Mailloux, B. J. and
		   Peck, J. E. L. and Koster, C. H. A. and
		   Sintzoff, M. and Lindsey, C. H. and
		   Meertens, L. G. L. T. and Fisker, R. G.},
  title		= {Revised Report on the Algorithmic Language {Algol} 68},
  publisher	= {Springer},
  address	= {Berlin},
  year		= 1976
)

@ARTICLE
(
  life-jlp,
  author	= {Ait-Kaci, Hassan and Podelski, Andreas},
  title		= {Towards a Meaning of {Life}},
  journal	= {Journal of Logic Programming},
  month		= {July},
  year		= 1993,
  volume	= 16,
  number	= {3/4},
  pages		= {195}
)

@InProceedings{
  Allen94ICSE,
   author = "Robert Allen and David Garlan",
   title = "Formalizing Architectural Connection",
   key = "Allen",
   booktitle = "Proceedings of the Sixteenth International
   Conference on Software Engineering",
   year = 1994, 
   address = "Sorrento, Italy",
   pages = "71-80",
   month = "May"
}


@BOOK
(
  allison,
  author	= {Allison, Lloyd},
  title		= {A Practical Introduction to Denotational Semantics},
  publisher	= {Cambridge University Press},
  address	= {Cambridge},
  series	= {Cambridge Computer Science Texts},
  number	= 23,
  year		= 1986
)

@MASTERSTHESIS
(
  xun-an-msc,
  author        = {An, Xun},
  title         = {Steam-Boiler Control System -- Simulation and
		   Testing using Log File Analysis},
  school        = {Department of Computer Science, University of Western
                   Ontario},
  address       = {London, Ontario, Canada},
  month         = {September},
  year          = 2000
)

@BOOK
(
  anderson-belnap,
  author	= {Anderson, Alan R. and Belnap, Nuel D.},
  title		= {Entailment:  The Logic of Relevance and Necessity},
  publisher	= {Princeton University Press},
  address	= {Princeton, N.J.},
  year		= 1975
)

@TECHREPORT
(
  andrews-msc,
  author	= {Andrews, James H.},
  title		= {An Environment Theory
		   with Precomplete Negation over Pairs},
  institution	= {University of British Columbia,
		   Department of Computer Science},
  address	= {Vancouver, B. C.},
  number	= {86-23},
  year		= 1986
)

@BOOK
(
  trilogy,
  author	= {Andrews, James H.},
  title		= {Trilogy Users' Manual},
  publisher	= {Complete Logic Systems, Inc.},
  address	= {Vancouver, B.C., Canada },
  year		= 1987
)


@INPROCEEDINGS
(
  andrews-mfcs,
  author	= {Andrews, James H.},
  title		= {Proof-Theoretic Characterisations
		   of Logic Programming},
  booktitle	= {%Proceedings of the 14th International Symposium on the
		   Mathematical Foundations of Computer Science},
  address	= {Por\c{a}bka-Kozubnik, Poland},
  publisher	= {Springer},
  series	= {Lecture Notes in Computer Science},
  volume	= {379},
  pages		= {145-154},
  year		= 1989
)

@TECHREPORT
(
  andrews-pftheo,
  author	= {Andrews, James H.},
  title		= {Proof-Theoretic Characterisations
		   of Logic Programming},
  institution	= {Laboratory for the Foundations of Computer Science,
		   University of Edinburgh},
  address	= {Edinburgh, Scotland},
  number	= {LFCS-89-77},
  month		= {May},
  year		= 1989
)

@TECHREPORT
(
  andrews-sp-lfcs,
  author	= {Andrews, James H.},
  title		= {The Logical Structure of Sequential {P}rolog},
  institution	= {Laboratory for the Foundations of Computer Science,
		   University of Edinburgh},
  address	= {Edinburgh, Scotland},
  number	= {LFCS-90-110},
  month		= {April},
  year		= 1990
)

@INPROCEEDINGS
(
  andrews-sp-naclp,
  author	= {Andrews, James H.},
  title		= {The Logical Structure of Sequential {P}rolog},
  booktitle	= {Proceedings of the 1990 North American Conference
		   on Logic Programming},
  address	= {Austin, Texas},
  month		= {October-November},
  publisher	= {MIT Press},
  pages		= {585-602},
  year		= 1990
)

@INPROCEEDINGS
(
  andrews-tuebingen,
  author	= {Andrews, James H.},
  title		= {Predicates as Parameters in Logic Programming:
		   A Set-Theoretic Basis},
  booktitle	= {Proceedings of Workshop on Extensions to
		   Logic Programming},
  address	= {T\"ubingen, Germany},
  month		= {December},
  publisher	= {Springer},
  series	= {Lecture Notes in Artificial Intelligence},
  volume	= {475},
  year		= 1989,
  pages		= {31-47}
)

@PHDTHESIS
(
  andrews-phd,
  author	= {Andrews, James H.},
  title		= {Logic Programming:  Operational Semantics
		   and Proof Theory},
  school	= {University of Edinburgh, Department of Computer Science},
  month		= {March},
  year		= 1991
)

@BOOK
(
  andrews-phd-dd,
  author	= {Andrews, James H.},
  title		= {Logic Programming:  Operational Semantics
		   and Proof Theory},
  school	= {University of Edinburgh, Department of Computer Science},
  month		= {March},
  year		= 1991,
  publisher	= {Cambridge University Press},
  series	= {Distinguished Dissertation Series}
)

@TECHREPORT
(
  andrews-kc-tr,
  author	= {Andrews, James H.},
  title		= {Kernel/Congruence Semantics:  A Homogeneous Treatment
		   of some Asymmetry Problems in the Model Theory
		   of Logic Programming},
  institution	= {Centre for Systems Science,
		   Simon Fraser University},
  address	= {Burnaby, British Columbia, Canada},
  number	= {92-12},
  month		= {October},
  year		= 1992
)

@INPROCEEDINGS
(
  andrews-lnaf-ilps,
  author	= {Andrews, James H.},
  title		= {A Logical Semantics for
		   Depth-First {Prolog} with Ground Negation},
  booktitle	= {Proceedings of the International Logic Programming
		   Symposium},
  address	= {Vancouver},
  publisher	= {MIT Press},
  month		= {October},
  year		= 1993
)

@TECHREPORT
(
  andrews-lnaf-tr,
  author	= {Andrews, James H.},
  title		= {A Logical Semantics for
		   Depth-First {Prolog} with Ground Negation},
  institution	= {Centre for Systems Science,
		   Simon Fraser University},
  address	= {Burnaby, British Columbia, Canada},
  number	= {93-10},
  year		= 1993,
)

@ARTICLE
(
  andrews-lnaf-tcs,
  author	= {Andrews, James H.},
  title		= {A Logical Semantics for
		   Depth-First {Prolog} with Ground Negation},
  journal	= {Theoretical Computer Science},
  volume	= 184,
  number	= {1-2},
  pages		= {105-143},
  month		= {September},
  year		= 1997
)

@INPROCEEDINGS
(
  andrews-sat-esop94,
  author	= {Andrews, James H.},
  title		= {Foundational Issues in Implementing
		   Constraint Logic Programming Languages},
  booktitle	= {Proceedings of the 5th European Symposium on
		   Programming Languages},
  address	= {Edinburgh, Scotland},
  publisher	= {Springer},
  series	= {Lecture Notes in Computer Science},
  volume	= {788},
  pages		= {74-88},
  year		= 1994
)

@UNPUBLISHED
(
  jha-eq-ineq,
  author	= {Andrews, James H.},
  title		= {Characterising Logic Programming
		   with Equality and Inequality},
  institution	= {University of Edinburgh,
		   Department of Computer Science},
  note		= {Unpublished report},
  year		= 1988
)

@TECHREPORT
(
  adp-sdgrl,
  author	= {Andrews, James and Dahl, Ver\'onica and Popowich, Fred},
  title		= {A Relevance Logic Characterization of
		   Static Discontinuity Grammars},
  institution	= {School of Computing Science, Simon Fraser University},
  address	= {Burnaby, BC, Canada},
  number	= {CSS/LCCR TR91-12},
  month		= {December},
  year		= 1991
)

@INPROCEEDINGS
(
  andrews-cut-ilps95,
  author	= {Andrews, James H.},
  title		= {A Paralogical Semantics for the {Prolog} Cut},
  booktitle	= {Proceedings of the International Logic Programming
		   Symposium},
  address	= {Portland},
  publisher	= {MIT Press},
  month		= {December},
  year		= 1995,
  pages		= {591-605}
)

@INPROCEEDINGS
(
  andrews-etal-forte97,
  author	= {Andrews, James H. and Day, Nancy and Joyce, Jeff},
  title		= {Using a Formal Description Technique to Model
		   Aspects of a Global Air Traffic Telecommunications Network},
  booktitle	= {Formal Description Techniques and Protocol Specification,
		   Testing and Verification: FORTE X / PSTV XVII},
  address	= {Osaka, Japan},
  publisher	= {Chapman and Hall},
  pages		= {417-432},
  month		= {November},
  year		= 1997,
)

@UNPUBLISHED
(
  my-web-statecharts-lambda,
  author	= {Andrews, James H.},
  title		= {Web Page for Higher Order Process-Algebraic Axiomatizations
		   of Statecharts Variants},
  note		= {{\tt http://www.csd.uwo.ca/faculty/andrews/\\ software/statecharts-lambda/}},
  month		= {March},
  year		= 1998
)

@TECHREPORT
(
  andrews-logfiles-tr,
  author	= {Andrews, James H.},
  title		= {Theory and Practice of Log File Analysis},
  institution	= {Department of Computer Science,
		   University of Western Ontario},
  number	= 524,
  month		= {May},
  year		= 1998
)

@UNPUBLISHED
(
  andrews-logfiles-fse98,
  author	= {Andrews, James H.},
  title		= {A Framework for Log File Analysis},
  note		= {Submitted to Foundations of Software Engineering, FSE'98.},
  year		= 1998
)

@INPROCEEDINGS
(
  andrews-logfiles-ase98,
  author	= {Andrews, James H.},
  title		= {Testing using Log File Analysis:  Tools, Methods and Issues},
  booktitle	= {Proceedings of the 1998 International Conference
		   on Automated Software Engineering (ASE'98)},
  address	= {Honolulu, Hawaii},
  pages		= {157-166},
  month		= {October},
  year		= 1998
)

@INPROCEEDINGS
(
  andrews-logfiles-ecomm,
  author	= {Andrews, James H.},
  title		= {Testing Using Log File Analysis: An Extended Example},
  booktitle	= {Electronic Commerce Technology Trends:
		   Challenges and Opportunities},
  publisher	= {Midrange Computing},
  note		= {Proceedings of the First International Workshop on
		   Technological Challenges of Electronic Commerce, Markham,
		   Ont., Canada, September 1998.},
  year		= 1999
)

@INPROCEEDINGS
(
  andrews-spreadsheet-uitp,
  author	= {Andrews, James H.},
  title		= {On the Spreadsheet Presentation of Proof Obligations},
  booktitle	= {Proceedings of the 1998 Workshop on User Interfaces
		   for Theorem Provers ({UITP})},
  address	= {Eindhoven, The Netherlands},
  pages		= {34-41},
  editor	= {Roland Backhouse},
  note		= {Computing Science Report 98-08,
		   Department of Mathematics and Computing Science,
		   Eindhoven University of Technology},
  month		= {July},
  year		= 1998
)

@TECHREPORT
(
  andrews-cut-tr,
  author	= {James H. Andrews},
  title		= {The Witness Properties and the Semantics of the
		   {Prolog} Cut},
  institution	= {Department of Computer Science,
		   University of Western Ontario},
  number	= 542,
  month		= {July},
  year		= 1999
)

@INPROCEEDINGS
(
  andrews-icse-2000,
  author	= {James H. Andrews and Yingjun Zhang},
  title		= "Broad-Spectrum Studies of Log File Analysis",
  booktitle	= {Proceedings of the 22nd International Conference on
		   Software Engineering (ICSE 2000)},
  address	= {Limerick, Ireland},
  pages		= {105-114},
  month		= {June},
  year		= 2000
)

@INPROCEEDINGS
(
  andrews-reflection-2001,
  author	= {James H. Andrews},
  title		= {Process-Algebraic Foundations of Aspect-Oriented
		  Programming},
  booktitle	= {Proceedings of the Third International Conference
		  on Metalevel Architectures and Separation of Crosscutting
		  Concerns (Reflection 2001)},
  address	= {Kyoto, Japan},
  month		= {September},
  year		= 2001,
  publisher	= {Springer},
  series	= {LNCS},
  volume	= 2192,
  pages		= {187-209}
)

@INPROCEEDINGS
(
  andrews-tphols2002,
  author	= {James H. Andrews},
  title		= {A Weakly-Typed Higher Order Logic with General
		   Lambda Terms and {Y} Combinator},
  booktitle	= {Proceedings, Works In Progress Track,
		   15th International Conference on Theorem Proving
		   in Higher Order Logics ({TPHOLs} '02)},
  address	= {Hampton Roads, Virginia},
  month		= {August},
  year		= 2002,
  pages		= {1-11},
  note		= {NASA Conference Publication CP-2002-211736.}
)

@INPROCEEDINGS
(
  andrews-fu-liu-ase2002,
  author	= {James H. Andrews and Rui Fu and Vicky D. Liu},
  title		= "Adding Value to Formal Test Oracles",
  booktitle	= {Proceedings of the 17th Annual International Conference on
		   Automated Software Engineering (ASE 2002)},
  address	= {Edinburgh, Scotland},
  pages		= {275-278},
  month		= {September},
  year		= 2002
)

@ARTICLE
(
  andrews-zhang-tse2003,
  author	= {James H. Andrews and Yingjun Zhang},
  title		= {General Test Result Checking with Log File Analysis},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 29,
  number	= 7,
  pages		= {634-648},
  month		= {July},
  year		= 2003
)

@TECHREPORT
(
  andrews-cutelim-tr,
  author	= {James H. Andrews},
  title		= {Cut Elimination for a Weakly Typed Higher Order Logic},
  number	= 611,
  institution	= {Department of Computer Science, University of
                   Western Ontario},
  month		= {December},
  year		= {2003}
)

@TECHREPORT
(
  andrews-sourceforge-tr,
  author	= {James H. Andrews},
  title		= {Coverage-Checked Random Testing of Data Structures:
		   The Sourceforge Case Study},
  institution	= {Department of Computer Science, University of Victoria},
  address	= {Victoria, BC, Canada},
  number	= {DCS-285-IR},
  month		= {April},
  year		= 2004
)

@INPROCEEDINGS
(
  andrews-woda2004,
  author	= {James H. Andrews},
  title		= {Deriving State-Based Test Oracles for Conformance Testing},
  booktitle	= {Proceedings of the Second International Workshop
		   on Dynamic Analysis (WODA 2004)},
  address	= {Edinburgh, Scotland},
  month		= {May},
  year		= 2004,
  pages		= {9-16}
)

@INPROCEEDINGS
(
  andrews-ase2004,
  author	= {James H. Andrews},
  title		= {A Case Study of Coverage-Checked Random Data
		   Structure Testing},
  booktitle	= {Proceedings of the 19th IEEE International
		   Conference on Automated Software Engineering
		   (ASE 2004)},
  address	= {Linz, Austria},
  month		= {September},
  year		= 2004,
  pages		= {316-319}
)

@INPROCEEDINGS
(
  andrews-briand-labiche-icse05,
  author	= {James H. Andrews and Lionel C. Briand and Yvan Labiche},
  title		= {Is Mutation an Appropriate Tool for Testing Experiments?},
  booktitle	= {Proceedings of the 27th International Conference
		   on Software Engineering (ICSE 2005)},
  address	= {St. Louis, Missouri},
  month		= {May},
  year		= 2005,
  note		= {402-411}
)

@TECHREPORT
(
  andrews-etal-rute-tr,
  author	= {James H. Andrews and Susmita Haldar and Yong Lei
		   and Chun Hang Felix Li},
  title		= {Randomized Unit Testing:  Tool Support and Best Practices},
  institution	= {Department of Computer Science, University of
		   Western Ontario},
  address	= {London, Ontario, Canada},
  number	= {663},
  month		= {January},
  year		= 2006
)

@INPROCEEDINGS
(
  andrews-etal-rute-rt,
  author        = {James H. Andrews and Susmita Haldar and Yong Lei
                   and Chun Hang Felix Li},
  title		= {Tool Support for Randomized Unit Testing},
  booktitle	= {Proceedings of the First International Workshop on
		   Randomized Testing (RT'06)},
  address	= {Portland, Maine},
  month		= {July},
  year		= 2006,
  pages		= {36-45}
)

@INPROCEEDINGS
(
  siami-mutation-2006,
  author        = {Akbar {Siami Namin} and James H. Andrews},
  title         = {Finding Sufficient Mutation Operators via Variable Reduction}
,
  booktitle     = {Mutation 2006},
  address       = {Raleigh, NC, USA},
  month         = {November},
  year          = 2006
)

@ARTICLE
(
  andrews-etal-tse2006,
  author	= {James H. Andrews and Lionel C. Briand and Yvan Labiche
		   and Akbar {Siami Namin}},
  title		= {Using Mutation Analysis for Assessing and Comparing
		   Testing Coverage Criteria},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 32,
  number	= 8,
  month		= {August},
  year		= 2006,
  pages		= {608-624}
)

@ARTICLE
(
  antoy-hamlet-tse-jan2000,
  author	= {Sergio Antoy and Richard G. Hamlet},
  title		= {Automatically Checking an Implementation against Its
		   Formal Specification},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 26,
  number	= 1,
  month		= {January},
  year		= 2000,
  pages		= {55-69}
)

@UNPUBLISHED
(
  apostoli-kanda,
  author	= {Peter Apostoli and Akira Kanda},
  title		= {Parts of the Continuum: towards a modern ontology
		   of science},
  editor	= {Leszek Nowak},
  note		= {Accepted for publication, Poznan Studies in the
		   Philosophy of Science and the Humanities, ed.\ Leszek Nowak},
  year		= 1996
)

@ARTICLE
(
  apt-strong-info-comp,
  author	= {Apt, Krzysztof and Pedreschi, Dino},
  title		= {Proving Termination of General {P}rolog Programs},
  journal	= {Information and Computation},
  volume	= 106,
  pages		= {109-157},
  year		= 1993
)

@INPROCEEDINGS
(
  apt-termination,
  author	= {Apt, Krzysztof R. and Bol, Roland N. and
		   Klop, Jan Willem},
  title		= {On the Safe Termination of {P}rolog Programs},
  booktitle	= {Proceedings of the Sixth International Conference
		   on Logic Programming},
  address	= {Lisbon},
  year		= 1989,
  pages		= {353-368}
)

@ARTICLE
(
  apt-vanE,
  author	= {Apt, Krzysztof R. and van Emden, Maarten H.},
  title		= {Contributions to the Theory of Logic Programming},
  journal	= {Journal of the Association for Computing Machinery},
  volume	= 29,
  number	= 3,
  month		= {July},
  year		= 1982,
  pages		= {841-862}
)

@ARTICLE
(
  apt-marchiori,
  author	= {Apt, Krzysztof R. and Marchiori, Elena},
  title		= {Reasoning about {Prolog} Programs: From Modes
		   through Types to Assertions},
  journal	= {Formal Aspects of Computing},
  volume	= {6A},
  pages		= {743-764},
  year		= 1994
)

@ARTICLE
(
  denotationalization,
  author	= {Arbab, Bijan and Berry, Daniel M.},
  title		= {Operational and Denotational Semantics of {P}rolog},
  journal	= {Journal of Logic Programming},
  volume	= 4,
  year		= 1987,
  pages		= {309-329}
)

@ARTICLE
(
  ashcroft-wadge-rx,
  author	= {Ashcroft, E. A. and Wadge, W. W.},
  title		= {{R\hspace*{-0.4em}$_/$} for Semantics},
  journal	= {ACM Transactions on Programming Languages and Systems},
  volume	= 4,
  number	= 2,
  month		= {April},
  year		= 1982,
  pages		= {283-294}
)

%% AUTHOR B

@INPROCEEDINGS
(
  gabbay-babb,
  author	= {Babb, Edward},
  title		= {An Incremental Pure Logic Language
		   with Constraints and Classical Negation},
  booktitle	= {Logic Programming:  Expanding the Horizons},
  editor	= {Dodd, Tony and Owens, Richard and Torrance, Steve},
  pages		= {14-62},
  publisher	= {Intellect},
  address	= {Oxford},
  year		= 1991
)

@INPROCEEDINGS
(
  ball-pred-coverage,
  author	= {Thomas Ball},
  title		= {A Theory of Predicate-Complete Test Coverage and Generation},
  booktitle	= {Third International Symposium on Formal Methods for
		   Components and Objects (FMCO 2004)},
  address	= {Leiden, The Netherlands},
  month		= {November},
  year		= {2004},
  pages		= {1-22}
)

@INPROCEEDINGS
(
  baniassad-dprg,
  author	= {Elisa L. A. Baniassad and Gail C. Murphy and Christa Schwanninger},
  title		= {Design Pattern Rationale Graphs: Linking Design to Source},
  booktitle	= {Proceedings of the 25th International Conference on
		   Software Engineering (ICSE 2003)},
  address	= {Portland, Ore.},
  pages		= {352-362},
  year		= 2003
)

@ARTICLE
(
  barbosa-etal-suff,
  author	= {Ellen Francine Barbosa and Jos\'e Carlos Maldonado and
		   Auri Marcelo Rizzo Vincenzi},
  title		= {Toward the Determination of Sufficient Mutant Operators
		   for {C}},
  journal	= {Software Testing, Verification and Reliability},
  year		= 2001,
  volume	= 11,
  pages		= {113-136}
)

@ARTICLE
(
  barbuti-martelli-1990,
  author	= {Barbuti, Roberto and Martelli, Maurizio},
  title		= {Recognizing Non-Floundering Logic Programs and Goals},
  journal	= {International Journal on the Foundations
		   of Computer Science},
  volume	= 1,
  number	= 2,
  pages		= {151-163},
  year		= 1990
)

@INPROCEEDINGS
(
  barbuti-etal-popl92,
  author	= {Barbuti, Roberto and Codish, Michael and
		   Giacobazzi, Roberto and Levi, Giorgio},
  title		= {Modelling {Prolog} Control},
  booktitle	= {Proceedings of the 1992 ACM Conference on Principles
		   of Programming Languages},
  pages		= {95-104},
  year		= 1992
)

@ARTICLE
(
  barbuti-etal-jlc,
  author	= {Barbuti, Roberto and Codish, Michael and
		   Giacobazzi, Roberto and Levi, Giorgio},
  title		= {Modelling {Prolog} Control},
  journal	= {Journal of Logic and Computation},
  volume	= 3,
  number	= 6,
  year		= 1993,
  pages		= {579-603}
)

@BOOK
(
  barendregt-lambdacalc,
  author	= {Barendregt, Henk},
  title		= {The Lambda Calculus:  Its Syntax and Semantics},
  series	= {Studies in Logic and Foundations of Mathematics},
  volume	= {103},
  publisher	= {North-Holland},
  address	= {Amsterdam},
  year		= 1984
)

@TECHREPORT
(
  baresi-young-oracles,
  author	= {Luciano Baresi and Michal Young},
  title		= {Test Oracles},
  number	= {CIS-TR-01-02},
  institution	= {Department of Computer and Information Science,
		   University of Oregon},
  month		= {August},
  year		= 2001
)

@ARTICLE
(
  bates-wileden-sigplan83,
  author	= {Peter Bates and Jack C. Wileden},
  title		= {An Approach to High-Level Debugging of Distributed Systems},
  journal	= {ACM SIGPLAN Notices},
  volume	= 18,
  number	= 8,
  pages		= {107-111},
  month		= {August},
  year		= 1983
)

@INPROCEEDINGS
(
  baudinet-lics88,
  author	= {Baudinet, Marianne},
  title		= {Proving Termination Properties of {P}rolog Programs:
		   A Semantic Approach},
  booktitle	= {Proceedings of the Third Annual IEEE Symposium on Logic
		   in Computer Science},
  address	= {Edinburgh, Scotland},
  month		= {July},
  year		= 1988,
  pages		= {336-347}
)

@ARTICLE
(
  baudinet-jlp,
  author	= {Baudinet, Marianne},
  title		= {Proving Termination Properties of {P}rolog Programs:
		   A Semantic Approach},
  journal	= {Journal of Logic Programming},
  volume	= 14,
  number	= 1,
  month		= {October},
  year		= 1992,
  pages		= {1-29}
)

@BOOK
(
  beck-tdd-book,
  author	= {Kent Beck},
  title		= {Test-Driven Development By Example},
  publisher	= {Addison-Wesley},
  address	= {Boston},
  year		= 2003
)

@ARTICLE
(
  beck-money-bug-confirmation,
  author	= {Kent Beck},
  title		= {{RE: [junit] "Bug in JUnit MoneyBag.java example?" found by Jamie Andrews}},
  journal	= {``junit'' Yahoo Group},
  volume	= 14125,
  month		= {July},
  year		= 2005,
  note		= {{http://groups.yahoo.com/group/junit/message/14125}}
)

@INPROCEEDINGS
(
  belnap-four-valued,
  author	= {Belnap, Jr., Nuel D.},
  title		= {A Useful Four-Valued Logic},
  booktitle	= {Modern Uses of Multiple-Valued Logic},
  editor	= {Dunn, J. Michael and Epstein, George},
  publisher	= {Reidel},
  address	= {Dordrecht},
  year		= 1977,
  pages		= {8-37}
)

@BOOK
(
  beizer-sw-testing-text,
  author	= {Beizer, Boris},
  title		= {Software Testing Techniques},
  edition	= {2nd},
  address	= {New York},
  publisher	= {Van Nostrand Reinhold},
  year		= 1990
)

@BOOK
(
  beizer-bb-book,
  author	= {Beizer, Boris},
  title		= {Black-Box Testing},
  publisher	= {Wiley},
  address	= {New York},
  year		= 1995
)

@ARTICLE
(
  berry-veryidea,
  author	= {Berry, Daniel M.},
  title		= {Formal Methods, the Very Idea, Some Thoughts on Why
		   They Work When They Work},
  journal	= {Science of Computer Programming},
  volume	= 42,
  number	= 1,
  pages		= {11-27},
  month		= {January},
  year		= 2002
)

@BOOK
(
  beth,
  author	= {Beth, Evert W.},
  title		= {Foundations of Mathematics},
  publisher	= {Harper and Row},
  address	= {New York},
  year		= 1966
)

@ARTICLE
(
  bezem-strong-jlp,
  author	= {Bezem, Marc},
  title		= {Strong Termination of Logic Programs},
  journal	= {Journal of Logic Programming},
  volume	= 15,
  pages		= {79-97},
  year		= 1993
)

@ARTICLE
(
  billaud-cut-tcs,
  author	= {Billaud, Michel},
  title		= {Simple Operational and Denotational Semantics
		   for {P}rolog with Cut},
  journal	= {Theoretical Computer Science},
  volume	= 71,
  pages		= {193-208},
  year		= 1990
)

@INPROCEEDINGS
(
  blackburn-compass97,
  author =       "Mark R. Blackburn and Robert D. Busser and Joseph S. Fontaine",
  title =        "Automatic Generation of Test Vectors for SCR-Style Specifications",
  booktitle =    "Compass'97: Twelfth Annual Conference on Computer Assurance",
  publisher =    "National Institute of Standards and Technology",
  address =      "Gaithersburg, Maryland",
  pages = {54--67},
  year =         "1997"
)

@BOOK
(
  bloom-taxonomy,
  author	= {Benjamin S. Bloom and David R. Krathwohl},
  year		= 1956,
  title		= {Taxonomy of educational objectives:
		   The classification of educational goals:
		   Handbook I, cognitive domain},
  address	= {New York},
  publisher	= {Longmans, Green}
)

@ARTICLE
(
  bochmann-conformance-tse89,
  author	= {von Bochmann, Gregor and Dssouli, Rachida and Zhao, J. R.},
  title		= {Trace Analysis for Conformance and Arbitration Testing},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 15,
  number	= 11,
  pages		= {1347-1356},
  month		= {November},
  year		= 1989
)

@INPROCEEDINGS
(
  bochmann-petrenko-conformance,
  author	= {Gregor von Bochmann and A. Petrenko},
  title		= {Protocol Testing: Review of Methods and Relevance for
		   Software Testing},
  booktitle	= {International Symposium on Software Specification,
		   Testing and Analysis},
  month		= {August},
  year		= 1994
)

@TECHREPORT
(
  boerger-opsem,
  author	= {B{\"{o}}rger, Egon},
  title		= {A Logical Operational Semantics of Full {P}rolog},
  institution	= {IBM Wissenschaftliches Zentrum,
		   Institut f{\"{u}}r Wissensbasierte Systeme},
  address	= {Heidelberg, Germany},
  number	= {IWBS Report 111},
  month		= {March},
  year		= 1990
)

@ARTICLE
(
  bollen-rlp,
  author	= {Bollen, A. W.},
  title		= {Relevant Logic Programming},
  journal	= {Journal of Automated Reasoning},
  volume	= 7,
  pages		= {563-585},
  year		= 1991
)

@BOOK
(
  boolos-jeffrey,
  author	= {George S. Boolos and Richard C. Jeffrey},
  title		= {Computability and Logic},
  publisher	= {Cambridge University Press},
  address	= {Cambridge, UK},
  edition	= 2,
  year		= 1980
)

@BOOK
(
  turbo-prolog,
  author	= {Borland},
  title		= {Turbo {P}rolog Owner's Handbook},
  publisher	= {Borland International},
  year		= 1986
)

@INPROCEEDINGS
(
  bossi-cocco,
  author	= {Bossi, A. and Cocco, N.},
  title		= {Verifying Correctness of Logic Programs},
  booktitle	= {Theory and Practice of Software Engineering},
  address	= {Barcelona, Spain},
  publisher	= {Springer-Verlag},
  series	= {Lecture Notes in Computer Science},
  volume	= {352},
  pages		= {96-110},
  year		= 1989
)

@INPROCEEDINGS
(
  bouck03,
  author	= {Remco R. Bouckaert},
  title		= {Choosing Between Two Learning Algorithms Based on
		   Calibrated Tests},
  booktitle	= {Proceedings of the Twentieth International
		   Conference on Machine Learning (ICML 2003)},
  month		= {August},
  year		= 2003,
  address	= {Washington, DC, USA},
  pages		= {51-58}
)

@INPROCEEDINGS
(
  boyapati-etal-korat,
  author	= {Chandrasekhar Boyapati and Sarfraz Khurshid and
		   Darko Marinov},
  title		= {Korat: automated testing based on {Java} predicates},
  booktitle	= {Proceedings of the International Symposium on
		   Software Testing and Analysis (ISSTA 2002)},
  month		= {July},
  address	= {Rome, Italy},
  year		= 2002,
  pages		= {123-133}
)

@TECHREPORT
(
  bradfield-stirling,
  author	= {Bradfield, Julian and Stirling, Colin},
  title		= {Local Model Checking for Infinite State Spaces},
  institution	= {Laboratory for the Foundations of Computer Science,
		   University of Edinburgh},
  address	= {Edinburgh},
  number	= {LFCS-90-115},
  year		= 1990
)

@BOOK
(
  bratko-prolog-ai,
  author	= {Bratko, Ivan},
  title		= {Prolog programming for artificial intelligence},
  publisher	= {Addison-Wesley},
  address	= {Reading, Mass.},
  year		= 1990
)

@INPROCEEDINGS
(
  briand-etal-icse04,
  author	= {Lionel C. Briand and Yvon Labiche and Yihong Wang},
  title		= {Using Simulation to Empirically Investigate Test
		   Coverage Criteria Based on Statechart},
  booktitle	= {Proceedings of the 26th International Conference
		   on Software Engineering (ICSE 2004)},
  month		= {May},
  year		= 2004,
  address	= {Edinburgh, UK},
  pages		= {86-95}
)

@INPROCEEDINGS
(
  briand-etal-icse06,
  author	= {Lionel C. Briand and Yvan Labiche and Michal M. S\'owka},
  title		= {Automated, Contract-based User Testing of
		   Commercial-off-the-shelf components},
  booktitle	= {Proceedings of the 28th International Conference
		   on Software Engineering (ICSE 2006)},
  address	= {Shanghai, China},
  pages		= {92-101},
  year		= 2006
)

@INPROCEEDINGS
(
  bron-laksh-reddy-jicslp92,
  author	= {Bronsard, Fran\c{c}ois and Lakshman, T. K. and
		   Reddy, Uday},
  title		= {A Framework of Directionality for Proving
		   Termination of Logic Programs},
  booktitle	= {Proceedings of the Joint International Conference
		   and Symposium on Logic Programming},
  address	= {Washington, D. C.},
  month		= {November},
  year		= 1992,
  publisher	= {MIT Press},
  pages		= {321-335}
)

@ARTICLE
(
  brown-etal-oracles-tor92,
  author	= {David B. Brown and Robert F. Roggio and James H. {Cross II}
		   and Carolyn L. McCreary},
  title		= {An Automated Oracle for Software Testing},
  journal	= {IEEE Transactions on Reliability},
  volume	= 41,
  number	= 2,
  month		= {June},
  year		= 1992
)

@inproceedings{
  bruce96comparing,
  author	= "Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce",
  title		= "Comparing Object Encodings",
  booktitle	= "Invited lecture at Third Workshop on Foundations of
		   Object Oriented Languages ({FOOL} 3)", 
  year		= 1996
}                                

@ARTICLE
(
  bruce-cardelli-pierce-objects,
  author	= {Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce},
  title		= {Comparing Object Encodings},
  journal	= {Information and Computation},
  volume	= 155,
  number	= {1-2},
  pages		= {108-133},
  year		= 1999
)


@INPROCEEDINGS
(
  prolog-continuation,
  author	= {de Bruin, Arie and de Vink, Erik P.},
  title		= {Continuation Semantics for {P}rolog with Cut},
  booktitle	= {Theory and Practice of Software Engineering},
  address	= {Barcelona, Spain},
  publisher	= {Springer-Verlag},
  series	= {Lecture Notes in Computer Science},
  volume	= {351},
  pages		= {178-192},
  year		= 1989
)

@UNPUBLISHED
(
  ccover-website,
  author	= {{Bullseye Technologies}},
  title		= {{C-Cover} Website},
  note		= {{\tt www.bullseye.com/ccover.html}},
  year		= 2002
)

@UNPUBLISHED
(
  bullseye-website,
  author	= {{Bullseye Technologies}},
  title		= {{BullseyeCoverage} Website},
  note		= {{\tt www.bullseye.com/ccover.html}},
  year		= 2002
)

@ARTICLE
(
  jml-overview,
  author	= {Lilian Burdy and Yoonsik Cheon and David R. Cok and
		   Michael D. Ernst and Joseph R. Kiniry and Gary T.  Leavens},
  title		= {An overview of {JML} tools and applications},
  journal	= {International Journal on Software Tools for
		   Technology Transfer},
  volume	= 7,
  number	= 3,
  pages		= {212-232},
  month		= {June},
  year		= 2005
)

@ARTICLE
(
  burstall-struct-induction,
  author	= {Burstall, Rod M.},
  title		= {Proving Properties of Programs by Structural Induction},
  journal	= {Computer Journal},
  volume	= {12},
  number	= {1},
  year		= {1969},
  pages		= {41-48}
)

@ARTICLE
(
  burstall-darlington,
  author	= {Burstall, Rod M. and Darlington, John},
  title		= {A Transformation System for Developing Recursive Programs},
  journal	= {Journal of the {ACM}},
  volume	= 24,
  number	= 1,
  year		= 1977,
  pages		= {44-67}
)

@INPROCEEDINGS
(
  byrd-box,
  author	= {Byrd, Lawrence},
  title		= {Understanding the Control Flow of {Prolog} Programs},
  booktitle	= {Proceedings of the Logic Programming Workshop},
  editor	= {T\"{a}rnlund, S.-A.},
  address	= {Debrecen, Hungary},
  year		= {1980}
)

%% AUTHOR C

@TECHREPORT
(
  camilleri-exec-hol,
  author	= {Camilleri, Albert},
  title		= {Simulation as an Aid to Verification Using
		   the {HOL} Theorem Prover},
  institution	= {University of Cambridge Computer Laboratory},
  addressA	= {Cambridge, UK},
  number	= {150},
  month		= {October},
  year		= 1988
)

@ARTICLE
(
  cardelli-wegner-surveys,
  author	= {Cardelli, Luca and Wegner, Peter},
  title		= {On Understanding Types, Data Abstraction,
		   and Polymorphism},
  journal	= {ACM Computing Surveys},
  volume	= 17,
  number	= 4,
  month		= {December},
  year		= 1985,
  pages		= {471-522}
)

@TECHREPORT
(
  cardelli-type-type,
  author	= {Cardelli, Luca},
  title		= {A Polymorphic Lambda-Calculus with Type:Type},
  series	= {SRC Research Reports},
  number	= 10,
  institution	= {Digital Equipment Corporation Systems Research Center},
  month		= {May},
  year		= 1986
)

@INPROCEEDINGS
(
  cardelli-hbk-types,
  author	= {Cardelli, Luca},
  title		= {Type Systems},
  booktitle	= {{CRC} Handbook of Computer Science and Engineering},
  chapter	= 103,
  pages		= {2208-2236},
  publisher	= {CRC Press},
  year		= 1996
)


@BOOK
(
  carnap,
  author	= {Carnap, Rudolf},
  title		= {Meaning and Necessity},
  publisher	= {University of Chicago Press},
  address	= {Chicago},
  year		= 1956
)

@INPROCEEDINGS
(
  carver-griswold-concerns,
  author	= {Lee Carver and William G. Griswold},
  title		= {Sorting Out Concerns},
  booktitle	= {First Workshop on Multi-Dimensional Separation of Concerns
		   in Object-Oriented Systems (OOPSLA'99)},
  address	= {Denver, Col.},
  month		= {November},
  year		= 1999
)

@INPROCEEDINGS
(
  carver-opt-processing,
  author	= {Lee Carver},
  title		= {A Practical Hyperspace Application: Lessons from the
		   Option-Processing Task},
  booktitle	= {Workshop on Multi-Dimensional Separation of Concerns
		   in Software Development, ICSE 2000},
  address	= {Limerick, Ireland},
  month		= {June},
  year		= 2000
)

@INPROCEEDINGS
(
  chechik-gannon-issta94,
  author	= {Chechik, Marsha and Gannon, John},
  title		= {Automatic Verification of Requirements Implementation},
  booktitle	= {Proceedings of the International Symposium on
		   Software Testing and Analysis (ISSTA)},
  pages		= {1-12},
  address	= {Seattle, Wash.},
  month		= {August},
  year		= 1994
)

@INPROCEEDINGS
(
  hilog,
  author	= {Chen, Weidong and Kifer, Michael and Warren, David S.},
  title		= {{HiLog}: A First-Order Semantics of Higher-Order
		   Logic Programming Constructs},
  booktitle	= {Proceedings of the {North American} Conference on
		   Logic Programming},
  address	= {Cleveland, Ohio},
  month		= {October},
  year		= 1989
)

@ARTICLE
(
  chen-etal-taccle,
  author	= {Chen and Tse and Chen},
  title		= {{TACCLE}: A Methodology for Object-Oriented Software
		   Testing at the Class and Cluster Levels},
  journal	= {ACM Transactions on Software Engineering and Methodology},
  volume	= 10,
  number	= 1,
  pages		= {56-109},
  year		= 2001
)

@BOOK
(
  chomsky-barriers,
  author	= {Chomsky, Noam},
  title		= {Barriers},
  publisher	= {MIT Press},
  address	= {Cambridge, Mass.},
  year		= 1986
)

@ARTICLE
(
  chow-w-method,
  author	= {T. S. Chow},
  title		= {Testing Software Design Modeled by Finite-State Machines},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= {SE-4(3)},
  pages		= {178-187},
  year		= 1978
)

@ARTICLE
(
  church-t,
  author	= {Church, Alonzo},
  title		= {A Formulation of the Simple Theory of Types},
  journal	= {Journal of Symbolic Logic},
  volume	= 5,
  year		= 1940,
  pages		= {56-68}
)

@BOOK
(
  church-intro,
  author	= {Church, Alonzo},
  title		= {Introduction to Mathematical Logic},
  publisher	= {Princeton University Press},
  address	= {Princeton, New Jersey},
  year		= 1956
)

@INPROCEEDINGS
(
  ciupa-etal-icse2008,
  author	= {Ilinca Ciupa and Andreas Leitner and Manuel Oriol
		   and Bertrand Meyer},
  title		= {ARTOO: Adaptive Random Testing for Object-Oriented Software},
  booktitle	= {Proceedings of the 30th ACM/IEEE International
		   Conference on Software Engineering (ICSE'08)},
  address	= {Leipzig, Germany},
  month		= {May},
  year		= 2008,
  pages		= {71-80}
)

@INPROCEEDINGS
(
  claessen-hughes-quickcheck,
  author	= {Koen Claessen and John Hughes},
  title		= {{QuickCheck}: A Lightweight Tool for Random Testing
		   of {Haskell} Programs},
  booktitle	= {Proceedings of the Fifth ACM SIGPLAN International
		   Conference on Functional Programming (ICFP '00)},
  address	= {Montreal, Canada},
  month		= {September},
  year		= 2000,
  pages		= {268-279}
)

@TECHREPORT
(
  clark-formalism,
  author	= {Clark, Keith L.},
  title		= {Predicate Logic as a Computational Formalism},
  institution	= {Department of Computing,
		   Imperial College},
  address	= {London},
  number	= {79/59 TOC},
  month		= {December},
  year		= 1979
)

@INPROCEEDINGS
(
  clark-negfail,
  author	= {Clark, Keith L.},
  title		= {Negation as Failure},
  booktitle	= {Logic and Data Bases},
  pages		= {293-322},
  publisher	= {Plenum Press},
  address	= {New York},
  year		= 1978
)

@ARTICLE
(
  clark-vanE-tse81,
  author	= {Keith Clark and Maarten van Emden},
  title		= {Consequence Verification of Flowcharts},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= {SE-7},
  number	= 1,
  month		= {January},
  year		= 1981,
  pages		= {52-60}
)

@INPROCEEDINGS
(
  ic-prolog,
  author	= {Clark, K. L. and McCabe, F.},
  title		= {The Control Facilities of {IC-P}rolog},
  booktitle	= {Expert Systems in the Micro-Electronic Age},
  editor	= {Michie, D.},
  pages		= {122-149},
  publisher	= {Edinburgh University Press},
  year		= 1983
)

@TECHREPORT
(
  parlog,
  author	= {Clark, K. L. and Gregory, S.},
  title		= {{PARLOG}:  A Parallel Logic Programming Language},
  institution	= {Department of Computing,
		   Imperial College},
  address	= {London},
  number	= {DOC 83/5},
  year		= 1983
)

@ARTICLE
(
  clarke-76-testdata,
  author	= {Lori A. Clarke},
  title		= {A System to Generate Test Data and
		   Symbolically Execute Programs},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= {SE-2},
  number	= {3},
  pages		= {215-222},
  month		= {September},
  year		= {1976}
)

@ARTICLE{
  cwb,
  author	= {Rance Cleaveland and Joachim Parrow and Bernhard Steffen},
  title		= {The Concurrency Workbench: {A} Semantics-Based Tool
		   for the Verification of Concurrent Systems},
  journal	= {ACM Transactions on Programming Languages and Systems},
  volume	= {15},
  number	= {1},
  month		= {January},
  publisher	= {ACM Press},
  pages		= {36--72},
  year		= 1993
}  


@BOOK
(
  clocksin-mellish,
  author	= {Clocksin, William F. and Mellish, Christopher S.},
  title		= {Programming in Prolog},
  edition	= {3rd},
  publisher	= {Springer},
  address	= {Berlin},
  year		= 1987
)

@UNPUBLISHED
(
  cobertura-website,
  author	= {{Cobertura Development Team}},
  title		= {Cobertura web site},
  note		= {{\tt cobertura.sourceforge.net}},
  month		= {accessed February},
  year		= 2007
)

@INPROCEEDINGS
(
  colmerauer-lp82,
  author	= {Colmerauer, Alain},
  title		= {Prolog and Infinite Trees},
  booktitle	= {Logic Programming},
  editor	= {Clark, K. L. and T\"arnlund, S.-A.},
  pages		= {231-251},
  publisher	= {Academic Press},
  year		= 1983
)

@ARTICLE
(
  colmerauer-prologii,
  author	= {Colmerauer, Alain and Kanoui, Henry and van Caneghem, Michel},
  title		= {{P}rolog, Theoretical Principles and Current Trends},
  journal	= {Technology and Science of Information},
  volume	= 2,
  number	= 4,
  year		= 1983,
  pages		= {255-292}
)

@INPROCEEDINGS
(
  colmerauer-fgcs84,
  author	= {Colmerauer, Alain},
  title		= {Equations and Inequations on Finite and Infinite Trees},
  booktitle	= {Proceedings of the International Conference on
		   Fifth Generation Computer Systems},
  pages		= {85-99},
  publisher	= {ICOT},
  year		= {1984}
)

@INPROCEEDINGS{
  cooper-stimresp-exp,
  author	= {Kendra M. L. Cooper and Mabo R. Ito},
  title		= {Experimental Evaluation of the Stimulus Response
		   Requirements Specification Notation},
  booktitle	= {Experimental Assessment in Software Engineering (EASE 2000)},
  address	= {Staffordshire, UK},
  month		= {April},
  year		= 2000
}

@ARTICLE
(
  coppit-etal-bd-exh-tse-2005,
  author	= {David Coppit and Jinlin Yang and Sarfraz Khurshid
		   and Wei Le and Kevin J. Sullivan},
  title		= {Software Assurance by Bounded Exhaustive Testing},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 31,
  number	= 4,
  pages		= {328-339},
  month		= {April},
  year		= 2005
)

@TECHREPORT
(
  coq-refman,
  author	= {The {Coq Development Team}},
  title		= {The {Coq} Proof Assistant Reference Manual Version 7.2},
  number	= 255,
  institution	= {INRIA},
  year		= 2002
)

@INPROCEEDINGS
(
  coquand-girard,
  author	= {Thierry Coquand},
  title		= "An analysis of {Girard's} paradox",
  booktitle	= {First {IEEE} Symposium on Logic in Computer Science},
  pages		= {227--236},
  address	= {Cambridge, Massachusetts},
  month		= {June},
  year		= "1986"
)

@BOOK
(
  VBcoverage,
  author	= {Gary Cornell},
  title		= {Visual Basic 5 from the Ground Up},
  publisher	= {Osborne/McGraw-Hill},
  address	= {Berkeley, Calif.},
  year		= 1997
)

@UNPUBLISHED
(
  cornett-minimum-coverage,
  author	= {Steve Cornett},
  publisher	= {Bullseye Testing Technology},
  year		= 2006,
  title		= {Minimum Acceptable Code Coverage},
  note		= {http://www.bullseye.com/minimum.html}
)

@TECHREPORT
(
  jdeal,
  author	= {Jo{\~{a}}o Costa and Pedro Silva and Nuno Lopes},
  title		= {{JDEAL Java Distributed Evolutionary Algorithms Library}
		   version 1.0:  Getting Started},
  institution	= {LaSEEB Instituto Superior T\'ecnico,
		   Universidade T\'ecnica de Lisboa, Portugal},
  year		= 2005
)

@ARTICLE
(
  cousot-abstract-survey,
  author	= {Patrick Cousot},
  title		= {Abstract Interpretation},
  journal	= {ACM Computing Surveys},
  volume	= 28,
  number	= 2,
  pages		= {324--328},
  month		= {June},
  year		= 1996
)

@TECHREPORT
(
  craigen-etal-fmeth-tr,
  author	= {Dan Craigen and Susan Gerhart and Ted Ralston},
  title		= {An International Survey of Industrial Applications
		   of Formal Methods},
  number	= {GCR 93/626},
  institution	= {US National Institute of Standards and Technology (NIST)},
  month		= {March},
  year		= 1993
)

@BOOK(
  r-crawley-2005,
  author	= {Michael J. Crawley},
  title		= {Statistics: An Introduction using R},
  publisher	= {Wiley},
  year		= 2005
)

@TECHREPORT
(
  c-prolog,
  author	= {Pereira, Fernando and Warren, David and Bowen, David and
		   Byrd, Lawrence and Pereira, Luis},
  title		= {{C-Prolog} User's Manual},
  institution	= {EdCAAD, Dept. of Architecture, Univ. of Edinburgh},
  address	= {Edinburgh}
)

@ARTICLE
(
  jcrasher-spe,
  author	= {Christoph Csallner and Yannis Smaragdakis},
  title		= {{JCrasher}: an automatic robustness tester for {Java}},
  journal	= {Software Practice and Experience},
  volume	= 34,
  number	= 11,
  pages		= {1025-1050},
  year		= 2004
)

@BOOK
(
  curry,
  author	= {Curry, Haskell B.},
  title		= {Foundations of Mathematical Logic},
  publisher	= {McGraw-Hill},
  address	= {New York},
  year		= 1963
)

%% AUTHOR D

@INPROCEEDINGS
(
  dahl-negation,
  author	= {Dahl, Ver\'onica},
  title		= {Two Solutions for the Negation Problem},
  booktitle	= {Second International Workshop on Logic Programming},
  address	= {Debrecen, Hungary},
  publisher	= {Hungarian Academy of Sciences},
  editor	= {Sten-\AA{}ke T\"{a}rnlund},
  month		= {July},
  year		= 1980,
  pages		= {61-72}
)

@ARTICLE
(
  dahl-dg-ci,
  author	= {Dahl, Ver\'onica},
  title		= {Discontinuous Grammars},
  journal	= {Computational Intelligence},
  volume	= 5,
  year		= 1989,
  pages		= {161-179}
)

@BOOK
(
  dahl-abramson-editors,
  author	= {Abramson, Harvey and Dahl, Ver\'onica},
  title		= {Logic Grammars},
  publisher	= {Springer-Verlag},
  series	= {Monograph, Symbolic Computation AI Series},
  year		= 1989
)

@ARTICLE
(
  dahl-massicotte,
  author	= {Dahl, Ver\'onica and Massicotte, Pierre},
  title		= {Interpreting Static Discontinuity Grammars in {Prolog}},
  journal	= {Applied Mathematics Letters},
  volume	= 3,
  year		= 1990
)

@ARTICLE
(
  dahl-popowich-sdgs,
  author	= {Dahl, Ver\'onica and Popowich, Fred},
  title		= {Parsing and Generation with Static Discontinuity Grammars},
  journal	= {New Generation Computing},
  volume	= 8,
  year		= 1990,
  pages		= {245-274}
)

@INPROCEEDINGS
(
  damm-etal-compos-statemate,
  author	= {Werner Damm and Bernhard Josko and Hardi Hungar and Amir Pnueli},
  title		= {A compositional real-time semantics of STATEMATE designs},
  editor	= {W.-P. de Roever and H. Langmaack and A. Pnueli},
  booktitle	= {Proceedings of COMPOS'97},
  publisher	= {Springer-Verlag},
  series	= {Lecture Notes in Computer Science},
  number	= 1536,
  pages		= {186-238},
  year		= 1998
)

@ARTICLE
{
  user-acceptance,
  author	= {Davis, Fred D.},
  year		= 1989,
  title		= {Perceived usefulness, perceived ease of use,
		   and user acceptance of information technology},
  journal	= {MIS Quarterly},
  volume	= 13,
  number	= 3,
  pages		= {319-340}
}

@MASTERSTHESIS
(
  day-msc,
  author	= {Day, Nancy A.},
  title		= {A Model Checker for Statecharts},
  school	= {Department of Computer Science, University of BC},
  address	= {Vancouver, BC, Canada},
  series	= {Technical Report},
  number	= {93-35},
  year		= 1993
)

@ARTICLE
(
  debray-denotational,
  author	= {Debray, Saumya and Mishra, Prateek},
  title		= {Denotational and Operational Semantics of {P}rolog},
  journal	= {Journal of Logic Programming},
  volume	= 5,
  year		= 1988,
  pages		= {61-91}
)

@INPROCEEDINGS
(
  debray,
  author	= {Debray, Saumya K. and Warren, David S.},
  title		= {Automatic Mode Inference for {P}rolog Programs},
  booktitle	= {Proceedings of 1986 Symposium on Logic Programming},
  address	= {Salt Lake City, Utah},
  month		= {September},
  year		= 1983,
  pages		= {78-88}
)

@INPROCEEDINGS
(
  dejong-spears-genetic,
  author	= {K. A. DeJong and W. M. Spears},
  title		= {An Analysis of the Interacting Roles of Population
		   Size and Crossover in Genetic Algorithms},
  booktitle	= {First Workshop on Parallel Problem Solving from Nature},
  publisher	= {Springer},
  pages		= {38-47},
  year		= 1990
)

@INPROCEEDINGS
(
  delamaro-proteum,
  author        = {M\'{a}rcio E. Delamaro and Jos\'{e} C. Maldonado},
  title         = {Proteum -- A tool for the assessment of test adequacy
                   for {C} Programs},
  booktitle     = {Proceedings of the Conference on Performability in
                   Computing Systems (PCS 96)},
  pages         = {79-95},
  address       = {New Brunswick, NJ},
  month         = {July},
  year          = 1996
)

@ARTICLE
(
  demillo-hints,
  author	= {Richard A. DeMillo and Richard J. Lipton and
		   Frederick G. Sayward},
  title		= {Hints on Test Data Selection: Help for the
		   Practicing Programmer},
  journal	= {Computer},
  month		= {April},
  year		= 1978,
  volume	= 11,
  issue		= 4,
  pages		= {34-41}
)

@article{demsar06,
                author="J. Demsar",
                title="Statistical Comparisons of Classifiers over Multiple Data Sets",
                journal="Journal of Machine Learning Research",
                volume=7,
                year=2006,
                pages="1-30",
}

@INPROCEEDINGS
(
  depaiva-lambek-ll,
  author	= {De Paiva, Valeria},
  title		= {A {Dialectica} Model of the {Lambek} Calculus},
  booktitle	= {8th Amsterdam Logic Colloquium},
  address	= {Amsterdam},
  month		= {December},
  year		= 1991
)

@TECHREPORT
(
  deransart-std-inria,
  author	= {Deransart, Pierre and Ferrand, G\'{e}rard},
  title		= {An Operational Formal Definition of {P}rolog},
  institution	= {INRIA},
  number	= {RR763},
  year		= 1987
)

@INPROCEEDINGS
(
  deransart-proofs,
  author	= {Deransart, Pierre},
  title		= {Proofs of Declarative Properties of Logic Programs},
  booktitle	= {Theory and Practice of Software Engineering},
  address	= {Barcelona, Spain},
  publisher	= {Springer-Verlag},
  series	= {Lecture Notes in Computer Science},
  volume	= {351},
  pages		= {207-226},
  year		= 1989
)

@BOOK
(
  deville,
  author	= {Deville, Yves},
  title		= {Logic Programming:  Systematic Program Development},
  publisher	= {Addison-Wesley},
  address	= {Wokingham, England},
  year		= 1990
)

@INPROCEEDINGS
(
  dick-faivre,
  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},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= 630,
  pages		= {268-284},
  month		= {April},
  year		= 1993
)

@ARTICLE
(
  dillon-gil-tse94,
  author	= {L. K. Dillon and G. Kutty and L. E. Moser and
		   P. M. Melliar-Smith and Y. S. Ramakrishna},
  title		= {A Graphical Interval Logic for Specifying
		   Concurrent Systems},
  journal	= {ACM Transactions on Software Engineering
		   and Methodology},
  volume	= 3,
  number	= 2,
  pages		= {131-165},
  month		= {April},
  year		= 1994
)

@TECHREPORT
(
  do-etal-infrastructure-tr,
  author	= {Do, Hyunsook and Rothermel, Gregg and Elbaum, Sebastian},
  title		= {Infrastructure Support for Controlled Experimentation with
		   Software Testing and Regression Testing Techniques},
  institution	= {Department of Computer Science, Oregon State University},
  address	= {Corvallis, Oregon},
  number	= {04-60-01},
  month		= {January},
  year		= 2004
)

@INPROCEEDINGS
(
  do-rothermel-icsm05-mutation,
  author	= {Hyunsook Do and Gregg Rothermel},
  title		= {A Controlled Experiment Assessing Test Case
		   Prioritization Techniques via Mutation Faults},
  booktitle	= {21st IEEE International Conference on Software
		   Maintenance (ICSM 2005)},
  month		= {September},
  year		= 2005,
  address	= {Budapest, Hungary},
  pages		= {411-420}
)

@INPROCEEDINGS
(
  donat-tapsoft97,
  author	= {Donat, Michael R.},
  title		= {Automating Formal Specification-Based Testing},
  booktitle	= {{TAPSOFT}: 7th International Joint Conference
		  on Theory and Practice of Software Engineering},
  address	= {Lille, France},
  pages		= {833-847},
  month		= {April},
  year		= 1997
)

@PHDTHESIS
(
  donat-phd,
  author	= {Michael R. Donat},
  title		= {A Discipline of Specification-Based Test Derivation},
  school	= {Department of Computer Science,
		   University of British Columbia},
  address	= {Vancouver, BC, Canada},
  month		= {September},
  year		= 1998
)

@ARTICLE
(
  doong-frankl-tosem94,
  author	= {Roong-Ko Doong and Phyllis G. Frankl},
  title		= {The {ASTOOT} Approach to Testing Object-Oriented Programs},
  journal	= {ACM Transactions on Software Engineering and Methodology},
  volume	= 3,
  number	= 2,
  pages		= {101-130},
  month		= {April},
  year		= 1994
)

@InProceedings{
  ducasse-coca-icse99,
  author	= {M. Ducass\'{e}},
  title		= {Coca: An Automated Debugger for {C}},
  pages		= {504-513}, 
  booktitle	= {Proceedings of the 21st International Conference on
		   Software Engineering},
  year	 	= {1999},
  publisher	= {ACM Press},
  month		= {May}
}           


@ARTICLE
(
  duran-ntafos-random,
  author	= {Joe W. Duran and Simeon C. Ntafos},
  title		= {An Evaluation of Random Testing},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 10,
  number	= 4,
  pages		= {438-444},
  month		= {July},
  year		= 1984
)

%% AUTHOR E

@ARTICLE
(
  lars-2004,
  author	= {Bradley Efron and Trevor Hastie and Iain Johnstone and
		   Robert Tibshirani},
  title		= {Least Angle Regression},
  journal	= {Annals of Statistics},
  volume	= 32,
  number	= 2,
  year		= 2004,
  pages		= {407-499}
)

@ARTICLE
(
  elbl-jlp-1999,
  author	= {Birgit Elbl},
  title		= {A Declarative Semantics for Depth-First Logic Programs},
  journal	= {Journal of Logic Programming},
  volume	= 41,
  number	= 1,
  pages		= {27-66},
  year		= 1999
)

@ARTICLE
(
  ernst-daikon,
  author	= {Michael D. Ernst and Jake Cockrell and William G.
		   Griswold and David Notkin},
  title		= {Dynamically discovering likely program invariants to
		   support program evolution},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 27,
  number	= 2,
  month		= {February},
  year		= 2001,
  pages		= {99-123}
)

@INPROCEEDINGS
(
  ernst-etal-icse2003,
  author	= {Michael Harder and Jeff Mellen and Michael D. Ernst},
  title		= {Improving Test Suites via Operational Abstraction},
  booktitle	= {Proceedings of the 25th International Conference on
		   Software Engineering},
  month		= {May},
  year		= 2003,
  address	= {Portland, Oregon},
  pages		= {60-73}
)

@ARTICLE
(
  etalle-modular-general,
  title		= "A semantics for modular general logic programs",
  author	= "Sandro Etalle",
  pages		= "51-80",
  journal	= "Theoretical Computer Science",
  year		= "1998",
  volume	= "206",
  number	= "1-2"
)

%% AUTHOR F

@ARTICLE
(
  fagan-inspections,
  author	= {Fagan, Michael E.},
  title		= {Design and code inspections to reduce errors in
		   program development},
  journal	= {IBM Systems Journal},
  volume	= 15,
  number	= 3,
  month		= {July},
  year		= 1976,
  pages		= {182-211}
)

@ARTICLE
(
  felleisen-scicomp,
  author	= {Felleisen, Matthias},
  title		= {On the Expressive Power of Programming Languages},
  journal	= {Science of Computer Programming},
  volume	= 17,
  year		= 1991,
  pages		= {35-75}
)

@ARTICLE
(
  feather-logfiles-tse98,
  author	= {Martin S. Feather},
  title		= {Rapid Application of Lightweight Formal Methods for
		   Consistency Analyses},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 24,
  number	= 11,
  pages		= {949-969},
  month		= {November},
  year		= 1998
)

@ARTICLE
(
  felty-alpnewsletter,
  author	= {Amy Felty},
  title		= {Interactive Theorem Proving in Twelf},
  journal	= {{ALP} Newsletter},
  volume	= 15,
  number	= 3,
  month		= {August},
  year		= 2002
)

@BOOK
(
  fitch,
  author	= {Fitch, Frederic Brenton},
  title		= {Symbolic Logic:  An Introduction},
  publisher	= {Ronald Press},
  address	= {New York},
  year		= 1952
)

@ARTICLE
(
  fitting-kripke,
  author	= {Fitting, Melvin},
  title		= {A {K}ripke-{K}leene Semantics for Logic Programs},
  journal	= {Journal of Logic Programming},
  volume	= 4,
  year		= 1985,
  pages		= {295-312}
)

@ARTICLE
(
  flannagan,
  author	= {Flannagan, Tim},
  title		= {The Consistency of Negation as Failure},
  journal	= {Journal of Logic Programming},
  volume	= 2,
  year		= 1986,
  pages		= {93-114}
)

@INPROCEEDINGS
(
  esc-java,
  author	= {Cormac Flanagan and K. Rustan M. Leino and Mark Lillibridge
		  and Greg Nelson and James B. Saxe and Raymie Stata},
  title		= {Extended Static Checking for {Java}},
  booktitle	= {Proceedings of the 2002 ACM SIGPLAN Conference on
		  Programming Language Design and Implementation (PLDI)},
  address	= {Berlin},
  month		= {June},
  year		= 2002,
  pages		= {234-245}
)

@BOOK
(
  fox-ramey-readline,
  author	= {Brian Fox and Chet Ramey},
  title		= {GNU Readline Library},
  edition	= {4.1},
  publisher	= {Free Software Foundation},
  year		= 2000
)

@INPROCEEDINGS
(
  fgkp,
  author	= {Francez, N. and Grumberg, O. and
		   Katz, S. and Pnueli, A.},
  title		= {Proving Termination of {P}rolog Programs},
  booktitle	= {Logics of Programs},
  editor	= {Parikh, Rohit},
  pages		= {89-105},
  series	= {Lecture Notes in Computer Science},
  volume	= {193},
  publisher	= {Springer-Verlag},
  address	= {Berlin},
  month		= {July},
  year		= 1985
)

@ARTICLE
(
  frankl-allstars,
  author	= {Phyllis G. Frankl and Richard G. Hamlet and Bev Littlewood
		   and Lorenzo Strigini},
  title		= {Evaluating Testing Methods by Delivered Reliability},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 24,
  number	= 8,
  pages		= {586-601},
  month		= {August},
  year		= 1998
)

@INPROCEEDINGS
(
  frankl-iakounenko,
  author	= {Phyllis G. Frankl and Oleg Iakounenko},
  title		= {Further Empirical Studies of Test Effectiveness},
  booktitle	= {Proceedings of the 6th ACM SIGSOFT International Symposium
		   on Foundations of Software Engineering},
  address	= {Lake Buena Vista, FL, USA},
  pages		= {153-162},
  year		= 1998
)

@ARTICLE
(
  frankl-weiss-tse93,
  author	= {Phyllis G. Frankl and Stewart N. Weiss},
  title		= "An Experimental Comparison of the Effectiveness of
		   Branch Testing and Data Flow Testing",
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 19,
  number	= 8,
  month		= {August},
  year		= 1993,
  pages		= {774-787}
)

%% AUTHOR G

@INBOOK
(
  gcov,
  author	= {{Free Software Foundation}},
  title		= {{\tt gcov}: a Test Coverage Program},
  booktitle	= {Using and Porting the GNU Compiler Collection {(GCC)}},
  publisher	= {Free Software Foundation},
  year		= 2001
)

@TECHREPORT
(
  fruehwirth-SiRs,
  author	= {Fr{\"{u}}hwirth, Thom},
  title		= {Constraint Simplification Rules},
  institution	= {ECRC},
  address	= {Munich, Germany},
  number	= {92-18},
  month		= {July},
  year		= 1992
)

@ARTICLE
(
  gabbay-nprolog,
  author	= {Gabbay, D. M. and Reyle, U.},
  title		= {N-{P}rolog: An Extension of {P}rolog
		   with Hypothetical Implications, {I}},
  journal	= {Journal of Logic Programming},
  volume	= 1,
  year		= 1984,
  pages		= {319-355}
)

@ARTICLE
(
  gabbrielli-etalle-1999,
  author	= {Gabbrielli, Maurizio and Etalle, Sandro},
  title		= {Layered Modes},
  journal	= {Journal of Logic Programming},
  volume	= 39,
  number	= {1-3},
  pages		= {225-244},
  year		= 1999
)

@INPROCEEDINGS
(
  gaifman-shapiro-lics,
  author	= {Gaifman, Haim and Shapiro, Ehud Y.},
  title		= {Proof Theory and Semantics of Logic Programs},
  booktitle	= {Proceedings of the Fourth Annual IEEE Symposium on
		   Logic in Computer Science},
  address	= {Asilomar, California},
  month		= {July},
  year		= 1989
)

@BOOK
(
  patterns-gang-of-four,
  author	= {Erich Gamma and Richard Helm and Ralph Johnson and
		   John Vlissides},
  title		= {Design Patterns: Elements of Reusable
		   Object-Oriented Software},
  publisher	= {Addison-Wesley},
  year		= {1995}
)

@BOOK
(
  gardner-life,
  author	= {Gardner, Martin},
  title		= {Wheels, Life, and Other Mathematical Amusements},
  publisher	= {W.\ H.\ Freeman},
  address	= {New York},
  year		= 1983
)

@INPROCEEDINGS
(
  gouraud-randomized-tcg,
  author	= {SD Gouraud and Alain Denise and Marie-Claude Gaudel
		   and Bruno Marre},
  title		= {A New Way of Automating Statistical Structural
		   Testing Methods},
  booktitle	= {Proceedings of the 16th IEEE International Conference
		   on Automated Software Engineering},
  pages		= {5-12},
  address	= {San Diego, California},
  month		= {November},
  year		= 2001
)

@BOOK
(
  gkps,
  author	= {Gazdar, G. and Klein, E. and Pullum, G. and Sag, I.},
  title		= {Generalized Phrase Structure Grammar},
  publisher	= {Blackwell},
  address	= {Oxford},
  year		= 1985
)

@BOOK
(
  gentzen,
  author	= {Gentzen, Gerhardt},
  title		= {The Collected Papers of Gerhard Gentzen},
  publisher	= {North-Holland},
  address	= {Amsterdam},
  note		= {Ed. M.\ E.\ Szabo.},
  year		= 1969
)

@Book{GhJM91,
  author =       "C. Ghezzi and M. Jazayeri and D. Mandrioli",
  title =        "Fundamentals of Software Engineering",
  year =         "1991",
  publisher =    "Prentice Hall"
}

@ARTICLE
(
  gilmore-ibm,
  author	= {Gilmore, Paul C.},
  title		= { },
  journal	= {{IBM} Journal of Research and Development},
  volume	= 4,
  year		= 1960,
  pages		= {28-35}
)

@INPROCEEDINGS
(
  gilmore-tohbc,
  author	= {Gilmore, Paul C.},
  title		= {Combining Unrestricted Abstraction
		   with Universal Quantification},
  booktitle	= {To {H.} {B.} {C}urry: Essays on Combinatory Logic,
		   Lambda Calculus and Formalism},
  pages		= {99-123},
  publisher	= {Academic Press},
  year		= 1980
)


@ARTICLE
(
  gilmore-jsl,
  author	= {Gilmore, Paul C.},
  title		= {Natural Deduction Based Set Theories:
		   A New Resolution of the Old Paradoxes},
  journal	= {Journal of Symbolic Logic},
  volume	= 51,
  number	= 2,
  month		= {June},
  year		= 1986,
  pages		= {393-411}
)

@TECHREPORT
(
  gilmore-realnumbers,
  author	= {Gilmore, Paul C.},
  title		= {How Many Real Numbers Are There?},
  institution	= {University of British Columbia,
		   Department of Computer Science},
  number	= {TR 89-7},
  month		= {August},
  year		= 1989
)

@BOOK
(
  gilmore-dbnotes,
  author	= {Gilmore, Paul C.},
  title		= {Computer Science 504 Course Notes},
  publisher	= {University of B. C. Department of Computer Science},
  address	= {Vancouver, B. C.},
  year		= 1986
)

@INPROCEEDINGS
(
  gilmore-kgc97,
  author	= {Paul C. Gilmore},
  title		= {{NaDSyL} and some Applications},
  booktitle	= {Proceedings of the {K}urt {G}\"{o}del Colloquium},
  address	= {Vienna},
  pages		= {153-166},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= 1289,
  year		= 1997
)

@ARTICLE
(
  gilmore-jsl02,
  author	= {Paul C. Gilmore},
  title		= {An Intensional Type Theory: Motivation and Cut-Elimination},
  journal	= {Journal of Symbolic Logic},
  volume	= 66,
  number	= 1,
  month		= {March},
  year		= 2001,
  pages		= {383-400}
)

@BOOK
(
  gilmore-logicism-book,
  author	= {Paul C. Gilmore},
  title		= {Logicism Renewed:  Logical Foundations for Mathematics
		  and Computer Science},
  publisher	= {Association for Symbolic Logic / A K Peters, Ltd.},
  address	= {Wellesley, MA},
  series	= {Lecture Notes in Logic},
  number	= 23,
  year		= 2005
)

@ARTICLE
(
  girard-tcs,
  author	= {Girard, Jean-Yves},
  title		= {Linear Logic},
  journal	= {Theoretical Computer Science},
  volume	= 50,
  year		= 1987,
  pages		= {1-102}
)

@INPROCEEDINGS
(
  girard-towards,
  author	= {Girard, Jean-Yves},
  title		= {Towards a Geometry of Interaction},
  booktitle	= {Proceedings of the AMS Conference on
		   Categories, Logic, and Computer Science},
  address	= {Boulder, Colorado},
  month		= {June},
  year		= 1987,
  note		= {To appear.}
)
@INPROCEEDINGS
(
  girard-ill,
  author	= {Girard, Jean-Yves and Lafont, Yves},
  title		= {Linear Logic and Lazy Computation},
  booktitle	= {Theory and Practice of Software Engineering},
  year		= 1987,
)

@UNPUBLISHED
(
  gnu-website,
  author        = {{GNU Project}},
  title         = {GNU project web pages},
  note          = {{\tt www.gnu.org}},
  year          = 2000
)

@INPROCEEDINGS
(
  godefroid-etal-dart,
  author	= {Patrice Godefroid and Nils Klarlund and Koushik Sen},
  title		= {{DART}: Directed Automated Random Testing},
  booktitle	= {Proceedings of the ACM SIGPLAN 2005 Conference on
		   Programming Language Design and Implementation (PLDI)},
  address	= {Chicago},
  month		= {June},
  year		= 2005,
  pages		= {213-223}
)

@BOOK
(
  goedel-incompleteness,
  author	= {G{\"{o}}del, Kurt},
  title		= {On Formally Undecidable Propositions of
		   {P}rincipia {M}athematica and Related Systems},
  publisher	= {Oliver and Boyd},
  address	= {Edinburgh},
  year		= 1962,
  note		= {Translation by B. Meltzer of
		   ``\"{U}ber formal unentscheidbare S\"{a}tze der
		   Principia Mathematica und verwandter Systeme I'',
		   {\it Monatshefte f\"ur Mathematik und Physik},
		   38:173-198, Leipzig, 1931.}
)

@ARTICLE
(
  goguen,
  author	= {Goguen, Joseph A. and Meseguer, Jose},
  title		= {Equality, Types, Modules, and (Why Not?)
		   Generics for Logic Programming},
  journal	= {Journal of Logic Programming},
  volume	= 1,
  number	= 2,
  month		= {August},
  year		= 1984,
  pages		= {179-210}
)

@BOOK
(
  goldberg-ga-book,
  author	= {David E. Goldberg},
  title		= {Genetic Algorithm in Search, Optimization, and
		  Machine Learning},
  publisher	= {Addison-Wesley},
  year		= 1989
)

@BOOK
(
  goldblatt-axiomatising,
  author	= {Goldblatt, Robert},
  title		= {Axiomatising the Logic of Computer Programming},
  series	= {Lecture Notes in Computer Science},
  volume	= {130},
  publisher	= {Springer-Verlag},
  address	= {Berlin},
  year		= 1982
)

@BOOK
(
  hol-book,
  author	= {M. J. C. Gordon and T. F. Melham},
  title		= {Introduction to {HOL}: A Theorem Proving Environment
		   for Higher Order Logic},
  publisher	= {Cambridge University Press},
  year		= 1993
)

@ARTICLE
(
  greibach-hopcroft,
  author	= {Greibach, S. and Hopcroft, J.},
  title		= {Scattered Context Grammars},
  journal	= {Journal of Computer and System Sciences},
  volume	= 3,
  year		= 1969,
  pages		= {233-247}
)

@INPROCEEDINGS
(
  groce-etal-icse2007,
  author	= {Alex Groce and Gerard J. Holzmann and Rajeev Joshi},
  title		= {Randomized Differential Testing as a Prelude to Formal
		   Verification},
  booktitle     = {Proceedings of the 29th International
		   Conference on Software Engineering (ICSE 2007)},
  address       = {Minneapolis, MN},
  month         = {May},
  year          = 2007,
  pages         = {621-631}
)

@INPROCEEDINGS
(
  logrippo-deriv-test-cases,
  author	= {Djaffar Gueraichi and Luigi Logrippo},
  title		= {Derivation of Test Cases for {LAP-B} from a {LOTOS}
		   Specification},
  editor	= {Son Vuong},
  publisher	= {North-Holland},
  booktitle	= {Proc. of the 2nd FORmal TEchniques International Conference
		   (FORTE 1989)},
  address	= {Vancouver},
  year		= 1989,
  pages		= {361-374}
)

@BOOK
(
  guilford-scale-book,
  author        = {J. P. Guilford},
  year          = 1956,
  title         = {Fundamental Statistics in Psychology and Education},
  address       = {New York},
  publisher     = {McGraw-Hill}
)

@INPROCEEDINGS
(
  guo-etal-genetic,
  author	= {Qiang Guo and Robert M. Hierons and Mark Harman
		   and Karnig Derderian},
  title		= {Computing unique input/output sequences using
		   genetic algorithms},
  booktitle	= {3rd International Workshop on Formal Approaches
		   to Testing of Software (FATES 2003)},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= 2931,
  pages		= {164-177},
  year		= 2004
)

@INPROCEEDINGS
(
  gupta-etal-gen-test-data,
  author	= {Neelam Gupta and Aditya P. Mathur and Mary Lou Soffa},
  title		= {Automated Test Data Generation using an Iterative
		   Relaxation Method},
  booktitle	= {Sixth International Symposium on the Foundations of
		   Software Engineering (FSE 98)},
  pages		= {224-232},
  month		= {November},
  year		= 1998
)

@ARTICLE
(
  gutjahr-tse-1999,
  author	= {Walter J. Gutjahr},
  title		= {Partition Testing vs. Random Testing:
		   The Influence of Uncertainty},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 25,
  number	= 5,
  month		= {September/October},
  year		= 1999,
  pages		= {661-674}
)

%% AUTHOR H

@ARTICLE
(
  hagiya-sakurai,
  author	= {Hagiya, Masami and Sakurai, Takafumi},
  title		= {Foundation of Logic Programming Based on
		   Inductive Definition},
  journal	= {New Generation Computing},
  volume	= 2,
  year		= 1984,
  pages		= {59-77}
)

@TECHREPORT
(
  hallnaes-sh,
  author	= {Halln\"{a}s, Lars and Schroeder-Heister, Peter},
  title		= {A Proof-Theoretic Approach to Logic Programming},
  institution	= {Swedish Institute of Computer Science},
  number	= {R88005},
  year		= 1988
)

@INPROCEEDINGS{Hamlet94randomtesting,
    author = {Richard Hamlet},
    title = {Random testing},
    booktitle = {Encyclopedia of Software Engineering},
    year = {1994},
    pages = {970-978},
    publisher = {Wiley}
}

@ARTICLE
(
  hamlet-taylor,
  author	= {Dick Hamlet and Ross Taylor},
  title		= {Partition testing does not inspire confidence},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 16,
  number	= 12,
  pages		= {1402-11},
  month		= {December},
  year		= 1990
)

@INPROCEEDINGS
(
  hannan-miller-lfp90,
  author	= {Hannan, John and Miller, Dale},
  title		= {From Operational Semantics to Abstract Machines:
		   Preliminary Results},
  booktitle	= {Proceedings of the ACM Conference on Lisp and
		   Functional Programming},
  publisher	= {ACM Press},
  pages		= {323-332},
  address	= {Nice, France},
  month		= {June},
  year		= 1990
)

@ARTICLE
(
  hallnaes-sh-jlc-i,
  author	= {Halln\"{a}s, Lars and Schroeder-Heister, Peter},
  title		= {A Proof-Theoretic Approach to Logic Programming {I}:
		   Clauses as Rules},
  journal	= {Journal of Logic and Computation},
  volume	= 1,
  number	= 2,
  year		= 1990
)

@INPROCEEDINGS(
  hanus-unified-popl97,
  author	= {Hanus, Michael},
  title		= {A Unified Computation Model for Functional
		   and Logic Programming},
  booktitle	= {Proceedings of the Symposium on
		   Principles of Programming Languages},
  pages		= {80-93},
  address	= {Paris},
  year		= {1997}
)


@ARTICLE
(
  harel-statecharts,
  author	= {Harel, David},
  title		= {Statecharts: A Visual Formalism for Complex Systems},
  journal	= {Science of Computer Programming},
  volume	= 8,
  pages		= {231-274},
  year		= 1987
)

@INPROCEEDINGS
(
  harel-etal-lics87,
  author	= {Harel, D. and Pnueli, A. and Schmidt, J. and Sherman, R.},
  title		= {On the Formal Semantics of Statecharts},
  booktitle	= {Proceedings of the First IEEE Symposium on Logic
		   in Computer Science},
  pages		= {54-64},
  address	= {Ithaca, NY},
  month		= {June},
  year		= 1987
)

@ARTICLE
(
  harel-naamad-statemate-sems,
  author	= {Harel, David and Naamad, Amnon},
  title		= {The {Statemate} Semantics of Statecharts},
  journal	= {ACM Transactions on Software Engineering and Methodology},
  volume	= 5,
  number	= 4,
  pages		= {293-333},
  month		= {October},
  year		= 1996
)

@ARTICLE
(
  harel-vanilla,
  author	= {Harel, David},
  title		= {From Play-In Scenarios to Code:  An Achievable Dream},
  journal	= {IEEE Computer},
  volume	= 34,
  number	= 1,
  pages		= {53-60},
  month		= {January},
  year		= 2001
)

@ARTICLE
(
  harel-gery-statecharts-uml,
  author	= {Harel, David and Gery, Eran},
  title		= {Executable Object Modeling with Statecharts},
  journal	= {IEEE Computer},
  volume	= 30,
  number	= 7,
  pages		= {31-42},
  month		= {July},
  year		= 1997
)

@ARTICLE
(
  harper-honsell-plotkin,
  author	= {Harper, Robert and Honsell, Furio and Plotkin, Gordon},
  title		= {A Framework for Defining Logics},
  journal	= {Journal of the ACM},
  volume	= 40,
  number	= 1,
  month		= {January},
  year		= 1993
)

@ARTICLE
(
  haridi-andorra,
  author	= {Haridi, Seif},
  title		= {A Logic Programming Language Based on the {A}ndorra Model},
  journal	= {New Generation Computing},
  volume	= 7,
  year		= 1990,
  pages		= {109-125}
)

@INPROCEEDINGS
(
  haridi-janson-andorra,
  author	= {Haridi, Seif and Janson, Sverker},
  title		= {Kernel {A}ndorra {P}rolog and its Computation Model},
  booktitle	= {Proceedings of the International Conference
		   on Logic Programming},
  pages		= {31-46},
  address	= {Jerusalem},
  year		= 1990
)

@TECHREPORT
(
  harland-negation-static,
  author	= {Harland, James},
  title		= {Towards a Static Proof System for Negation as Failure},
  institution	= {University of Melbourne, School of
		   Information Technology and Electrical Engineering},
  number	= {92/10},
  year		= 1992
)

@INPROCEEDINGS
(
  subject-oriented-first,
  author	= {William Harrison and Harold Ossher},
  title		= {Subject-Oriented Programming -- A Critique of Pure Objects},
  booktitle	= {Proceedings of 1993 Conference on Object-Oriented
		   Programming Systems, Languages, and Applications
		   (OOPSLA'93)},
  month		= {September},
  year		= 1993
)

@ARTICLE
(
  havelund-pathfinder,
  author	= {Klaus Havelund and Thomas Pressburger},
  title		= {Model Checking {Java} Programs using {Java} {PathFinder}},
  journal	= {International Journal on Software Tools for
		   Technology Transfer},
  volume	= 2,
  number	= 4,
  year		= 2000,
  pages		= {366-381}
)

@TECHREPORT
(
  havens-etal-echidna,
  author	= {Havens, William and Sidebottom, Susan and Sidebottom,
		   Greg and Jones, John and Ovans, Russell},
  title		= {Echidna: A Constraint Logic Programming Shell},
  institution	= {Simon Fraser University Centre for Systems Science},
  address	= {Burnaby, BC, Canada},
  number	= {CSS-IS 92-15},
  month		= {September},
  year		= {1992}
)

@BOOK
(
  hehner,
  author	= {Hehner, Eric C. R.},
  title		= {The Logic of Programming},
  publisher	= {Prentice-Hall},
  address	= {Englewood Cliffs, New Jersey},
  year		= 1984
)

@ARTICLE
(
  heimbold-luckham-software85,
  author	= {David Heimbold and David Luckham},
  title		= {Debugging {Ada} Tasking Programs},
  journal	= {IEEE Software},
  volume	= 2,
  number	= 2,
  pages		= {47-57},
  month		= {March},
  year		= 1985
)

@INPROCEEDINGS
(
  heitmeyer-scr-building,
  author	= {Kirby, Jr., James and Myla Archer and Constance Heitmeyer},
  title		= {{SCR}: A Practical Approach to Building a High
		   Assurance {COMSEC} System},
  booktitle	= {15th Annual Computer Security Applications Conference},
  month		= {December},
  year		= 1999,
  address	= {Phoenix, Arizona},
  pages		= {109-118}
)

@ARTICLE
(
  helmbold-mcdowell-surveys,
  author	= {McDowell, Charles E. and Helmbold, David P.},
  title		= {Debugging concurrent programs},
  journal	= {ACM Computing Surveys},
  volume	= 21,
  number	= 4,
  pages		= {593-622},
  month		= {December},
  year		= 1989
)

@ARTICLE
(
  heninger-scr,
  author	= {Heninger, K.},
  title		= {Specifying Software Requirements for Complex Systems:
		   New Techniques and their Applications},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= {SE-6},
  number	= 1,
  pages		= {2-12},
  month		= {January},
  year		= 1980
)

@ARTICLE
(
  henkin,
  author	= {Henkin, Leon},
  title		= {Completeness in the Theory of Types},
  journal	= {Journal of Symbolic Logic},
  volume	= 15,
  pages		= {81-91},
  year		= 1950
)

@INPROCEEDINGS
(
  hennessy-power-rule-coverage,
  author	= {Mark Hennessy and James F. Power},
  title		= {An analysis of rule coverage as a criterion in
		   generating minimal test suites for grammar-based software},
  booktitle	= {Proceedings of the 20th IEEE/ACM International
		   Conference on Automated Software Engineering (ASE 2005)},
  month		= {November},
  year		= 2005,
  address	= {Long Beach, CA, USA},
  pages		= {104-113}
)

@PHDTHESIS
(
  hepple-thesis,
  author	= {Hepple, Mark},
  title		= {The Grammar and Processing of Order and Dependency:
		   A Categorial Approach},
  school	= {University of Edinburgh},
  year		= 1990
)

@INPROCEEDINGS
(
  herbrand-unif,
  author	= {Herbrand, Jacques},
  title		= {Researches in the Theory of Demonstration},
  booktitle	= {From Frege to G{\"{o}}del:
		   A Source Book in Mathematical Logic, 1879-1931},
  editor	= {van Heijenoort, J.},
  pages		= {525-581},
  publisher	= {Harvard University Press},
  address	= {Boston},
  year		= 1930
)

@BOOK
(
  hetzel-book-1973,
  title		= {Program Test Methods},
  editor	= {William C. Hetzel},
  publisher	= {Prentice-Hall},
  address	= {Englewood Cliffs, N.J.},
  series	= {Automatic Computation},
  year		= 1973
)

@ARTICLE
(
  hierons-etal-ist2001,
  author	= {R. M. Hierons and S. Sadeghipour and H. Singh},
  title		= {Testing a System Specified using Statecharts and {Z}},
  journal	= {Information and Software Technology},
  volume	= 43,
  number	= 2,
  pages		= {137-149},
  year		= 2001
)

@BOOK
(
  hilbert,
  author	= {Hilbert, David and Ackermann, W.},
  title		= {Grundz\"{u}ge der Theoretischen {L}ogik},
  publisher	= {Springer},
  address	= {Berlin},
  year		= 1938
)

@BOOK
(
  hindley-seldin,
  author	= {Hindley, J. Roger and Seldin, Jonathan P.},
  title		= {Introduction to Combinators and Lambda Calculus},
  series	= {London Mathematical Society Student Texts},
  number	= 1,
  publisher	= {Cambridge University Press},
  address	= {Cambridge},
  year		= 1986
)

@TECHREPORT
(
  hill-sld,
  author	= {Hill, Robert},
  title		= {{LUSH}-Resolution and its Completeness},
  institution	= {Department of Artificial Intelligence,
		   University of Edinburgh},
  address	= {Edinburgh},
  number	= {DCI Memo 78},
  year		= 1974
)

@BOOK
(
  hintikka-twopapers,
  author	= {Hintikka, K. Jaakko J.},
  title		= {Two Papers on Symbolic Logic},
  series	= {Acta Philosophica Fennica},
  volume	= 8,
  publisher	= {Edidit Societas Philosophica},
  address	= {Helsinki},
  year		= 1955
)

@BOOK
(
  hoare-csp,
  author	= {C. A. R. Hoare},
  title		= {Communicating Sequential Processes},
  publisher	= {Prentice-Hall},
  address	= {Englewood Cliffs, NJ},
  year		= 1985
)

@INPROCEEDINGS
(
  hodas-miller,
  author	= {Hodas, Joshua and Miller, Dale},
  title		= {Logic Programming in a Fragment of Intuitionistic
		   Linear Logic},
  booktitle	= {Logic in Computer Science},
  address	= {Amsterdam},
  month		= {July},
  year		= 1991
)

@ARTICLE
(
  hodas-miller-journal,
  author	= {Hodas, Joshua S. and Miller, Dale},
  title		= {Logic Programming in a Fragment of Intuitionistic
		   Linear Logic},
  journal	= {Information and Computation},
  month		= {May},
  year		= {1994},
  volume	= 110,
  number	= 2,
  pages		= {327}
)

@INPROCEEDINGS
(
  hodas-jicslp92,
  author	= "Joshua Hodas",
  title		= "Specifying Filler-Gap Dependency Parsers in a Linear-Logic
		   Programming Language",
  booktitle	= "Proceedings of the Joint International Conference and
		   Symposium on Logic Programming",
  editor	= "K. Apt",
  year		= "1992",
  pages		= "622 -- 636"
)


@TECHREPORT
(
  hoehfeld-smolka-definite,
  author	= {H\"ohfeld, Markus and Smolka, Gert},
  title		= {Definite Relations over Constraint Languages},
  institution	= {LILOG, IBM Deutschland},
  address	= {Stuttgart, Germany},
  number	= {53},
  month		= {October},
  year		= 1988,
  note		= {To appear in Journal of Logic Programming.}
)

@ARTICLE
(
  hoff-stroop-classbench-spe,
  author	= {Hoffman, Daniel and Strooper, Paul},
  title		= {ClassBench: A Framework for Automated Class Testing},
  journal	= {Software Practice and Experience},
  volume	= 27,
  number	= 5,
  pages		= {573-597},
  month		= {May},
  year		= 1997
)

@BOOK
(
  horrocks-ui-statecharts,
  author	= {Ian Horrocks},
  title		= {Constructing the User Interface with Statecharts},
  publisher	= {Addison-Wesley},
  year		= 1999
)

@BOOK
(
  holland-ga-book,
  author	= {John H. Holland},
  title		= {Adaptation in Natural and Artificial Systems},
  publisher	= {University of Michigan Press},
  address	= {Ann Arbor},
  year		= 1975
)

@BOOK
(
  hollander-stats,
  author	= {Myles Hollander and Douglas A. Wolfe},
  title		= {Nonparametric Statistical Inference},
  publisher	= {John Wiley and Sons},
  address	= {New York},
  year		= 1973
)

@INPROCEEDINGS
(
  atac92,
  author	= {Horgan, J.R. and London, S.A.},
  title		= {{ATAC}: A data flow coverage testing tool for {C}},
  booktitle	= {Proceedings of the Symposium on Assessment of
		   Quality Software Development Tools},
  pages		= {2 - 10},
  year		= {1992},
  month		= {May}
)


@ARTICLE
(
  huet-unification,
  author	= {Huet, Gerard},
  title		= {A Unification Algorithm for Typed Lambda Calculus},
  journal	= {Theoretical Computer Science},
  volume	= 1,
  pages		= {27-57},
  year		= 1975
)

@INPROCEEDINGS
(
  huang-andrews-ease2004,
  author	= {Guan Huang and James H. Andrews},
  title		= {Learning and Initial Use of a Software Testing Technology:
		   An Exploratory Study},
  booktitle	= {Proceedings of the 8th International Conference
		   on Empirical Assessment in Software Engineering (EASE 2004)},
  address	= {Edinburgh, Scotland},
  month		= {May},
  year		= 2004,
  pages		= {77-86}
)

@BOOK
(
  hutchins,
  author	= {Hutchins, W. J.},
  title		= {Machine Translation: Past, Present, Future},
  publisher	= {Ellis Horwood},
  address	= {Chichester, West Sussex},
  year		= 1986
)

@BOOK
(
  hutchins-somers,
  author	= {Hutchins, W. J. and Somers, Harold L.},
  title		= {An Introduction to Machine Translation},
  publisher	= {Academic Press},
  address	= {London},
  year		= 1992
)

@INPROCEEDINGS
(
  hutchins-siemens,
  author	= {Monica Hutchins and Herb Foster and Tarak Goradia
		   and Thomas Ostrand},
  title		= {Experiments of the Effectiveness of Dataflow- and
		   Controlflow-based Test Adequacy Criteria},
  booktitle	= {Proceedings of the 16th International Conference
		   on Software Engineering (ICSE 1994)},
  address	= {Sorrento, Italy},
  month		= {May},
  year		= 1994,
  pages		= {191-200}
)

@BOOK
(
  geb-egb,
  author	= {Hofstadter, Douglas R.},
  title		= {G\"odel, Escher, Bach:  An Eternal Golden Braid},
  publisher	= {Basic Books},
  year		= 1979
)

%% AUTHOR I

@BOOK
(
  acse-spec,
  author	= {{ISO (International Organization for Standardization)}},
  title		= {ACSE Protocol, ITU-T Rec. X.227 -- ISO/IEC 8650-1},
  edition	= {2nd},
  publisher	= {International Organization for Standardization},
  year		= 1994
)

%% AUTHOR J

@BOOK
(
  jacky-way-of-z,
  author	= {Jonathan Jacky},
  title		= {The Way of Z: Practical Programming with Formal Methods},
  publisher	= {Cambridge University Press},
  year		= 1997
)

@TECHREPORT
(
  jaffar-clp,
  author	= {Jaffar, Joxan and Lassez, Jean-Louis},
  title		= {Constraint Logic Programming},
  institution	= {Department of Computer Science,
		   Monash University},
  month		= {June},
  year		= 1986
)

@INPROCEEDINGS
(
  jaffar-lassez-clp-popl,
  author	= {Jaffar, Joxan and Lassez, Jean-Louis},
  title		= {Constraint Logic Programming},
  booktitle	= {Proceedings of the Conference on
		   Principles of Programming Languages},
  address	= {Munich},
  year		= 1987
)

@INPROCEEDINGS
(
  jaffar-etal-completeness,
  author	= {Jaffar, Joxan and Lassez, Jean-Louis and Lloyd, John},
  title		= {Completeness of the Negation as Failure Rule},
  booktitle	= {Proceedings of the International Joint Conference
		   on Artificial Intelligence},
  address	= {Karlsruhe},
  year		= 1983,
  pages		= {500-506}
)

@INPROCEEDINGS
(
  jaffar-etal-issues-trends,
  author	= {Jaffar, Joxan and Lassez, Jean-Louis and Maher, M. J.},
  title		= {Some Issues and Trends in the Semantics of
		   Logic Programming},
  booktitle	= {Proceedings of the Third International Conference
		   on Logic Programming},
  address	= {London},
  year		= 1986,
  month		= {July},
  pages		= {223-241}
)

@inproceedings  ( JAFFAR91,
author =        "Joxan Jaffar and  Spiro Michaylov and Roland Yap",
title =         "A Methodology for Managing Hard Constraints in {CLP} Systems",
booktitle =     "Proceedings of the {ACM} {SIGPLAN} Symposium on Programming
Language Design and Implementation",
address =       "Toronto, Canada",
pages =         "306--316",
month =         "June",
year =          "1991"
)

@ARTICLE
( jaffar-etal-clpr,
  author	= {Joxan Jaffar and Spiro Michaylov and
		   Peter J. Stuckey and Roland H. C. Yap},
  title		= {The {CLP(${\cal R}$)} Language and System},
  journal	= {ACM Transactions on Programming Languages
		   and Systems},
  volume	= {14},
  number	= {3},
  month		= {July},
  year		= 1992,
  pages		= {339-395}
)

@ARTICLE
(
  jaffar-stuckey-canonical,
  author	= {Jaffar, Joxan and Stuckey, Peter J.},
  title		= {Canonical Logic Programs},
  journal	= {Journal of Logic Programming},
  volume	= 3,
  number	= 2,
  year		= 1986,
  pages		= {143-155}
)

@BOOK
(
  jain-book,
  author	= {Raj Jain},
  title		= {The Art of Computer Systems Performance Analysis},
  publisher	= {Wiley-Interscience},
  address	= {New York},
  year		= 1991
)

@INPROCEEDINGS
(
  jia-zans,
  author	= {Xiaoping Jia},
  title		= {An Approach to Animating Z Specifications},
  booktitle	= {Proceedings of the 19th Annual IEEE International
		   Computer Software and ApplicationConference (COMPSAC'95)},
  month		= {August},
  year		= 1995,
  address	= {Dallas, TX},
  pages		= {108-113}
)

@TECHREPORT
(
  johnson,
  title		= "The Use of Knowledge of Language",
  author	= "Johnson, M.",
  institution	= "Brain and Cognitive Sciences, M.I.T.",
  year		= 1987
)

@Article{Jol72,
author = {Jolliffe, I.T.},
title = {Disgarding Variables in a Principal Component Analysis. {I:} {Artificial} Data},
journal = {Applied Statistics},
year = {1972},
volume = {21},
number = {2},
pages = {160-173}
}

@Article{Jol73,
author = {Jolliffe, I.T.},
title = {Disgarding Variables in a Principal Component Analysis. {II:} {Real} Data},
journal = {Applied Statistics},
year = {1973},
volume = {22},
number = {1},
pages = {21-31}
}

@INPROCEEDINGS
(
  jones-mycroft,
  author	= {Jones, Neil D. and Mycroft, Alan},
  title		= {Stepwise Development of Operational and Denotational
		   Semantics for {P}rolog},
  booktitle	= {Proceedings of the 1984 International Symposium
		   on Logic Programming},
  month		= {February},
  publisher	= {IEEE Computer Society},
  address	= {Atlantic City, New Jersey},
  year		= 1984,
  pages		= {281-288}
)

@ARTICLE
(
  joyce-etal-monitoring-tocs87,
  author	= {Jeffrey Joyce and Greg Lomow and Konrad Slind
		   and Brian Unger},
  title		= {Monitoring Distributed Systems},
  journal	= {ACM Transactions on Computer Systems},
  volume	= 5,
  number	= 2,
  pages		= {121-150},
  year		= 1987
)

@INPROCEEDINGS
(
  joyce-etal-first-s,
  author	= {Joyce, Jeffrey J. and Day, Nancy A. and Donat, Michael R.},
  title		= {{S}:  A Machine Readable Specification Notation
		   Based on Higher Order Logic},
  booktitle	= {Higher Order Logic Theorem Proving and Its Applications,
		   7th International Workshop},
  series	= {LNCS},
  volume	= 859,
  publisher	= {Springer-Verlag},
  year		= 1994
)
%% editor	= {Melham, Thomas F. and Camilleri, Juanito},

@UNPUBLISHED
(
  joyce-etal-fuss,
  author	= {Joyce, Jeffrey J. and Day, Nancy A. and Donat, Michael R.},
  title		= {{S} -- A General-Purpose Specification Notation},
  institution	= {Department of Computer Science,
		   University of British Columbia},
  note		= {Draft report},
  year		= 1996
)

%% AUTHOR K

@INPROCEEDINGS
(
  kahn-stacs87,
  author	= {Kahn, G.},
  title		= {Natural Semantics},
  booktitle	= {Proceedings of the Symposium on Theoretical Aspects
		   of Computer Science},
  pages		= {22-39},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= 247,
  address	= {Passau, Federal Republic of Germany},
  month		= {Feb},
  year		= 1987
)

@ARTICLE
(
  fairouz-jolli1-1,
  author	= {Kamareddine, Fairouz},
  title		= {Lambda-Terms, Logic, Determiners and Quantifiers},
  journal	= {Journal of Logic, Language and Information},
  volume	= 1,
  number	= 1,
  pages		= {79-103},
  year		= 1992
)

@ARTICLE
(
  fairouz-scicomp92,
  author	= {Kamareddine, Fairouz},
  title		= {A System at the Cross-Roads of Functional and
		   Logic Programming},
  journal	= {Science of Computer Programming},
  volume	= 19,
  pages		= {239-279},
  year		= 1992
)

@BOOK
(
  kaner-etal-testing-text,
  author	= {Cem Kaner and Jack Falk and Hung Quoc Nguyen},
  title		= {Testing Computer Software},
  edition	= {2nd},
  address	= {New York},
  publisher	= {Van Nostrand Reinhold},
  year		= 1993
)

@INPROCEEDINGS
(
  kapur-tphols97,
  author	= {Kapur, Deepak},
  title		= {Rewriting, Decision Procedures and Lemma Speculation
		   for Automated Hardware Verification},
  booktitle	= {Theorem Proving in Higher Order Logics,
		   10th International Conference},
  series	= {LNCS},
  number	= 1275,
  publisher	= {Springer},
  address	= {Murray Hill, NJ},
  month		= {August},
  year		= 1997
)

@BOOK
(
  keppel-saufley,
  author	= {Geoffrey Keppel and William H. Saufley, Jr.},
  title		= {Introduction to Design and Analysis},
  publisher	= {W. H. Freeman},
  address	= {New York},
  year		= 1980
)

@ARTICLE
(
  ga-blackart,
  author	= {Mij Kelly},
  title		= {Beyond the Black Art},
  journal	= {EvoWeb News and Features},
  month		= {July},
  year		= 2001,
  note		= {evonet.lri.fr/evoweb/}
)

@TECHREPORT
(
  kiczales-etal-aspect-oriented-tr,
  author	= {Gregor Kiczales and John Lamping and Anurag Mendhekar
		   and Chris Maeda and Cristina Lopes and Jean-Marc Loingtier
		   and John Irwin},
  title		= {Aspect-Oriented Programming},
  institution	= {Xerox PARC},
  number	= {SPL97-008 P9710042},
  address	= {Palo Alto, Calif.},
  month		= {February},
  year		= 1997
)

@ARTICLE
(
  khurshid-marinov-testera,
  author	= {Sarfraz Khurshid and Darko Marinov},
  title		= {{TestEra}: Specification-Based Testing of {Java}
		  Programs Using {SAT}},
  journal	= {Automated Software Engineering},
  volume	= 11,
  number	= 4,
  pages		= {403-434},
  year		= 2004
)

@INPROCEEDINGS
(
  aspect-oriented,
    author = "Gregor Kiczales and John Lamping and Anurag Mendhekar and Chris Maeda and Cristina Lopes and Jean-Marc Loingtier and John Irwin",
    title = "Aspect-Oriented Programming",
    booktitle = "ECOOP '97 --- Object-Oriented Programming 11th European Conference",
    address = "Jyv{\"a}skyl{\"a}, Finland",
    volume = "1241",
    publisher = "Springer-Verlag",
    editor = "Mehmet Ak\c{s}it and Satoshi Matsuoka",
    pages = "220--242",
    year = "1997"
)

@INPROCEEDINGS
(
  aspect-oriented-shortref,
    author = "G. Kiczales and J. Lamping and A. Mendhekar and C. Maeda and C. Lopes and J.-M. Loingtier and J. Irwin",
    title = "Aspect-Oriented Programming",
    booktitle = "ECOOP 1997",
    address = "Jyv{\"a}skyl{\"a}, Finland",
    series = {LNCS},
    volume = "1241",
    publisher = "Springer-Verlag",
    pages = "220--242",
    year = "1997"
)

@ARTICLE
(
  kim-etal-mutation,
  author	= {Sunwoo Kim and John A. Clark and John A. McDermid},
  title		= {Investigating the Effectiveness of Object-Oriented
		   Testing Strategies with the Mutation Method},
  journal	= {Software Testing, Verification and Reliability},
  volume	= 11,
  number	= 3,
  pages		= {207-225},
  month		= {September},
  year		= 2001
)

@ARTICLE
(
  king-symbolic-1976,
  author	= {James C. King},
  title		= {Symbolic Execution and Program Testing},
  journal	= {Communications of the ACM},
  volume	= 19,
  number	= 7,
  year		= 1976,
  pages		= {385--394}
)

@ARTICLE
(
  kirani-tsai-joop94,
  author	= {S. Kirani and W. T. Tsai},
  title		= {Method Sequence Specification and Verification of Classes},
  journal	= {Journal of Object-Oriented Programming},
  volume	= 7,
  number	= 6,
  pages		= {28-38},
  month		= {October},
  year		= 1994
)

@BOOK
(
  kit,
  author	= {Edward Kit},
  title		= {Software Testing in the Real World: Improving the Process},
  publisher	= {Addison-Wesley},
  address	= {Wokingham, England},
  year		= 1995
)

@BOOK
(
  kleene-intro-meta,
  author	= {Kleene, Stephen Cole},
  title		= {Introduction to Metamathematics},
  series	= {Bibliotheca Mathematica},
  volume	= {1},
  publisher	= {North-Holland},
  address	= {Amsterdam},
  year		= 1952
)

@ARTICLE
(
  cacm-plagiarism,
  author	= {Ned Kock},
  title		= {A Case of Academic Plagiarism},
  journal	= {Communications of the ACM},
  volume	= 42,
  number	= 7,
  month		= {July},
  year		= 1999
)

@ARTICLE
(
  korel-testgen,
  author	= {Bogdan Korel},
  title		= {Automated Software Test Generation},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 16,
  number	= 8,
  month		= {August},
  year		= 1990,
  pages		= {870-879}
)

@ARTICLE
(
  korf,
  author	= {Korf, Richard E.},
  title		= {Depth-first Iterative Deepening:
		   An Optimal Admissible Tree Search},
  journal	= {Artificial Intelligence},
  volume	= 27,
  number	= 1,
  month		= {September},
  year		= 1985
)

@INPROCEEDINGS
(
  kowalski,
  author	= {Kowalski, Robert},
  title		= {Predicate Logic as Programming Language},
  booktitle	= {Information Processing 74 - Proceedings of the
		   IFIP Conference},
  year		= 1974,
  publisher	= {North-Holland}
)

@BOOK
(
  kowalski-problem-solving,
  author	= {Kowalski, Robert},
  title		= {Logic for Problem Solving},
  series	= {Artificial Intelligence},
  volume	= {7},
  publisher	= {North Holland},
  address	= {New York},
  year		= 1979
)

@INPROCEEDINGS
(
  kowalski-english,
  author	= {Kowalski, Robert},
  title		= {English as a Logic Programming Language},
  booktitle	= {UK Association for Logic Programming Conference},
  address	= {Bristol},
  month		= {March},
  year		= 1990
)

@ARTICLE
(
  kripke,
  author	= {Kripke, Saul},
  title		= {Outline of a Theory of Truth},
  journal	= {Journal of Philosophy},
  volume	= 72,
  year		= 1975,
  pages		= {690-716}
)

@INPROCEEDINGS(
  kuchen-hobabel-elp96,
  author	= {Kuchen, Herbert and Anastasiadis, Josef},
  title		= {Higher Order Babel: Language and Implementation},
  booktitle	= {Extensions of Logic Programming},
  pages		= {193-207},
  address	= {Leipzig, Germany},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= 1050,
  month		= {March},
  year		= 1996
)

@BOOK
(
  kuhn-revolutions,
  author	= {Kuhn, Thomas S.},
  title		= {The structure of scientific revolutions},
  edition	= {2nd},
  publisher	= {University of Chicago Press},
  address	= {Chicago},
  year		= 1970
)

@INPROCEEDINGS
(
  kundu-cuny-frontiers95,
  author	= {Joydip Kundu and Janice E. Cuny},
  title		= {A Scalable, Visual Interface for Debugging with
		   Event-Based Behavioral Abstraction},
  booktitle	= {Proceedings of New Frontiers on Massively Parallel
		   Processing},
  address	= {McLean, Virginia},
  month		= {February},
  year		= 1995,
  pages		= {472-479}
)

@ARTICLE
(
  kunen-negation,
  author	= {Kunen, Kenneth},
  title		= {Negation in Logic Programming},
  journal	= {Journal of Logic Programming},
  volume	= 4,
  number	= 4,
  month		= {December},
  year		= 1987,
  pages		= {298-308}
)

@INPROCEEDINGS
(
  kung-etal-compsac94,
  author	= {D. Kung and N. Suchak and J. Gao and P. Hsia
		   and Y. Toyoshima and C. Chen},
  title		= {On Object State Testing},
  booktitle	= {Proceedings of IEEE COMPSAC'94},
  address	= {Los Alamitos, Calif.},
  pages		= {222-227},
  publisher	= {IEEE Computer Society Press},
  year		= 1994
)

@ARTICLE
(
  kunz-etal-poet-compj97,
  author	= {T. Kunz and J.P. Black and D.J. Taylor and T. Basten},
  title		= {POET: Target-System-Independent Visualizations of
		   Complex Distributed-Application Executions},
  journal	= {The Computer Journal},
  volume	= 40,
  number	= 8,
  pages		= {499-512},
  month		= {September},
  year		= 1997
)

%% AUTHOR L

@INPROCEEDINGS
(
  lambek-cat,
  author	= {Lambek, J.},
  title		= {Categorial and Categorical Grammars},
  editor	= {Oehrle, Richard T. and Bach, Emmon and Wheeler, Deirdre},
  booktitle	= {Categorial Grammars and Natural Language Structures},
  series	= {Studies in Linguistics and Philosophy},
  volume	= {32},
  publisher	= {D.\ Reidel},
  address	= {Dordrecht},
  year		= 1988
)

@TECHREPORT
(
  prolog-mali,
  author	= {Brisset, Pascal and Ridoux, Olivier},
  title		= {The Compilation of {Lambda} {Prolog} and its Execution
		   with {MALI}},
  institution	= {INRIA},
  number	= 1831,
  year		= 1993
)

@TECHREPORT
(
  lamport-paulson-tr,
  author	= {Lamport, Leslie and Paulson, Lawrence C.},
  title		= {Should Your Specification Language Be Typed?},
  series	= {SRC Research Report},
  number	= 147,
  institution	= {Digital Equipment Corporation Systems Research Center},
  address	= {Palo Alto, Calif.},
  month		= {May},
  year		= 1997
)

@ARTICLE
(
  lee-yannakakis,
  author	= {David Lee and Mihalis Yannakakis},
  title		= {Principles and Methods of Testing Finite State Machines:
		   A Survey},
  journal	= "Proceedings of the {IEEE}",
  volume	= "84",
  pages		= "1090--1126",
  year		= "1996"
)

@INPROCEEDINGS
(
  lei-andrews-issre2005,
  author	= {Yong Lei and James H. Andrews},
  title		= {Minimization of Randomized Unit Test Cases},
  booktitle	= {Proceedings of the 16th IEEE International Symposium
		   on Software Reliability Engineering (ISSRE'05)},
  address	= {Chicago},
  month		= {November},
  year		= 2005,
  pages		= {267-276}
)

@INPROCEEDINGS
(
  podgurski-icse2005-empirical,
  author	= {David Leon and Wes Masri and Andy Podgurski},
  title		= {An empirical evaluation of test case filtering
		   techniques based on exercising complex information flows},
  booktitle     = {Proceedings of the 27th International Conference
                   on Software Engineering (ICSE 2005)},
  address       = {St. Louis, MO},
  month         = {May},
  year          = 2005,
  pages		= {412-421}
)

@INPROCEEDINGS
(
  leow-etal-icse2004,
  author	= {Wee Kheng Leow and Siau Cheng Khoo and Yi Sun},
  title		= {Automated Generation of Test Programs from
		   Closed Specifications of Classes and Test Cases},
  booktitle	= {Proceedings of the 26th International Conference
		   on Software Engineering (ICSE 2004)},
  address	= {Edinburgh, UK},
  month		= {May},
  year		= 2004,
  pages		= {96-105}
)

@INPROCEEDINGS
(
  leow-etal-ase2004,
  author	= {Wee Kheng Leow and Siau Cheng Khoo and Tiong Hoe Loh
		   and Vivy Suhendra},
  title		= {Heuristic Search with Reachability Tests
		   for Automated Generation of Test Programs},
  booktitle	= {Proceedings of the 19th IEEE International Conference
		   on Automated Software Engineering (ASE 2004)},
  address	= {Linz, Austria},
  month		= {September},
  year		= 2004,
  pages		= {282-285}
)

@ARTICLE
(
  leveson-etal-sfta-software91,
  author	= {Nancy G. Leveson and Stephen S. Cha and Timothy J. Shimeall},
  title		= {Safety Verification of {Ada} Programs using
		   Software Fault Trees},
  journal	= {IEEE Software},
  pages		= {48-59},
  month		= {July},
  year		= 1991
)

@ARTICLE
(
  leveson-etal-rsml-tse,
  author	= {Leveson, Nancy G. and Heimdahl, Mats P. E. and
		   Hildreth, Holly and Reese, Jon D.},
  title		= {Requirements Specification for Process-Control Systems},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 20,
  number	= 9,
  pages		= {684-707},
  year		= 1994
)

@INPROCEEDINGS
(
  levi-lang-statecharts,
  author	= {Levi, Francesca},
  title		= {A Process Language for Statecharts},
  booktitle	= {Proceedings, Analysis and Verification of
		   Multiple-Agent Languages},
  pages		= {388-403},
  publisher	= {Springer},
  series	= {LNCS},
  number	= 1192,
  year		= 1996
)

@INPROCEEDINGS
(
  levi-unfold-iclp88,
  author	= {Levi, Giorgio},
  title		= {Models, Unfolding Rules and Fixpoint Semantics},
  booktitle	= {Proceedings of the 1988 International Conference
		   and Symposium on Logic Programming},
  address	= {Seattle, Washington},
  year		= 1988,
  pages		= {1649-1665}
)

@INPROCEEDINGS
(
  levi-etal-symmetric,
  author	= {Levi, Giorgio and Martelli, Maurizo
		   and Palamidessi, Catuscia},
  title		= {Failure and Success Made Symmetric},
  booktitle	= {Proceedings of the 1990 North American Conference
		   on Logic Programming},
  address	= {Austin, Texas},
  year		= 1990,
  pages		= {3-22}
)

@ARTICLE
(
  levi-unfold-tcs92,
  author	= {Gabbrieli, Maurizio and Levi, Giorgio},
  title		= {Unfolding and Fixpoint Semantics of Concurrent
		   Constraint Logic Programs},
  journal	= {Theoretical Computer Science},
  volume	= 105,
  year		= 1992,
  pages		= {85-128}
)

@INPROCEEDINGS
(
  ledru-etal-tobias,
  author	= {Yves Ledru and Lydie du Bousquet and Olivier Maury
		   and Pierre Bontron},
  title		= {Filtering {TOBIAS} Combinatorial Test Suites},
  booktitle	= {Proceedings of ETAPS/FASE'04 -- Fundamental Approaches
		   to Software Engineering},
  pages		= {281-294},
  publisher	= {Springer-Verlag},
  series	= {LNCS},
  volume	= 2984,
  address	= {Barcelona, Spain},
  year		= 2004
)

@INPROCEEDINGS
(
  raimondas-oopsla-1997,
  author	= {Raimondas Lencevicius and Urs H\"{o}lzle and
		   Ambuj K. Singh},
  title		= {Query-Based Debugging of Object-Oriented Programs},
  booktitle	= {Proceedings of the 1997 ACM SIGPLAN Conference on
		   Object-Oriented Programming Systems, Languages and
		   Applications (OOPSLA '97)},
  address	= {Atlanta, Georgia},
  month		= {October},
  year		= 1997,
  pages		= {304-317}
)

@INPROCEEDINGS
(
  raimondas-apache-2000,
  author	= {Raimondas Lencevicius and Alexander Ran and Rahav Yairi},
  title		= {Apache Web Server Execution Tracing Using {Third Eye}},
  editor	= {Mireille Ducass\'{e}},
  booktitle	= {Proceedings of the Fourth International Workshop on
		   Automated Debugging (AADEBUG 2000)},
  address	= {Munich, Germany},
  month		= {August},
  year		= 2000
)

@MASTERSTHESIS
(
  cli-msc,
  author	= {Felix Chun Hang Li},
  title		= {Applications of Genetic Algorithms to Randomized
		   Unit Testing},
  school	= {Department of Computer Science,
		   University of Western Ontario},
  month		= {December},
  year		= 2006
)

@INPROCEEDINGS
(
  lindenstrauss-auto-term-iclp97,
  author	= {Naomi Lindenstrauss and Yehoshua Sagiv},
  title		= {Automatic Termination Analysis of Logic Programs},
  booktitle	= {Proceedings of the Fourteenth International Conference
		   on Logic Programming},
  editor	= {Lee Naish},
  pages		= {63-77},
  publisher	= {MIT Press},
  address	= {Leuven, Belgium},
  month		= {July},
  year		= 1997
)

@INPROCEEDINGS
(
  lindenstrauss-termilog-cav97,
  author	= {Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik},
  title		= {TermiLog:  A System for Checking Termination of Queries
		   to Logic Programs},
  booktitle	= {Computer Aided Verification, 9th International Conference},
  editor	= {Orna Grumberg},
  pages		= {444-447},
  publisher	= {Springer-Verlag},
  series	= {LNCS},
  number	= 1254,
  address	= {Haifa, Israel},
  month		= {June},
  year		= 1997
)

@MASTERSTHESIS
(
  vicky-msc,
  author	= {Liu, Vicky D.},
  title		= {Conformance Analysis of Communications Protocol Software
		   using Log Files},
  school	= {Department of Computer Science, University of Western
		  Ontario},
  address	= {London, Ontario, Canada},
  month		= {April},
  year		= 2002
)

@MASTERSTHESIS
(
  zliu-msc,
  author	= {Zhaoping Liu},
  title		= {Command-Oriented Development of Applications for
		   Automation of {GUI} Testing},
  school        = {Department of Computer Science,
                   University of Western Ontario},
  address       = {London, Ont., Canada},
  month         = {September},
  year          = 2000
)


@ARTICLE
(
  lloyd-db,
  author	= {Lloyd, J. W. and Topor, R. W.},
  title		= {A Basis for Deductive Database Systems},
  journal	= {Journal of Logic Programming},
  volume	= 2,
  number	= 2,
  month		= {July},
  year		= 1985
)

@BOOK
(
  lloyd-foundations,
  author	= {Lloyd, John W.},
  title		= {Foundations of Logic Programming},
  publisher	= {Springer-Verlag},
  address	= {Berlin},
  year		= 1984
)

@INPROCEEDINGS
(
  loveland-near-horn,
  author	= {Loveland, Donald W. and Reed, David W.},
  title		= {A Near-{Horn} {Prolog} for Compliation},
  booktitle	= {Computational Logic: Essays in Honor of {Alan} {Robinson}},
  editors	= {Lassez, Jean-Louis and Plotkin, Gordon},
  publisher	= {MIT Press},
  address	= {Cambridge, Mass.},
  year		= 1991,
  pages		= {542-564}
)

@INPROCEEDINGS
(
  luckham-anna,
  author	= {Luckham, D. C. and von Henke, F. W.},
  title		= {An Overview of {Anna}, A Specification Language for {Ada}},
  booktitle	= {Proceedings of the IEEE Computer Society
		   1984 Conference on Ada Applications and Environments},
  pages		= {116-127},
  address	= {St.\ Paul, Minn.},
  month		= {October},
  year		= 1984
)

@ARTICLE
(
  luckham-etal-software91,
  author	= {David Luckham and Sriram Sankar and Shuzo Takahashi},
  title		= {Two-Dimensional Pinpointing:  Debugging with
		   Formal Specifications},
  journal	= {IEEE Software},
  volume	= 8,
  number	= 1,
  pages		= {74-84},
  month		= {January},
  year		= 1991
)

%% AUTHOR M

@ARTICLE
(
  ma-etal-mujava-stvr,
  author	= {Yu-Seung Ma and Jeff Offutt and Yong Rae Kwon},
  title	        = {{MuJava} : An Automated Class Mutation System},
  journal	= {Software Testing, Verification and Reliability},
  month		= {June},
  year		= 2005,
  volume	= 15,
  number	= 2,
  pages		= {97-133}
)

@INPROCEEDINGS
(
  mayer-random-isese06,
  author	= {Johannes Mayer and Christoph Schneckenburger},
  title		= {An Empirical Analysis and Comparison of Random
		   Testing Techniques},
  booktitle	= {Proceedings of the International Symposium on
		   Empirical Software Engineering},
  year		= 2006,
  address	= {Rio de Janeiro, Brazil},
  pages		= {105-114},
)

@INPROCEEDINGS
(
  gabbay-mcbrien,
  author	= {McBrien, Peter},
  title		= {Implementing Logic Languages by Graph Rewriting},
  booktitle	= {Logic Programming:  Expanding the Horizons},
  editor	= {Dodd, Tony and Owens, Richaard and Torrance, Steve},
  pages		= {164-188},
  publisher	= {Intellect},
  address	= {Oxford},
  year		= 1991
)

@TECHREPORT
(
  mackworth-csp,
  author	= {Mackworth, Alan},
  title		= {Constraint Satisfaction},
  institution	= {Department of Computer Science,
		   University of British Columbia},
  number	= {85-15},
  month		= {September},
  year		= 1985
)

@INPROCEEDINGS
(
  maher-rat-lics88,
  author	= {Maher, Michael J.},
  title		= {Complete Axiomatizations of the Algebras of
		   Finite, Rational and Infinite Trees},
  booktitle	= {Proceedings of the Third Annual Symposium
		   on Logic In Computer Science},
  pages		= {348-357},
  publisher	= {Computer Society Press},
  address	= {Edinburgh},
  month		= {July},
  year		= 1988
)

@INPROCEEDINGS
(
  maher-iclp93,
  author	= {Maher, Michael J.},
  title		= {A Logic Programming View of {CLP}},
  booktitle	= {Proceedings of the Tenth International
		   Conference on Logic Programming},
  pages		= {737-753},
  publisher	= {MIT Press},
  address	= {Budapest},
  month		= {July},
  year		= 1993
)

@TECHREPORT
(
  maker-nana,
  author	= {Maker, Phil},
  title		= {Nana: Improved Support for Assertions and Logging
		   in {C} and {C++}},
  institution	= {School of Information Technology,
		   Northern Territory University},
  address	= {Darwin, NT, Australia},
  number	= {12-95},
  month		= {September},
  year		= 1995
)

@ARTICLE
(
  manna-wald-tse78,
  author        = {Manna, Zohar and Waldinger, Richard},
  title         = {The Logic of Computer Programming},
  journal       = {IEEE Transactions on Software Engineering},
  volume        = {SE-4},
  year          = 1978,
  pages         = {199-229}
)

@BOOK
(
  manns-coleman,
  author	= {Manns, Tom and Coleman, Michael},
  title		= {Software Quality Assurance},
  edition	= 2,
  publisher	= {Macmillan UK},
  year		= 1996
)

@BOOK
(
  hawthorne-effect,
  author	= {Elton Mayo},
  title		= {The Human Problems of an Industrial Civilization},
  publisher	= {MacMillan},
  address	= {New York},
  year		= 1993
)

@INPROCEEDINGS
(
  mlof-iiid,
  author	= {Martin-L\"{o}f, Per},
  title		= {Hauptsatz for the Intuitionistic Theory of
		   Iterated Inductive Definitions},
  booktitle	= {Proceedings of the Second Scandinavian Logic
		   Symposium},
  editor	= {Fenstad, J. E.},
  year		= 1971,
  publisher	= {North-Holland}
)

@INPROCEEDINGS
(
  mcdonald-etal-classbench-stl,
  author	= {Jason McDonald and Daniel Hoffman and Paul Strooper},
  title		= {Programmatic Testing of the {Standard Template Library}
		   Containers},
  booktitle     = {Proceedings of the 1998 International Conference
                   on Automated Software Engineering (ASE'98)},
  address       = {Honolulu, Hawaii},
  pages         = {147-156},
  month         = {October},
  year          = 1998
)

@ARTICLE
(
  mckeeman-differential,
  author	= {William M. McKeeman},
  title		= {Differential Testing for Software},
  journal	= {Digital Technical Journal},
  volume	= 10,
  number	= 1,
  pages		= {100-107},
  month		= {December},
  year		= 1998
)

@INPROCEEDINGS
(
  mehlhorn-leda,
  author	= {Mehlhorn, Kurt and N\"aher, Stefan},
  title		= {LEDA:  A Library of Efficient Data Types and Algorithms},
  booktitle	= {Proceedings of the 14th International Symposium on the
		   Mathematical Foundations of Computer Science},
  address	= {Por\c{a}bka-Kozubnik, Poland},
  month		= {August-September},
  publisher	= {Springer},
  series	= {Lecture Notes in Computer Science},
  volume	= {379},
  pages		= {88-106},
  year		= 1989
)

@TECHREPORT
(
  mellish-modes,
  author	= {Chris Mellish},
  title		= {The Automatic Generation of Mode Declarations for
		   Prolog Programs},
  series	= {DAI Research Papers},
  number	= 163,
  institution	= {Department of Artificial Intelligence, University of Edinburgh},
  month		= {August},
  year		= 1981
)

@INPROCEEDINGS
(
  mello-natali-sweng,
  author	= {Mello, Paola and Natali, Antonio},
  title		= {Logic Programming in a Software Engineering Perspective},
  booktitle	= {Proceedings of the 1989 North American Conference
		   on Logic Programming},
  pages		= {441-458},
  address	= {Cleveland, Ohio},
  year		= 1989
)

@INPROCEEDINGS
(
  memon-what-oracle,
  author	= {Atif M. Memon and Ishan Banerjee and Adithya Nagarajan},
  title		= {What Test Oracle Should {I} Use for Effective {GUI}
		  Testing?},
  booktitle     = {Proceedings of the 18th IEEE International Conference
                   on Automated Software Engineering (ASE 2003)},
  address       = {Montreal, Canada},
  month         = {October},
  year          = 2003,
  pages         = {164-173}
)

@INPROCEEDINGS
(
  owen-menzies-lurch,
  author	= {David Owen and Tim Menzies},
  title		= {Lurch: a Lightweight Alternative to Model Checking},
  pages		= {158-165},
  booktitle	= {Proceedings of the Fifteenth International
		  Conference on Software Engineering and Knowledge
		  Engineering (SEKE'2003)},
  address	= {San Francisco},
  month		= {July},
  year		= 2003
)

@INPROCEEDINGS
(
  metz-rai-woda2003,
  author	= {Edu Metz and Raimondas Lencevicius},
  title		= {Efficient Instrumentation for Performance Profiling},
  booktitle	= {Proceedings of the Workshop on Dynamic Analysis, ICSE 2003},
  address	= {Portland, Oregon},
  month		= {May},
  year		= 2003,
  pages		= {10-12}
)

@BOOK
(
  meyer-oosc,
  author	= {Meyer, Bertrand},
  title		= {Object-Oriented Software Construction},
  publisher	= {Prentice-Hall},
  year		= 1988
)

@INPROCEEDINGS
(
  meyer-lics88,
  author	= {Meyer, Albert R. and Cosmadakis, Stavros S.},
  title		= {Semantical Paradigms},
  booktitle	= {Proceedings of the Third Annual Symposium on
		   Logic in Computer Science (LICS)},
  pages		= {236-253},
  address	= {Edinburgh, Scotland},
  month		= {July},
  year		= 1988
)

@ARTICLE
(
  michael-etal-ga-tcg,
  author	= {Christoph C. Michael and Gary McGraw and Michael A. Schatz},
  title		= {Generating Software Test Data by Evolution},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 27,
  number	= 12,
  month		= {December},
  year		= 2001
)

@INPROCEEDINGS
(
  mikk-etal-northern97,
  author	= {Mikk, Erich and Lakhnech, Yassine and Petersohn, Carsta
		   and Siegel, Michael},
  title		= {On Formal Semantics of Statecharts
		   As Supported by {Statemate}},
  booktitle	= {Proceedings of the BCS-FACS Northern Formal Methods
		   Workshop},
  publisher	= {Springer},
  address	= {Ilkley, UK},
  month		= {July},
  year		= 1997
)

@ARTICLE
(
  miller-fuzz-cacm,
  author	= {Barton P. Miller and Louis Fredriksen and Bryan So},
  title		= {An empirical study of the reliability of {UNIX} utilities},
  journal	= {Commun. ACM},
  volume	= 33,
  number	= 12,
  month		= {December},
  year		= 1990,
  pages		= {32-44}
)

@UNPUBLISHED
(
  lambda-prolog-homepage,
  author	= {Miller, Dale A.},
  title		= {Lambda {Prolog} Home Page},
  note		= {\\{\tt http://www.cis.upenn.edu/~dale/lProlog/index.html/}},
  year		= 1996
)

@INPROCEEDINGS
(
  miller-scoping,
  author	= {Miller, Dale A.},
  title		= {Lexical Scoping as Universal Quantification},
  booktitle	= {Proceedings of the Sixth International Logic
		   Programming Conference},
  address	= {Lisbon, Portugal},
  month		= {June},
  year		= 1989,
  pages		= {268-283}
)

@INPROCEEDINGS
(
  miller-lambda,
  author	= {Miller, Dale A. and Nadathur, Gopalan},
  title		= {Higher-order Logic Programming},
  booktitle	= {Proceedings of the Third International Logic
		   Programming Conference},
  address	= {Imperial College, London},
  month		= {July},
  year		= 1986
)

@INPROCEEDINGS
(
  miller-nadathur-ling,
  author	= {Miller, Dale A. and Nadathur, Gopalan},
  title		= {Some Uses of Higher-Order Logic in
		   Computational Linguistics},
  booktitle	= {Proceedings of the 24th Annual Meeting
		   of the Association for Computational Linguistics},
  pages		= {247-255},
  year		= 1986
)

@INPROCEEDINGS
(
  miller-patterns,
  author	= {Miller, Dale},
  title		= {A Logic Programming Language with Lambda-Abstraction,
		   Function Variables, and Simple Unification},
  booktitle	= {Extensions of Logic Programming},
  editor	= {Schroeder-Heister, Peter},
  publisher	= {Springer},
  series	= {LNCS},
  number	= 475,
  pages		= {253-281},
  year		= 1991
)

@ARTICLE
(
  miller-journal,
  author	= {Miller, Dale and Nadathur, Gopalan and
		   Pfenning, Frank and Scedrov, Andre},
  title		= {Uniform Proofs as a Foundation for Logic Programming},
  journal	= {Annals of Pure and Applied Logic},
  volume	= {51},
  year		= 1991,
  pages		= {125-157}
)

@TECHREPORT
(
  miller-uniform,
  author	= {Miller, Dale and Nadathur, Gopalan and Scedrov, Andre},
  title		= {Hereditary {Harrop} Formulas and Uniform Proof Systems},
  institution	= {Department of Computer and Information Science,
		   University of Pennsylvania},
  address	= {Philadelphia},
  number	= {MS-CIS-87-24},
  month		= {March},
  year		= 1987
)

@MISC
(
  miller-personal-nov93,
  author	= {Miller, Dale},
  month		= {November},
  year		= 1993,
  note		= {Personal communication.}
)

@ARTICLE
(
  mills-cleanroom,
  author	= {Harlan D. Mills and Michael Dyer and Richard Linger},
  title		= {Cleanroom Software Engineering},
  journal	= {IEEE Software},
  volume	= 4,
  number	= 5,
  pages		= {19-24},
  month		= {September},
  year		= 1987
)

@BOOK
(
  mendelson,
  author	= {Mendelson, Elliott},
  title		= {Introduction to Mathematical Logic},
  publisher	= {D. van Nostrand},
  address	= {Princeton},
  year		= 1964
)

@BOOK
(
  milner-ccs,
  author	= {Milner, Robin},
  title		= {A Calculus of Communicating Systems},
  publisher	= {Springer-Verlag},
  address	= {Berlin},
  series	= {Lecture Notes in Computer Science},
  volume	= {92},
  year		= 1980
)

@BOOKLET
(
  milner-opsem,
  author	= {Milner, Robin},
  title		= {Operational Semantics Course Notes},
  address	= {Department of Computer Science,
		   University of Edinburgh},
  note		= {Notes for Operational Semantics course given
		   in Spring, 1988.},
  year		= 1988
)

@incollection
(
  milner-ccs-handbook,
  author = {Robin Milner},
  TITLE = {Operational and Algebraic Semantics of Concurrent Processes},
  YEAR = 1990,
  BOOKTITLE = {Handbook of Theoretical Computer Science:
               Volume B: Formal Models and Semantics},
  EDITOR = {J. van Leeuwen},
  PUBLISHER = {Elsevier},
  ADDRESS = {Amsterdam},
  PAGES = {1201-1242},
  KEYWORDS = {}
)


@ARTICLE
(
  milner-turing-lecture,
  author	= {Milner, Robin},
  title		= {Turing Award Lecture:  Elements of Interaction},
  journal	= {Communications of the ACM},
  month		= {January},
  year		= 1993,
  pages		= {77-89}
)

@BOOK
(
  monk,
  author	= {Monk, James Donald},
  title		= {Mathematical Logic},
  publisher	= {Springer-Verlag},
  address	= {New York},
  series	= {Graduate texts in mathematics},
  volume	= {37},
  year		= {1976}
)

@BOOK
(
  morley-visimpaired-gui,
  author	= {Sarah Morley},
  title		= {Window Concepts: An Introductory Guide for
		  Visually Disabled Users},
  publisher	= {Royal National Institute for the Blind},
  address	= {London},
  year		= 1995
)

@ARTICLE
(
  morrill-intensionality,
  author	= {Morrill, Glyn},
  title		= {Intensionality and Boundedness},
  journal	= {Linguistics and Philosophy},
  volume	= 13,
  number	= 6,
  pages		= {699-726},
  month		= {December},
  year		= 1990
)

@UNPUBLISHED
(
  morrison-logfiles-perscomm,
  author	= {Morrison, Jack},
  title		= {Personal communication},
  institution	= {Sun BOS Product Assurance},
  month		= {February},
  year		= 1998
)

@BOOK
(
  motulsky-stats,
  author	= {Harvey Motulsky},
  title		= {Intuitive Biostatistics},
  publisher	= {Oxford University Press},
  address	= {New York},
  year		= 1995
)

@INPROCEEDINGS
(
  murthy-lics91,
  author	= {Murthy, Chetan R.},
  title		= {An Evaluation Semantics for Classical Proofs},
  booktitle	= {Proceedings of the Fifth Annual Symposium on Logic
		   in Computer Science},
  publisher	= {IEEE},
  year		= 1991
)

@BOOK
(
  myers-testing-book,
  author	= {Glenford J. Myers},
  title		= {The Art of Software Testing},
  publisher	= {Wiley},
  address	= {New York},
  year		= 1979
)

%% AUTHOR N

@TECHREPORT
(
  nad-jaya-wilson-tr,
  author	= {Nadathur, Gopalan and Jayaraman, Bharat and
		   Wilson, Debra Sue},
  title		= {Implementation Considerations for Higher-Order
		   Features in Logic Programming},
  institution	= {Dept. of Computer Science, Duke University},
  address	= {Durham, NC},
  number	= {CS-1993-16},
  month		= {June},
  year		= 1993
)

@TECHREPORT
(
  nad-jaya-kwon-tr,
  author	= {Nadathur, Gopalan and Jayaraman, Bharat and
		   Kwon, Keehang},
  title		= {Scoping Constructs in Logic Programming:
		   Implementation Problems and their Solution},
  institution	= {Dept. of Computer Science, Duke University},
  address	= {Durham, NC},
  number	= {CS-1994-35},
  month		= {October},
  year		= 1994
)

@INPROCEEDINGS
(
  nadathur-miller-hbk,
  author	= {Nadathur, Gopalan and Miller, Dale},
  title		= {Higher-Order Logic Programming},
  booktitle	= {Handbook of Logic in Artificial Intelligence
		   and Logic Programming},
  editor	= {Gabbay, D. and Hogger, C. and Robinson, A.},
  publisher	= {Oxford University Press},
  address	= {Oxford},
  year		= 1994
)

@MANUAL
(
  mu-prolog,
  author	= {Naish, Lee},
  title		= {{MU}-{P}rolog 3.1db Reference Manual},
  organization	= {University of Melbourne},
  year		= 1984
)

@TECHREPORT
(
  naish,
  author	= {Naish, Lee},
  title		= {All Solutions Predicates in {P}rolog},
  institution	= {Department of Computer Science,
		   University of Melbourne},
  address	= {Melbourne},
  number	= {84/4},
  year		= 1984
)

@BOOK
(
  naish-negation-lncs,
  author	= {Naish, Lee},
  title		= {Negation and Control in {Prolog}},
  publisher	= {Springer},
  series	= {Lecture Notes in Computer Science},
  number	= 238,
  year		= 1986
)


@INPROCEEDINGS
(
  naish-etal-nude,
  author	= {Naish, Lee and Dart, Philip W. and Zobel, Justin},
  title		= {The {NU-Prolog} Debugging Environment},
  booktitle	= {Logic Programming:  Proceedings of the Sixth
		   International Conference},
  address	= {Lisbon},
  month		= {June},
  year		= 1989,
  publisher	= {MIT Press},
  pages		= {521-536}
)

@BOOK
(
  nardi-smop,
  author	= {Nardi, Bonnie A.},
  title		= {A Small Matter of Programming},
  publisher	= {MIT Press},
  address	= {Cambridge, Mass.},
  year		= 1993
)

@INPROCEEDINGS
(
  nelson-cowan-formal-hyperslices,
  author	= {Torsten Nelson and Donald Cowan and Paulo Alencar},
  title		= {Towards a Formal Model of Object-Oriented Hyperslices},
  booktitle	= {First Workshop on Multi-Dimensional Separation of Concerns
		   in Object-Oriented Systems (OOPSLA'99)},
  address	= {Denver, Col.},
  month		= {November},
  year		= 1999
)

@INPROCEEDINGS
(
  nesi-hug93,
  author	= {Nesi, Monica},
  title		= {Value-Passing {CCS} in {HOL}},
  booktitle	= {{HOL} Users' Group Workshop},
  address	= {Vancouver},
  month		= {August},
  year		= 1993,
)

@ARTICLE
(
  nicholson-foo,
  author	= {Nicholson, Tim and Foo, Norman},
  title		= {A Denotational Semantics for {P}rolog},
  journal	= {{ACM} Transactions on Programming Languages and Systems},
  volume	= 11,
  month		= {October},
  year		= 1989,
  pages		= {650-665}
)

@INPROCEEDINGS
(
  nipkow-lics93,
  author	= {Nipkow, Tobias},
  title		= {Functional Unification of Higher-Order Patterns},
  booktitle	= {Proceedings of the 8th IEEE Symposium on Logic
		   in Computer Science (LICS)},
  pages		= {64-74},
  year		= 1993
)

@INPROCEEDINGS
(
  norman-mentions-visicalc,
  author	= {Norman, Donald A.},
  title		= {Cognitive Engineering},
  pages		= {31-61},
  booktitle	= {User Centered System Design:  New Perspectives
		   on Human-Computer Interaction},
  editor	= {Norman, Donald A. and Draper, Stephen W.},
  address	= {Hillsdale, N.J.},
  publisher	= {L. Erlbaum Associates},
  year		= 1983
)

@INPROCEEDINGS
(
  ntafos-icse84,
  author	= {Simeon C. Ntafos},
  title		= {An Evaluation of Required Element Testing Strategies},
  pages		= {250-256},
  booktitle	= {Proceedings of the 7th International Conference
		   on Software Engineering},
  address	= {Orlando, Florida},
  month		= {March},
  year		= 1984
)

%% AUTHOR O

@BOOK
(
  oehrle-ed-book,
  editor	= {Oehrle, Richard T. and Bach, Emmon and Wheeler, Deirdre},
  title		= {Categorial Grammars and Natural Language Structures},
  series	= {Studies in Linguistics and Philosophy},
  volume	= {32},
  publisher	= {D.\ Reidel},
  address	= {Dordrecht},
  year		= 1988
)

@ARTICLE
(
  offutt-coupling-tosem92,
  author	= {A. Jefferson Offutt},
  title		= {Investigations of the Software Testing Coupling Effect},
  journal	= {ACM Transactions on Software Engineering and Methodology},
  volume	= 1,
  number	= 1,
  month		= {January},
  year		= 1992,
  pages		= {5-20}
)

@INPROCEEDINGS
(
  offutt-mutation-2000,
  author	= {A. Jefferson Offutt and Roland Untch},
  title		= {Mutation 2000: Uniting the Orthogonal},
  booktitle	= {Mutation 2000: Mutation Testing in the Twentieth
		   and the Twenty First Centuries},
  pages		= {45-55},
  address	= {San Jose, CA},
  month		= {October},
  year		= 2000
)

@INPROCEEDINGS
(
  offutt-uml-tsg,
  author	= {A. Jefferson Offutt and Aynur Abdurazik},
  title		= {Generating Tests from {UML} Specifications},
  booktitle	= {Second International Conference on UML},
  address	= {Fort Collins, CO},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= 1723,
  pages		= {416-429},
  month		= {October},
  year		= 1999
)

@INPROCEEDINGS
(
  okeefe-cuts,
  author	= {O'Keefe, Richard},
  title		= {On the Treatment of Cuts in {P}rolog Source-level Tools},
  booktitle	= {Proceedings of the 1985 Symposium on Logic Programming},
  address	= {Boston},
  month		= {July},
  year		= 1985,
  pages		= {68-72}
)

@BOOK
(
  okeefe-craft,
  author	= {O'Keefe, Richard A.},
  title		= {The Craft of {Prolog}},
  publisher	= {MIT Press},
  address	= {Cambridge, Mass.},
  year		= 1990
)

@INPROCEEDINGS
(
  omalley-calif96,
  author	= {O'Malley, T. Owen and Richardson, Debra J. and
		   Dillon, Laura K.},
  title		= {Efficient Specification-Based Oracles for Critical Systems},
  booktitle	= {Proceedings of the California Software Symposium},
  address	= {Los Angeles},
  pages		= {50-59},
  month		= {April},
  year		= 1996
)

@TECHREPORT
(
  oriat-jartege,
  author	= {Catherine Oriat},
  title		= {Jartege:  A Tool for Random Generation of Unit Tests
		   for {Java} Classes},
  institution	= {Institut d'Informatique et de Math\'{e}matiques
		   Appliqu\'{e}es de Grenoble (IMAG)},
  address	= {Grenoble, France},
  number	= {RR 1069},
  month		= {June},
  year		= 2004
)

@BOOK
(
  ousterhout-tcltk,
  author	= {John Ousterhout},
  title		= {Tcl and the Tk Toolkit},
  publisher	= {Addison-Wesley},
  address	= {Reading, Mass.},
  year		= 1994
)

%% AUTHOR P

@INPROCEEDINGS
(
  pacheco-etal-icse2007,
  author	= {Carlos Pacheco and Shuvendru K. Lahiri and
		   Michael D. Ernst and Thomas Ball},
  title		= {Feedback-Directed Random Test Generation},
  booktitle	= {Proceedings of the 29th International Conference
		   on Software Engineering (ICSE 2007)},
  address	= {Minneapolis, MN},
  month		= {May},
  year		= 2007,
  pages		= {75-84}
)

@BOOK
(
  papert-first-logo,
  author	= {Seymour Papert},
  title		= {Mindstorms: Children, Computers and Powerful Ideas},
  publisher	= {Basic Books},
  address	= {New York, NY},
  year		= 1980
)

@ARTICLE
(
  pargas-etal-ga-tcg,
  author	= {Roy P. Pargas and Mary Jean Harrold and Robert R. Peck},
  title		= {Test-Data Generation Using Genetic Algorithms},
  journal	= {Journal of Software Testing, Verification and Reliability},
  volume	= 9,
  issue		= 4,
  pages		= {263-282},
  month		= {December},
  year		= 1999
)

@ARTICLE
(
  parnas-rational,
  author	= {David L. Parnas and Peter C. Clements},
  title		= {A rational design process: How and why to fake it},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 12,
  issue		= 2,
  month		= {February},
  year		= 1986,
  pages		= {251-257}
)

@ARTICLE
(
  parnas-trace-rewriting,
  author	= {Wang, Yabo and Parnas, David Lorge},
  title		= {Simulating the Behavior of Software Modules
		   by Trace Rewriting},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 20,
  number	= 10,
  month		= {October},
  year		= 1994
)

@INPROCEEDINGS
(
  park-bisim,
  author	= {Park, David},
  title		= {Concurrency and Automata on Infinite Sequences},
  booktitle	= {5th GI Conference},
  series	= {LNCS},
  volume	= 104,
  publisher	= {Springer},
  address	= {Berlin},
  year		= 1981
)

@ARTICLE
(
  pereira-extra,
  author	= {Pereira, Fernando},
  title		= {Extraposition Grammars},
  journal	= {American Journal for Computational Linguistics},
  volume	= 7,
  year		= 1981,
  pages		= {243-256}
)

@ARTICLE
(
  pereira-warren-dcgs,
  author	= {Pereira, Fernando and Warren, David H. D.},
  title		= {Definite Clause Grammars for Language Analysis --
		   A Survey of the Formalism and a Comparison
		   with Transition Networks},
  journal	= {Artificial Intelligence},
  volume	= 13,
  year		= 1980,
  pages		= {231-278}
)

@INPROCEEDINGS
(
  peters-parnas-genoracle,
  author	= {Peters, Dennis K. and Parnas, David L.},
  title		= {Using Test Oracles Generated from Program Documentation},
  booktitle	= {Proceedings of the International Symposium
		   on Software Testing and Analysis},
  year		= 1984
)

@ARTICLE
(
  peters98using,
  author	= "Dennis K. Peters and David Lorge Parnas",
  title		= "Using Test Oracles Generated from Program Documentation",
  journal	= "IEEE Transactions on Software Engineering",
  volume	= "24",
  number	= "3",
  pages		= "161-173",
  year		= "1998"
)
   


@INPROCEEDINGS
(
  pfenning-elf-lics89,
  author	= {Pfenning, Frank},
  title		= {Elf: A language for logic definition and verified
		   metaprogramming},
  booktitle	= {Proceedings of the Fourth Annual Symposium on Logic in
		   Computer Science (LICS'89)},
  pages		= {313-322},
  address	= {Asilomar Conference Center, Pacific Grove, California},
  month		= {June},
  year		= 1989,
  publisher	= {IEEE Computer Society Press}
)

@ARTICLE
(
  pfenning-alpnewsletter,
  author	= {Frank Pfenning},
  title		= {Logical Frameworks at {CMU}},
  journal	= {{ALP} Newsletter},
  volume	= 14,
  number	= 2,
  month		= {May},
  year		= 2001
)

@ARTICLE
(
  pientka-alpnewsletter,
  author	= {Brigitte Pientka},
  title		= {Overcoming Performance Barriers:  Efficient Proof Search
		   in Logical Frameworks},
  journal	= {{ALP} Newsletter},
  volume	= 16,
  number	= {2-3},
  month		= {May-August},
  year		= 2003
)


@TECHREPORT
(
  pierce-turner-pict-tr,
  author	= {Benjamin C. Pierce and David N. Turner},
  title		= {Pict: A Programming Language Based on the Pi-Calculus},
  institution	= {Indiana University},
  number	= {CSCI Technical Report 476},
  month		= {March},
  year		= 1997
)

@Article(
  IC::PierroMP1995,
  refkey =       "C1345",
  title =        "Negation as Instantiation",
  author =       "Alessandra Di Pierro and Maurizio Martelli and
                 Catuscia Palamidessi",
  pages =        "263--278",
  journal =      "Information and Computation",
  month =        "1~" # aug,
  year =         "1995",
  volume =       "120",
  number =       "2"
)

@UNPUBLISHED
(
  pine-website,
  author	= {Anonymous},
  title		= {Pine Information Center},
  note		= {Home page for the Pine mailer software,
		   by the Pine Development Team.
		   URL {\tt www.washington.edu/pine/}.},
  year		= 1998
)

@INPROCEEDINGS
(
  pizza-strigini,
  author	= {Michele Pizza and Lorenzo Strigini},
  title		= {Comparing the Effectiveness of Testing Methods in
		   Improving Programs},
  booktitle	= {Proceedings of the Ninth International Symposium
		   on Software Reliability Engineering},
  address	= {Paderborn, Germany},
  pages		= {144-153},
  month		= {November},
  year		= 1998
)

@ARTICLE
(
  plotkin-lcf-considered,
  author	= {Plotkin, Gordon},
  title		= {{LCF} Considered as a Programming Language},
  journal	= {Theoretical Computer Science},
  volume	= 5,
  year		= 1977,
  pages		= {223-256}
)

@TECHREPORT
(
  plotkin-opsem,
  author	= {Plotkin, Gordon},
  title		= {A Structural Approach to Operational Semantics},
  institution	= {Computer Science Department, Aarhus University},
  address	= {Aarhus},
  number	= {DAIMI FN-19},
  month		= {September},
  year		= 1981,
)

@BOOK
(
  pluemer-lncs,
  author	= {Pl{\"{u}}mer, Lutz},
  title		= {Termination Proofs for Logic Programs},
  series	= {Lecture Notes in Artificial Intelligence},
  volume	= {446},
  publisher	= {Springer-Verlag},
  address	= {Berlin},
  year		= 1990
)


@INPROCEEDINGS
(
  pluemer-pfs-modes,
  author	= {Pl{\"{u}}mer, Lutz},
  title		= {Termination Proofs for Logic Programs
		   based on Predicate Inequalities},
  booktitle	= {Proceedings of the 1990 International Conference
		   on Logic Programming},
  address	= {Jerusalem},
  month		= {July},
  year		= 1990,
  pages		= {634-648}
)

@INPROCEEDINGS
(
  pnueli-shalev-stacs91,
  author	= {Pnueli, A. and Shalev, M.},
  title		= {What is In a Step: On the Semantics of Statecharts},
  booktitle	= {Proceedings of the Symposium on Theoretical Aspects
		   of Computer Software},
  address	= {Berlin},
  series	= {LNCS},
  publisher	= {Springer},
  volume	= 526,
  pages		= {244-264},
  year		= 1991
)

@ARTICLE
(
  poole-goebel,
  author	= {Poole, David and Goebel, Randy},
  title		= {On Eliminating Loops in {P}rolog},
  journal	= {{SIGPLAN} Notices},
  volume	= 20,
  number	= 8,
  year		= 1985,
  pages		= {38-40}
)

@ARTICLE
(
  porter-tse-jun95,
  author	= {Adam Porter and Laurence Votta and Victor Basili},
  title		= {Comparing Detection Methods for Software Requirement
		   Inspections:  A Replicated Experiment},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 21,
  number	= 6,
  month		= {June},
  year		= 1995,
  pages		= {563-575}
)

@ARTICLE
(
  porter-jse-dec98,
  author	= {Adam Porter and Laurence Votta},
  title		= {Comparing Detection Methods for Software Requirement
		   Inspections:  A Replication using Professional Subjects},
  journal	= {Journal of Software Engineering},
  volume	= 3,
  number	= 4,
  month		= {December},
  year		= 1998,
  pages		= {355-379}
)

@ARTICLE
(
  prawitz-thmproving,
  author	= {Prawitz, Dag},
  title		= {An Improved Proof Procedure},
  journal	= {Theoria},
  volume	= 26,
  year		= 1960,
  pages		= {102-139}
)

@BOOK
(
  prawitz,
  author	= {Prawitz, Dag},
  title		= {Natural Deduction:  A Proof-Theoretical Study},
  series	= {Acta Universitatis Stockholmiensis,
		   Stockholm Studies in Philosophy},
  volume	= 3,
  publisher	= {Almqvist and Wiksell},
  address	= {Uppsala},
  year		= 1965
)

@INPROCEEDINGS
(
  hovemeyer-pugh-findbugs,
  author	= {David Hovemeyer and William Pugh},
  title		= {Finding Bugs is Easy},
  booktitle	= {OOPSLA Companion 2004:  Companion to the
		  19th Annual ACM SIGPLAN Conference on Object-Oriented
		  Programming, Systems, Languages, and Applications},
  pages		= {132-136},
  address	= {Vancouver, BC, Canada},
  month		= {October},
  year		= 2004
)

@INPROCEEDINGS
(
  pyo-reddy-type-inf,
  author	= {Pyo, Changwoo and Reddy, Uday S.},
  title		= {Inference of Polymorphic Types for Logic Programs},
  booktitle	= {Proceedings of the 1989 North American Conference
		   on Logic Programming},
  address	= {Cleveland, Ohio},
  year		= 1989,
  pages		= {1115-1132}
)

%% AUTHOR Q

@INPROCEEDINGS
(
  qiao-zhang-lfa,
  author	= {S. Qiao and H. Zhang},
  title		= {An Automatic Logfile Analyzer for Parallel Programs},
  booktitle	= {Proceedings of the International Conference on Parallel
		   and Distributed Processing Techniques and Applications,
		   Vol. III},
  editor	= {H. R. Arabnia},
  pages		= {1371-1376},
  address	= {Las Vegas, Nevada, USA},
  date		= {June 28 - July 1},
  year		= 1999
)

%% AUTHOR R

@TECHREPORT
(
  rtca-do-178b,
  author	= {{Radio Technical Commission for Aeronautics}},
  title		= {Software Considerations in Airborne Systems and
		   Equipment Certification Requirements},
  institution	= {Radio Technical Commission for Aeronautics},
  number	= {RTCA/DO-178B},
  month		= {December},
  year		= 1992
)

@INPROCEEDINGS
(
  rajan-holtp93,
  author	= {Rajan, P. Sreeranga},
  title		= {Executing {HOL} Specifications:  Towards an Evaluation
		   Semantics for Classical Higher Order Logic},
  booktitle	= {Higher Order Logic Theorem Proving and its Applications},
  editor	= {Claesen, L. J. M. and Gordon, M. J. C.},
  address	= {Leuven, Belgium},
  publisher	= {Elsevier},
  month		= {September},
  year		= 1992
)

@UNPUBLISHED
(
  rational-info,
  author	= {Rational Software Corporation},
  title		= {Information on the Purify Tool},
  note		= {URL: {\tt http://www.rational.com/products/purify/index.html}}
)

@BOOK
(
  read,
  author	= {Read, Stephen},
  title		= {Relevant Logic},
  publisher	= {Blackwell},
  address	= {Oxford},
  year		= 1988
)

@UNPUBLISHED
(
  redhat-snav,
  author	= {Red Hat Inc.},
  title		= {{SourceNavigator} web pages},
  note		= {{\tt sources.redhat.com/sourcenav}, or reachable by
		   searching {\tt www.redhat.com}},
  year		= 2000
)

@BOOKLET
(
  reddy-types-tut,
  author	= {Reddy, Uday S.},
  title		= {Types in Logic Programming},
  address	= {Austin, Texas},
  month		= {October-November},
  year		= 1988,
  note		= {Notes for tutorial given at the North American
		   Conference on Logic Programming}
)

@INPROCEEDINGS
(
  redwine-riddle,
  author	= {Redwine, Samuel and Riddle, William},
  title		= {Software Technology Maturation},
  booktitle	= {Proceedings of the 8th International Conference
		   on Software Engineering (ICSE'85)},
  month		= {August},
  year		= 1985,
  address	= {London},
  pages		= {189-200}
)

@MASTERSTHESIS
(
  rela04,
  author	= {Leo Rela},
  title		= {Evolutionary Computing in Search-Based Software Engineering},
  year		= 2004,
  institution	= {Department of Information Technology},
  school	= {Lappeenranta University of Technology}
)

@INPROCEEDINGS
(
  richardson-icse92,
  author	= {Richardson, Debra J. and Aha, Stephanie Leif and
		   O'Malley, T. Owen},
  title		= {Specification-Based Test Oracles for Reactive Systems},
  booktitle	= {Proceedings of the 14th International Conference
		   on Software Engineering},
  address	= {Melbourne, Australia},
  pages		= {105-118},
  month		= {May},
  year		= 1992
)

@BOOK
(
  arobinson,
  author	= {Robinson, Abraham},
  title		= {On the Metamathematics of Algebra},
  publisher	= {North-Holland},
  address	= {Amsterdam},
  year		= 1951
)

@ARTICLE
(
  robinson,
  author	= {Robinson, J. Alan},
  title		= {A Machine-Oriented Logic Based on the Resolution Principle},
  journal	= {Journal of the Association for Computing Machinery},
  volume	= 12,
  year		= 1965,
  pages		= {23-41}
)

@INPROCEEDINGS
(
  roeckl-sangiorgi,
  author	= {Christine R\"{o}ckl and Davide Sangiorgi},
  title		= {A Pi-Calculus Procsss Semantics of Concurrent
		   Idealised {ALGOL}},
  booktitle	= {Proceedings of FOSSACS 1999},
  series	= {LNCS},
  publisher	= {Springer},
  number	= {1578},
  pages		= {306-321},
  year		= 1999
)

@ARTICLE
(
  rosenblum-assertions-tse,
  author	= {David S. Rosenblum},
  title		= {A Practical Approach to Programming with Assertions},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 21,
  number	= 1,
  pages		= {19-31},
  month		= {January},
  year		= 1995
)

@article{
  offutt-etal-sufficient-tse96,
  author	= {A. Jefferson Offutt and Ammei Lee and Gregg Rothermel
		   and Roland H. Untch and Christian Zapf},
  title		= {An Experimental Determination of Sufficient Mutant Operators},
  journal	= {ACM Transactions on Software Engineering and Methodology},
  volume	= {5},
  number	= {2},
  month		= {April},
  year		= {1996},
  pages		= {99-118}
}

@INPROCEEDINGS
(
  rothermel-etal-effects-minimization,
  author	= {Gregg Rothermel and Mary Jean Harrold and
		   Jeffery Ostrin and Christie 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 (ICSM '98)},
  month		= {November},
  year		= 1998,
  pages		= {34-43},
  address	= {Washington, DC, USA}
)

@BOOK
(
  rumbaugh-oo,
  author	= {James Rumbaugh and Michael Blaha and William Premerlani
		   and Frederick Eddy and William Lorensen},
  title		= {Object-Oriented Modeling and Design},
  publisher	= {Prentice Hall},
  address	= {Englewood Cliffs, NJ},
  year		= 1991
)

%% AUTHOR S

@ARTICLE
(
  saab-genetic-random,
  author	= {Daniel G. Saab and Youssef G. Saab and Jacob A. Abraham},
  title		= {Automatic Test Vector Cultivation for Sequential
		   VLSI Circuits Using Genetic Algorithms},
  journal	= {IEEE Transactions on Computer Aided Design of
		   Integrated Circuits and Systems},
  month		= {October},
  year		= 1996,
  volume	= 15,
  number	= 10,
  pages		= {1278-1285}
)

@ARTICLE
(
  saiedian-invitation,
  author	= {Hossein Saiedian},
  title		= {An Invitation to Formal Methods},
  journal	= {IEEE Computer},
  volume	= 29,
  number	= 4,
  pages		= {16-30},
  month		= {April},
  year		= 1996
)

@TECHREPORT
(
  sankar-etal-oracle-tr-93,
  author	= {Sriram Sankar and Anoop Goyal and Prakash Sikchi},
  title		= {Software Testing using Algebraic Specification
		   Based Test Oracles},
  institution	= {Computer Systems Laboratory, Stanford},
  number	= {CSL-TR-93-566},
  month		= {April},
  year		= 1993
)

@ARTICLE
(
  sannella-tarlecki-fml-devel,
  author	= {Sannella, Donald and Tarlecki, Andrzej},
  title		= {Toward Formal Development of Programs from Algebraic
		   Specifications: Implementations Revisited},
  journal	= {Acta Informatica},
  volume	= 25,
  number	= 3,
  pages		= {233-281},
  year		= 1988
)

@PHDTHESIS
(
  saraswat-phd,
  author	= {Saraswat, Vijay A.},
  title		= {Concurrent Constraint Programming Languages},
  school	= {Carnegie-Mellon University, Department of Computer Science},
  address	= {Pittsburgh},
  number	= {CMU-CS-89-108},
  month		= {January},
  year		= 1989
)


@INPROCEEDINGS
(
  sato,
  author	= {Sato, Taisuke},
  title		= {Negation and Semantics of {P}rolog Programs},
  booktitle	= {Proceedings of the First International Logic
		   Programming Conference},
  year		= 1982,
  pages		= {169-174}
)

@ARTICLE
(
  sato-unfold-tcs92,
  author	= {Sato, Taisuke},
  title		= {Equivalence-Preserving First-Order Unfold/Fold
		   Transformation Systems},
  journal	= {Theoretical Computer Science},
  volume	= 105,
  year		= 1992,
  pages		= {57-84}
)

@PHDTHESIS
(
  machine-readable-csp,
  author	= {J. Bryan Scattergood},
  title		= {The Semantics and Implementation of Machine-Readable CSP},
  school	= {Oxford University},
  year		= 1998
)

@INPROCEEDINGS
(
  scott-combinators,
  author	= {Scott, Dana},
  title		= {Combinators and Classes},
  booktitle	= {Lambda-Calculus and Computer Science Theory},
  series	= {Lecture Notes in Computer Science},
  volume	= 37,
  pages		= {1-26},
  publisher	= {Springer-Verlag},
  year		= 1975
)

@INPROCEEDINGS
(
  scott-domains-icalp82,
  author	= {Scott, Dana},
  title		= {Domains for Denotational Semantics},
  booktitle	= {International Colloquium on Automata, Languages,
		   and Programming},
  year		= 1982
)

@INPROCEEDINGS
(
  sen-etal-cute,
  author	= {Koushik Sen and Darko Marinov and Gul Agha},
  title		= {{CUTE}: a Concolic Unit Testing Engine for {C}},
  pages		= {263-272},
  booktitle	= {Proceedings of the 13th ACM SIGSOFT International
		  Symposium on Foundations of Software Engineering (ESEC/FSE)},
  address	= {Lisbon},
  month		= {September},
  year		= 2005 
)

@ARTICLE
(
  shapiro-survey,
  author	= {Shapiro, Ehud},
  title		= {The Family of Concurrent Logic Programming Languages},
  journal	= {ACM Computing Surveys},
  volume	= 21,
  number	= 3,
  month		= {September},
  year		= 1989,
  pages		= {412-510}
)

@ARTICLE
(
  shapiro-takeuchi,
  author	= {Shapiro, Ehud and Takeuchi, Akikazu},
  title		= {Object Oriented Programming in {C}oncurrent {P}rolog},
  journal	= {New Generation Computing},
  volume	= {1},
  number	= {1},
  year		= 1983
)

@BOOK
(
  shoenfield,
  author	= {Shoenfield, Joseph},
  title		= {Mathematical Logic},
  publisher	= {Addison-Wesley},
  address	= {Reading, Mass.},
  year		= 1967
)

@INPROCEEDINGS
(
  skipper-model-composition,
  author	= {Skipper, Mark},
  title		= {A Model of Composition Oriented Programming},
  booktitle     = {Workshop on Multi-Dimensional Separation of Concerns
                   in Software Development, ICSE 2000},
  address       = {Limerick, Ireland},
  month         = {June},
  year          = 2000
)

@ARTICLE
(
  slaney,
  author	= {Slaney, John},
  title		= {A General Logic},
  journal	= {Australasian Journal of Philosophy},
  volume	= 68,
  number	= 1,
  month		= {March},
  year		= {1990},
  pages		= {74-88}
)

@BOOK
(
  smullyan-fol,
  author	= {Smullyan, Raymond M.},
  title		= {First-Order Logic},
  publisher	= {Springer-Verlag},
  address	= {Berlin},
  year		= 1968
)

@ARTICLE
(
  mercury-jlp,
  author	= {Zoltan Somogyi and Fergus Henderson and Thomas Conway},
  title		= {The Execution Algorithm of {Mercury}, an Efficient
		   Purely Declarative Logic Programming Language},
  journal	= {Journal of Logic Programming},
  volume	= 29,
  number	= {1-3},
  pages		= {17-64},
  year		= 1996
)

@BOOK
(
  sperber-wilson,
  author	= {Sperber, Dan and Wilson, Deirdre},
  title		= {Relevance:  Communication and Cognition},
  publisher	= {Harvard University Press},
  address	= {Cambridge, Massachussetts},
  year		= 1986
)

@TECHREPORT
(
  stabler,
  title		= "The Logical Approach to Syntax: Foundations, Specifications
		   and Implementations of Theories of Government and Binding",
  author	= "Stabler, Jr., E. P.",
  institution	= "Department of Linguistics, UCLA",
  month		= "November",
  year		= "1988"
)

@INPROCEEDINGS
(
  staerk-lics94,
  author	= {St{\"{a}}rk, Robert},
  title		= {The Declarative Semantics of the {P}rolog Selection Rule},
  booktitle	= {Proceedings of the Ninth Annual IEEE Symposium on
		   Logic in Computer Science (LICS '94)},
  address	= {Paris},
  publisher	= {MIT Press},
  year		= 1994
)

@INPROCEEDINGS{staerk-yaroslav97,
        author = {R. F. St{\"a}rk},
        TITLE = {Formal verification of logic programs: 
                 foundations and implementation},
        BOOKTITLE = {Logical Foundations of Computer Science LFCS '97 --- 
                     Logic at Yaroslavl},
        YEAR = {1997},
        EDITOR = {S. Adian and A. Nerode},
        PAGES = {354--368},
        PUBLISHER = {Springer-Verlag, Lecture Notes in Computer Science 1234},
}

@ARTICLE(
  staerk-lptp-jlp,
  author	= {Robert St{\"a}rk},
  title		= {The theoretical foundations of {LPTP} (a logic program
		   theorem prover)},
  journal	= {Journal of Logic Programming},
        YEAR = {1998},
        VOLUME = {36},
        NUMBER = {3},
        PAGES = { 241--269}
)

@INPROCEEDINGS
(
  stl,
  author	= {Mehdi Jazayeri},
  title		= {Component Programming -- A Fresh Look at Software Components},
  booktitle	= {Proceedings of the 5th European Software Engineering
		   Conference},
  series	= {LNCS},
  number	= 989,
  publisher	= {Springer},
  address	= {Sitges, Spain},
  pages		= {457-478},
  month		= {September},
  year		= 1995
)


@BOOK
(
  sterling-shapiro-art,
  author	= {Sterling, Leon and Shapiro, Ehud},
  title		= {The Art of Prolog},
  publisher	= {MIT Press},
  address	= {Cambridge, Mass.},
  year		= 1986
)

@UNPUBLISHED
(
  stroetmann-glass,
  author	= {Stroetmann, Karl and Glass, Thomas},
  title		= {A Declarative Semantics for {Prolog}},
  note		= {Unpublished report, Siemens AG, Corporate
		   Research and Development},
  year		= 1995
)

@BOOK
(
  stoy,
  author	= {Stoy, Joseph E.},
  title		= {Denotational Semantics:  The Scott-Strachey Approach
		   to Programming Language Theory},
  publisher	= {The MIT Press},
  address	= {Cambridge, Massachusetts},
  year		= 1977
)


@PHDTHESIS
(
  stuckey-thesis,
  author	= {Stuckey, Peter J.},
  title		= {On the Foundations of Constraint Logic Programming},
  school	= {Department of Computer Science, Monash University},
  month		= {October},
  year		= 1987
)

@INPROCEEDINGS
(
  sundholm-hpl,
  author	= {Sundholm, G\"{o}ran},
  title		= {Systems of Deduction},
  booktitle	= {Handbook of Philosophical Logic},
  editor	= {Gabbay, D. and Guenther, F.},
  publisher	= {D. Reidel, Dordrecht},
  year		= 1983,
  pages		= {133-188}
)

@TECHREPORT
(
  sicstus-users-manual,
  author	= {SICS (Swedish Institute of Computer Science)},
  title		= {{SICStus} {Prolog} User's Manual},
  institution	= {Swedish Institute of Computer Science},
  address	= {Kista, Sweden},
  month		= {April},
  year		= 1994
)

%% AUTHOR T

@ARTICLE
(
  tai-etal-tse91,
  author	= {Kuo-Chung Tai and Richard H. Carver and Evelyn E. Obaid},
  title		= {Debugging Concurrent {Ada} Programs by Deterministic
		   Execution},
  journal	= {{IEEE} Transactions on Software Engineering},
  volume	= 17,
  number	= 1,
  pages		= {45-63},
  month		= {January},
  year		= 1991
)

@ARTICLE
(
  tackett-etal-software-99,
  author	= {Buford D. Tackett and Buddy Van Doren},
  title		= {Process Control for Error-Free Software:
		   A Software Success Story},
  journal	= {IEEE Software},
  volume	= 16,
  number	= 3,
  month		= {May/June},
  year		= 1999,
  pages		= {24-29}
)

@BOOK
(
  takang-grubb-96,
  author	= {Armstrong A. Takang and Penny A. Grubb},
  title		= {Software Maintenance: Concepts and Practice},
  publisher	= {International Thomson Computer Press},
  year		= 1996
)

@BOOK
(
  takeuti,
  author	= {Takeuti, Gaisi},
  title		= {Proof Theory},
  publisher	= {North-Holland},
  address	= {Amsterdam},
  year		= 1987
)

@INPROCEEDINGS
(
  tamaki-sato-unfold,
  author	= {Tamaki, Hisao and Sato, Taisuke},
  title		= {Unfold/Fold Transformations of Logic Programs},
  booktitle	= {Proceedings of the Second International
		   Logic Programming Conference},
  publisher	= {Uppsala University},
  address	= {Uppsala, Sweden},
  pages		= {127-138},
  year		= 1984
)

@INPROCEEDINGS
(
  n-degrees,
  author	= {Peri Tarr and Harold Ossher and William Harrison and
		   Stanley M. Sutton Jr.},
  title		= {$N$ Degrees of Separation: Multi-Dimensional
		   Separation of Concerns},
  booktitle	= {21st International Conference on Software Engineering},
  address	= {Los Angeles},
  month		= {May},
  year		= 1999
)

@TECHREPORT
(
  microsoft-parameterized-tr,
  author	= {Nikolai Tillmann and Wolfram Schulte and Wolfgang Grieskamp},
  title		= {Parameterized Unit Tests},
  institution	= {Microsoft Research},
  number	= {MSR-TR-2005-64},
  month		= {May},
  year		= 2005
)

@INPROCEEDINGS
(
  microsoft-parameterized-esec05,
  author	= {Nikolai Tillmann and Wolfram Schulte},
  title		= {Parameterized Unit Tests with {Unit} {Meister}},
  pages		= {241-244},
  booktitle	= {Proceedings of the 13th ACM SIGSOFT International
		  Symposium on Foundations of Software Engineering (ESEC/FSE)},
  address	= {Lisbon},
  month		= {September},
  year		= 2005 
)

@INPROCEEDINGS
(
  tkachuk-etal-ase2003,
  author	= {Oksana Tkachuk and Matthew B. Dwyer and
		   Corina S. P\u{a}s\u{a}reanu},
  title		= {Automated Environment Generation for Software Model
		   Checking},
  booktitle	= {Proceedings of the 18th IEEE International Conference
		   on Automated Software Engineering (ASE 2003)},
  address	= {Montreal, Canada},
  month		= {October},
  year		= 2003,
  pages		= {116-127}
)

@INPROCEEDINGS
(
  tonella-issta04,
  author	= {Paulo Tonella},
  title		= {Evolutionary testing of classes},
  booktitle	= {Proceedings of the ACM/SIGSOFT International Symposium on
		   Software Testing and Analysis (ISSTA 2004)},
  address	= {Boston, Massachusetts, USA},
  month		= {July},
  year		= 2004,
  pages		= {119-128}
)

@BOOK
(
  troelstra-meta,
  author	= {Troelstra, A. S.},
  title		= {Metamathematical investigation of intuitionistic
		   arithmetic and analysis},
  publisher	= {Springer},
  address	= {Berlin},
  year		= {1973}
)

@BOOK
(
  troelstra-linear,
  author	= {Troelstra, A. S.},
  title		= {Lectures on Linear Logic},
  publisher	= {CSLI},
  address	= {Stanford, California},
  series	= {CSLI Lecture Notes},
  number	= 29,
  year		= 1992
)

@article{
  tuya-ist07,
 author = {Javier Tuya and Ma Jos\'{e} Su\'{a}rez-Cabal and Claudio de la Riva},
 title = {Mutating database queries},
 journal = {Information and Software Technology},
 volume = {49},
 number = {4},
 year = {2007},
 pages = {398--417},
 publisher = {Butterworth-Heinemann},
 address = {Newton, MA, USA}
}
 

%% AUTHOR U

@ARTICLE
(
  ullman-datalog,
  author	= {Ullman, Jeffrey},
  title		= {Implementation of Logical Query Languages
		   for Databases},
  journal	= {ACM Transactions on Database Systems},
  volume	= 10,
  number	= 3,
  year		= 1986,
  pages		= {289-321}
)

@INPROCEEDINGS
(
  uselton-smolka-concur94,
  author	= {Uselton, Andrew and Smolka, Scott},
  title		= {A Compositional Semantics for Statecharts using
		   Labelled Transition Systems},
  booktitle	= {Proceedings of CONCUR 94},
  series	= {LNCS},
  publisher	= {Springer},
  volume	= 836,
  pages		= {2-17},
  year		= 1994
)

%% AUTHOR V

@BOOK
(
  vandalen-logic-structure,
  author	= {van Dalen, Dirk},
  title		= {Logic and Structure},
  publisher	= {Springer},
  address	= {Berlin},
  year		= {1980}
)

@ARTICLE
(
  vanE-kow,
  author	= {van Emden, Maarten H. and Kowalski, Robert A.},
  title		= {The Semantics of Predicate Logic as a Programming Language},
  journal	= {Journal of the Association for Computing Machinery},
  volume	= 23,
  number	= 4,
  month		= {October},
  year		= 1976,
  pages		= {733-742}
)

@ARTICLE
(
  vanE-lloyd-prologii,
  author	= {van Emden, Maarten H. and Lloyd, John W.},
  title		= {A Logical Reconstruction of {P}rolog {II}},
  journal	= {Journal of Logic Programming},
  volume	= 2,
  year		= 1984,
  pages		= {143-149}
)

@ARTICLE
(
  vangelder-th,
  author	= {van Gelder, Allen},
  title		= {Efficient Loop Detection in {P}rolog using the
		   Tortoise-and-Hare Technique},
  journal	= {Journal of Logic Programming},
  volume	= 4,
  year		= 1987,
  pages		= {23-31}
)

@BOOK
(
  vanh-constraint-book,
  author	= {Van Hentenryck, Pascal},
  title		= {Constraint Satisfaction in Logic Programming},
  publisher	= {MIT Press},
  address	= {Cambridge},
  year		= 1989
)

@INPROCEEDINGS
(
  vanh-deville-opsem,
  author	= {Van Hentenryck, Pascal and Deville, Yves},
  title		= {Operational Semantics of Constraint Logic Programming
		   over Finite Domains},
  booktitle	= {Working Notes, {AAAI} Spring Symposium Series},
  address	= {Stanford},
  month		= {March},
  year		= 1981,
  pages		= {128-146}
)

@TECHREPORT
(
  r-intro,
  author	= {W. N. Venables and D. M. Smith and
                {The R Development Core Team}},
  title		= {An Introduction to {R}},
  institution	= {{R} Development Core Team},
  version	= {2.3.1},
  month		= {June},
  year		= 2006
)


@TECHREPORT
(
  microsoft-devel-observed,
  author	= {Gina D. Venolia and Robert DeLine and Thomas LaToza},
  title		= {Software Development at {Microsoft} Observed},
  number	= {MSR-TR-2005-140},
  institution	= {Microsoft Research},
  month		= {October},
  year		= 2005
)

@INPROCEEDINGS
(
  visser-etal-issta04,
  author	= {Willem Visser and Corina S. P\u{a}s\u{a}reanu and
		   Sarfraz Khurshid},
  title		= {Test input generation with {Java} {PathFinder}},
  booktitle	= {Proceedings of the ACM/SIGSOFT International
		   Symposium on Software Testing and Analysis (ISSTA 2004)},
  address	= {Boston, MA},
  month		= {July},
  year		= 2004,
  pages		= {97-107}
)

@INPROCEEDINGS
(
  visser-etal-issta06,
  author	= {Willem Visser and Corina S. P\u{a}s\u{a}reanu and
		   Radek Pel\'{a}nek},
  title		= {Test input generation for {Java} containers using state
		   matching},
  booktitle	= {Proceedings of the International Symposium on Software
		   Testing and Analysis (ISSTA 2006)},
  address	= {Portland, Maine},
  month		= {July},
  year		= 2006,
  pages		= {37-48}
)

@ARTICLE
(
  voas-fault-injection,
  author	= {Jeffrey Voas and Frank Charron and Gary McGraw and
		   Keith Miller and Michael Friedman},
  title		= {Predicting How Badly ``Good'' Software Can Behave},
  journal	= {IEEE Software},
  volume	= 14,
  number	= 4,
  pages		= {73-83},
  month		= {July/August},
  year		= 1997
)

@ARTICLE
(
  voda-symbiosis,
  author	= {Voda, Paul J.},
  title		= {A View of Programming Languages as
		   Symbiosis of Meaning and Computations},
  journal	= {New Generation Computing},
  volume	= 3,
  year		= 1985,
  pages		= {71-100}
)

@ARTICLE
(
  voda-onevar,
  author	= {Voda, Paul J.},
  title		= {Computation of Full Logic Programs
		   using One-Variable Environments},
  journal	= {New Generation Computing},
  volume	= 4,
  number	= 2,
  year		= 1986
)

@TECHREPORT
(
  voda-precomplete,
  author	= {Voda, Paul J.},
  title		= {Precomplete Negation and Universal Quantification},
  institution	= {Department of Computer Science,
		   University of British Columbia},
  address	= {Vancouver},
  number	= {86-9},
  month		= {April},
  year		= 1986
)

@INPROCEEDINGS
(
  voda-choices,
  author	= {Voda, Paul J.},
  title		= {Choices In, and Limitations Of, Logic Programming},
  booktitle	= {Proceedings of the Third International Logic
		   Programming Conference},
  year		= 1986
)

@TECHREPORT
(
  voda-tp,
  author	= {Voda, Paul J.},
  title		= {Theory of Pairs, Part I:  Provably Recursive Functions},
  institution	= {Department of Computer Science,
		   University of British Columbia},
  address	= {Vancouver},
  number	= {84-25},
  month		= {December},
  year		= 1984
)

@INPROCEEDINGS
(
  voda-rfmaple,
  author	= {Voda, Paul J. and Yu, Benjamin},
  title		= {RF-Maple: A Logic Programming Language with
		   Functions, Types, and Concurrency},
  booktitle	= {Proceedings of the International Conference
		   on Fifth Generation Computer Systems 1984},
  month		= {November},
  year		= 1984,
  publisher	= {North-Holland}
)

@INPROCEEDINGS
(
  vonderbeeck-ftrtft94,
  author	= {von der Beeck, Michael},
  title		= {A Comparison of Statecharts Variants},
  booktitle	= {Proceedings, Formal Techniques in Real-Time and
		   Fault-Tolerant Systems},
  series	= {LNCS},
  publisher	= {Springer},
  volume	= 863,
  address	= {L\"{u}beck, Germany},
  month		= {September},
  year		= 1994
)

%% AUTHOR W

@INPROCEEDINGS
(
  walker-oo-ccs,
  author	= {Walker, D. J.},
  title		= {{$\pi$}-calculus Semantics of Object-oriented Programming
		   Languages},
  booktitle	= {Proceedings of the Conference on Theoretical Aspects
		   of Computer Software},
  series	= {Lecture Notes in Computer Science},
  volume	= {526},
  publisher	= {Springer},
  address	= {New York},
  year		= 1991,
  pages		= {532-547}
)

@BOOK
(
  wall-etal-perl,
  author	= {L. Wall and T. Christiansen and R. Schwartz},
  title		= {Programming Perl},
  publisher	= {O'Reilly and Associates},
  address	= {Sebastopol, CA},
  year		= 1996
)

@ARTICLE
(
  wallace-tight,
  author	= {Wallace, Mark},
  title		= {Tight, Consistent, and Computable Completions
		   for Unrestricted Logic Programs},
  journal	= {Journal of Logic Programming},
  volume	= 15,
  number	= 3,
  year		= 1993,
  month		= {February},
  pages		= {243-273}
)

@ARTICLE
(
  watkins-hufnagel-fitness,
  author	= {Alison Watkins and Ellen M. Hufnagel},
  title		= {Evolutionary Test Data Generation:
		   A Comparison of Fitness Functions},
  journal	= {Software Practice and Experience},
  volume	= 36,
  issue		= 1,
  pages		= {95-116},
  month		= {January},
  year		= 2006
)

@BOOK
(
  wapforum-protocol-specs,
  author	= {{Wireless Application Protocol Forum}},
  title		= {Wireless Application Protocol Specifications},
  publisher	= {{Wireless Application Protocol Forum}},
  year		= 2001,
  note		= {Available at {\tt www.wapforum.org}.}
)

@MASTERSTHESIS
(
  wirzenius-thesis,
  author	= {Wirzenius, Lars},
  title		= {Design and Implementation of a {WAP} Gateway},
  school	= {Helsinki University of Technology},
  year          = 2001,
  note		= {In preparation.}
)

@TECHREPORT
(
  dswarren-least,
  author	= {Warren, David S. and Chen, Weidong},
  title		= {Formal Semantics of a Theory of Modules},
  institution	= {Department of Computer Science,
		   SUNY at Stony Brook},
  address	= {New York},
  number	= {11/87},
  year		= 1987
)

@ARTICLE
(
  weyuker-oracles,
  author	= {Weyuker, Elaine J.},
  title		= {On Testing Non-testable Programs},
  journal	= {The Computer Journal},
  volume	= 25,
  number	= 4,
  pages		= {465-470},
  month		= {November},
  year		= 1982
)

@ARTICLE
(
  weyuker-jeng,
  author	= {Elaine J. Weyuker and Bingchiang Jeng},
  title		= {Analyzing partition testing strategies},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= 17,
  number	= 7,
  pages		= {703-711},
  month		= {July},
  year		= 1991
)

@ARTICLE
(
  white-cohen-oracles,
  author	= {Lee J. White and Edward I. Cohen},
  title		= {A Domain Strategy for Computer Program Testing},
  journal	= {IEEE Transactions on Software Engineering},
  volume	= {SE-6},
  number	= 3,
  month		= {May},
  year		= 1980,
  pages		= {247-257}
)

@BOOK
(
  wirth-algorithms,
  author	= {Wirth, Niklaus},
  title		= {Algorithms + Data Structures = Programs},
  publisher	= {Prentice-Hall},
  address	= {Englewood Cliffs, NJ},
  year		= 1976
)

@PHDTHESIS
(
  wong-phd,
  author        = {Weichen Eric Wong},
  title         = {On Mutation and Data Flow},
  school        = {Purdue University},
  month         = {December},
  year          = 1993
)

%% AUTHOR X

%% AUTHOR Y

@MASTERSTHESIS
(
  yantzi-msc,
  author	= {Donald J. Yantzi},
  title		= {Testing Using Log File Analysis:  An Industrial Case Study},
  school	= {Department of Computer Science, University of
		   Western Ontario},
  address	= {London, Ontario, Canada},
  month		= {December},
  year		= 2005
)

@ARTICLE
(
  yetter,
  author	= {Yetter, D.},
  title		= {Quantales and (Non-Commutative) Linear Logic},
  journal	= {Journal of Symbolic Logic},
  volume	= 55,
  month		= {March},
  year		= 1990
)

@BOOK
(
  yin-casestudy,
  author	= {Yin, Robert K.},
  title		= {Case Study Research: Design and Methods},
  edition	= 2,
  publisher	= {Sage Publications},
  address	= {Thousand Oaks, Calif.},
  year		= 1994
)

@MASTERSTHESIS
(
  yuben,
  author	= {Yu, Benjamin},
  title		= {Implementation of a Logic Programming Language:
		   R-Maple and its Extension to Include Functions},
  school	= {Department of Computer Science,
		   University of British Columbia},
  address	= {Vancouver},
  month		= {October},
  year		= 1984
)

@INPROCEEDINGS
(
  shengyu-languages,
  author	= {Yu, Sheng},
  title		= {Regular Languages},
  chapter	= 2,
  booktitle	= {Handbook of Formal Languages},
  publisher	= {Springer},
  address	= {Berlin},
  year		= 1997
)

%% AUTHOR Z

@ARTICLE
(
  zeller02sim,
  author     = {Andreas Zeller and Ralf Hildebrandt},
  title      = {Simplifying and Isolating Failure-Inducing Input},
  journal    = {IEEE Transactions on Software Engineering},
  volume     = 28,
  number     = 2,
  pages      = {183-200},
  month      = {February},
  year       = 2002
)


@MASTERSTHESIS
(
  yjzhang-msc,
  author        = {Yingjun Zhang},
  title         = {Random Testing with Log File Analysis},
  school        = {Department of Computer Science,
                   University of Western Ontario},
  address       = {London, Ont., Canada},
  month         = {September},
  year          = 2000
)



@UNPUBLISHED
(
  winrunner,
  title         = {{Mercury Interactive.}
		   {WinRunner} tool web pages},
  note		= {Accessible via {\tt www.merc-int.com}},
  key		= {Mercury},
  year          = 2001
)

@UNPUBLISHED
(
  rational-robot,
  title         = {{Rational Software Corporation.}
		   {Rational Robot} tool web pages},
  note          = {Accessible via {\tt www.rational.com}},
  key		= {Rational},
  year          = 2001
)

@UNPUBLISHED
(
  segue-silk,
  title         = {{Segue Software Inc.}
		   {Segue Silk} product family web pages},
  note          = {Accessible via {\tt www.segue.com}},
  key		= {Segue},
  year          = 2001
)

@UNPUBLISHED
(
  junit,
  title		= {{JUnit} web site},
  note		= {{\tt www.junit.org}},
  year		= 2005
)

@UNPUBLISHED
(
  sourceforge,
  title		= {{Sourceforge} web site},
  note		= {{\tt sourceforge.net}},
  year		= 2005
)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  Tim Menzies references


@article{hall03,
  journal =      "IEEE Transactions On Knowledge And Data Engineering",
  year =         2003,
  volume =       15,

  number=        6,
  pages =        "1437- 1447",
  title =        "Benchmarking Attribute Selection Techniques for
                  Discrete Class Data Mining",
  author =       "M.A. Hall and G. Holmes"
}
% ,
%      note="Available from 
%        \url{http://www.cs.waikato.ac.nz/~mhall/HallHolmesTKDE.pdf}"

@book{miller02,
  author="A. Miller",
  title="Subset Selection in Regression (second edition)",

  isbn="1-58488-171-2",
  year="2002",
  publisher="Chapman \& Hall"
}

@article{kohavi97,
  author =       "Ron Kohavi and George H. John",
  title =        "Wrappers for Feature Subset Selection",

  journal =      "Artificial Intelligence",
  volume =       "97",
  number =       "1-2",
  pages =        "273-324",
  year =         "1997",
  url =          "citeseer.nj.nec.com/kohavi96wrappers.html"
}

@INPROCEEDINGS{Kir92,
  TITLE =        " A Practical Approach to Feature Selection",
  AUTHOR =       {K. Kira and L. Rendell},

  BOOKTITLE =    "The Ninth International Conference on Machine
                  Learning",
  PUBLISHER =    "Morgan Kaufmann",
  PAGES =        "pp. 249-256",
  YEAR =         1992,
}

@INPROCEEDINGS{Kon94,
  TITLE =        " Estimating attributes: Analysis and extensions of
                  relief",

  AUTHOR =       "I. Kononenko",
  BOOKTITLE =    "The Seventh European Conference on Machine Learning",
  PUBLISHER =    "Springer-Verlag",
  PAGES =        "pp. 171-182",
  YEAR =         1994,

}