Search dblp for Publications

export results for "toc:db/conf/psse/psse2007.bht:"

 download as .bib file

@proceedings{DBLP:conf/psse/2007,
  editor       = {Paulo Borba and
                  Ana Cavalcanti and
                  Augusto Sampaio and
                  Jim Woodcock},
  title        = {Testing Techniques in Software Engineering, Second Pernambuco Summer
                  School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
                  3-7, 2007, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {6153},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14335-9},
  doi          = {10.1007/978-3-642-14335-9},
  isbn         = {978-3-642-14334-2},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/psse/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/psse/Aichernig07,
  author       = {Bernhard K. Aichernig},
  editor       = {Paulo Borba and
                  Ana Cavalcanti and
                  Augusto Sampaio and
                  Jim Woodcock},
  title        = {A Systematic Introduction to Mutation Testing in Unifying Theories
                  of Programming},
  booktitle    = {Testing Techniques in Software Engineering, Second Pernambuco Summer
                  School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
                  3-7, 2007, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {6153},
  pages        = {243--287},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-14335-9\_8},
  doi          = {10.1007/978-3-642-14335-9\_8},
  timestamp    = {Wed, 12 Jun 2024 21:04:53 +0200},
  biburl       = {https://dblp.org/rec/conf/psse/Aichernig07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/psse/Gaudel07,
  author       = {Marie{-}Claude Gaudel},
  editor       = {Paulo Borba and
                  Ana Cavalcanti and
                  Augusto Sampaio and
                  Jim Woodcock},
  title        = {Software Testing Based on Formal Specification},
  booktitle    = {Testing Techniques in Software Engineering, Second Pernambuco Summer
                  School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
                  3-7, 2007, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {6153},
  pages        = {215--242},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-14335-9\_7},
  doi          = {10.1007/978-3-642-14335-9\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/psse/Gaudel07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/psse/Hennell07,
  author       = {Michael A. Hennell},
  editor       = {Paulo Borba and
                  Ana Cavalcanti and
                  Augusto Sampaio and
                  Jim Woodcock},
  title        = {Software Tool Issues},
  booktitle    = {Testing Techniques in Software Engineering, Second Pernambuco Summer
                  School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
                  3-7, 2007, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {6153},
  pages        = {203--214},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-14335-9\_6},
  doi          = {10.1007/978-3-642-14335-9\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/psse/Hennell07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/psse/MachadoS07,
  author       = {Patr{\'{\i}}cia D. L. Machado and
                  Augusto Sampaio},
  editor       = {Paulo Borba and
                  Ana Cavalcanti and
                  Augusto Sampaio and
                  Jim Woodcock},
  title        = {Automatic Test-Case Generation},
  booktitle    = {Testing Techniques in Software Engineering, Second Pernambuco Summer
                  School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
                  3-7, 2007, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {6153},
  pages        = {59--103},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-14335-9\_3},
  doi          = {10.1007/978-3-642-14335-9\_3},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/psse/MachadoS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/psse/MachadoVM07,
  author       = {Patr{\'{\i}}cia D. L. Machado and
                  Auri Marcelo Rizzo Vincenzi and
                  Jos{\'{e}} Carlos Maldonado},
  editor       = {Paulo Borba and
                  Ana Cavalcanti and
                  Augusto Sampaio and
                  Jim Woodcock},
  title        = {Software Testing: An Overview},
  booktitle    = {Testing Techniques in Software Engineering, Second Pernambuco Summer
                  School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
                  3-7, 2007, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {6153},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-14335-9\_1},
  doi          = {10.1007/978-3-642-14335-9\_1},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/psse/MachadoVM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/psse/McGregor07,
  author       = {John D. McGregor},
  editor       = {Paulo Borba and
                  Ana Cavalcanti and
                  Augusto Sampaio and
                  Jim Woodcock},
  title        = {Testing a Software Product Line},
  booktitle    = {Testing Techniques in Software Engineering, Second Pernambuco Summer
                  School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
                  3-7, 2007, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {6153},
  pages        = {104--140},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-14335-9\_4},
  doi          = {10.1007/978-3-642-14335-9\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/psse/McGregor07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/psse/TillmannHS07,
  author       = {Nikolai Tillmann and
                  Jonathan de Halleux and
                  Wolfram Schulte},
  editor       = {Paulo Borba and
                  Ana Cavalcanti and
                  Augusto Sampaio and
                  Jim Woodcock},
  title        = {Parameterized Unit Testing with Pex: Tutorial},
  booktitle    = {Testing Techniques in Software Engineering, Second Pernambuco Summer
                  School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
                  3-7, 2007, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {6153},
  pages        = {141--202},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-14335-9\_5},
  doi          = {10.1007/978-3-642-14335-9\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/psse/TillmannHS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/psse/VincenziDHM07,
  author       = {Auri Marcelo Rizzo Vincenzi and
                  M{\'{a}}rcio Eduardo Delamaro and
                  Erika Nina H{\"{o}}hn and
                  Jos{\'{e}} Carlos Maldonado},
  editor       = {Paulo Borba and
                  Ana Cavalcanti and
                  Augusto Sampaio and
                  Jim Woodcock},
  title        = {Functional, Control and Data Flow, and Mutation Testing: Theory and
                  Practice},
  booktitle    = {Testing Techniques in Software Engineering, Second Pernambuco Summer
                  School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
                  3-7, 2007, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {6153},
  pages        = {18--58},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-14335-9\_2},
  doi          = {10.1007/978-3-642-14335-9\_2},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/psse/VincenziDHM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.