Search dblp for Publications

export results for "stream:streams/conf/tap:"

 download as .bib file

@inproceedings{DBLP:conf/tap/AichernigTW20,
  author    = {Bernhard K. Aichernig and
               Martin Tappler and
               Felix Wallner},
  editor    = {Wolfgang Ahrendt and
               Heike Wehrheim},
  title     = {Benchmarking Combinations of Learning and Testing Algorithms for Active
               Automata Learning},
  booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
               Norway, June 22-23, 2020, Proceedings [postponed]},
  series    = {Lecture Notes in Computer Science},
  volume    = {12165},
  pages     = {3--22},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50995-8\_1},
  doi       = {10.1007/978-3-030-50995-8\_1},
  timestamp = {Tue, 23 Jun 2020 17:11:48 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AichernigTW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AltisenDJ20,
  author    = {Karine Altisen and
               St{\'{e}}phane Devismes and
               Erwan Jahier},
  editor    = {Wolfgang Ahrendt and
               Heike Wehrheim},
  title     = {sasa: {A} SimulAtor of Self-stabilizing Algorithms},
  booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
               Norway, June 22-23, 2020, Proceedings [postponed]},
  series    = {Lecture Notes in Computer Science},
  volume    = {12165},
  pages     = {143--154},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50995-8\_8},
  doi       = {10.1007/978-3-030-50995-8\_8},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AltisenDJ20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HartelS20,
  author    = {Pieter H. Hartel and
               Richard Schumi},
  editor    = {Wolfgang Ahrendt and
               Heike Wehrheim},
  title     = {Mutation Testing of Smart Contracts at Scale},
  booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
               Norway, June 22-23, 2020, Proceedings [postponed]},
  series    = {Lecture Notes in Computer Science},
  volume    = {12165},
  pages     = {23--42},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50995-8\_2},
  doi       = {10.1007/978-3-030-50995-8\_2},
  timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/HartelS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KamkinKKP20,
  author    = {Alexander Kamkin and
               Alexey Khoroshilov and
               Artem Kotsynyak and
               Pavel Putro},
  editor    = {Wolfgang Ahrendt and
               Heike Wehrheim},
  title     = {Deductive Binary Code Verification Against Source-Code-Level Specifications},
  booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
               Norway, June 22-23, 2020, Proceedings [postponed]},
  series    = {Lecture Notes in Computer Science},
  volume    = {12165},
  pages     = {43--58},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50995-8\_3},
  doi       = {10.1007/978-3-030-50995-8\_3},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KamkinKKP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KhosrowjerdiNM20,
  author    = {Hojat Khosrowjerdi and
               Hamed Nemati and
               Karl Meinke},
  editor    = {Wolfgang Ahrendt and
               Heike Wehrheim},
  title     = {Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph
               Queries},
  booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
               Norway, June 22-23, 2020, Proceedings [postponed]},
  series    = {Lecture Notes in Computer Science},
  volume    = {12165},
  pages     = {59--79},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50995-8\_4},
  doi       = {10.1007/978-3-030-50995-8\_4},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KhosrowjerdiNM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KolarikR20,
  author    = {Tom{\'{a}}s Kol{\'{a}}rik and
               Stefan Ratschan},
  editor    = {Wolfgang Ahrendt and
               Heike Wehrheim},
  title     = {{SAT} Modulo Differential Equation Simulations},
  booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
               Norway, June 22-23, 2020, Proceedings [postponed]},
  series    = {Lecture Notes in Computer Science},
  volume    = {12165},
  pages     = {80--99},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50995-8\_5},
  doi       = {10.1007/978-3-030-50995-8\_5},
  timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KolarikR20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Lester20,
  author    = {Martin Mariusz Lester},
  editor    = {Wolfgang Ahrendt and
               Heike Wehrheim},
  title     = {ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive
               Fiction Games},
  booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
               Norway, June 22-23, 2020, Proceedings [postponed]},
  series    = {Lecture Notes in Computer Science},
  volume    = {12165},
  pages     = {169--179},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50995-8\_10},
  doi       = {10.1007/978-3-030-50995-8\_10},
  timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Lester20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LyKLS20,
  author    = {Dara Ly and
               Nikolai Kosmatov and
               Fr{\'{e}}d{\'{e}}ric Loulergue and
               Julien Signoles},
  editor    = {Wolfgang Ahrendt and
               Heike Wehrheim},
  title     = {Verified Runtime Assertion Checking for Memory Properties},
  booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
               Norway, June 22-23, 2020, Proceedings [postponed]},
  series    = {Lecture Notes in Computer Science},
  volume    = {12165},
  pages     = {100--121},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50995-8\_6},
  doi       = {10.1007/978-3-030-50995-8\_6},
  timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/LyKLS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MasciM20,
  author    = {Paolo Masci and
               C{\'{e}}sar A. Mu{\~{n}}oz},
  editor    = {Wolfgang Ahrendt and
               Heike Wehrheim},
  title     = {A Graphical Toolkit for the Validation of Requirements for Detect
               and Avoid Systems},
  booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
               Norway, June 22-23, 2020, Proceedings [postponed]},
  series    = {Lecture Notes in Computer Science},
  volume    = {12165},
  pages     = {155--166},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50995-8\_9},
  doi       = {10.1007/978-3-030-50995-8\_9},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/MasciM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/PereiraMP20,
  author    = {Jo{\~{a}}o Carlos Pereira and
               Nuno Machado and
               Jorge Sousa Pinto},
  editor    = {Wolfgang Ahrendt and
               Heike Wehrheim},
  title     = {Testing for Race Conditions in Distributed Systems via {SMT} Solving},
  booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
               Norway, June 22-23, 2020, Proceedings [postponed]},
  series    = {Lecture Notes in Computer Science},
  volume    = {12165},
  pages     = {122--140},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50995-8\_7},
  doi       = {10.1007/978-3-030-50995-8\_7},
  timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/PereiraMP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2020,
  editor    = {Wolfgang Ahrendt and
               Heike Wehrheim},
  title     = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
               Norway, June 22-23, 2020, Proceedings [postponed]},
  series    = {Lecture Notes in Computer Science},
  volume    = {12165},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50995-8},
  doi       = {10.1007/978-3-030-50995-8},
  isbn      = {978-3-030-50994-1},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2020.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/0002JPW19,
  author    = {Tobias Isenberg and
               Marie{-}Christine Jakobs and
               Felix Pauck and
               Heike Wehrheim},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {When Are Software Verification Results Valid for Approximate Hardware?},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {3--20},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_1},
  doi       = {10.1007/978-3-030-31157-5\_1},
  timestamp = {Tue, 23 Jun 2020 17:50:04 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/0002JPW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AichernigPSW19,
  author    = {Bernhard K. Aichernig and
               Franz Pernkopf and
               Richard Schumi and
               Andreas Wurm},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Predicting and Testing Latencies with Deep Learning: An IoT Case Study},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {93--111},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_7},
  doi       = {10.1007/978-3-030-31157-5\_7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AichernigPSW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AndreAGR19,
  author    = {{\'{E}}tienne Andr{\'{e}} and
               Paolo Arcaini and
               Angelo Gargantini and
               Marco Radavelli},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Repairing Timed Automata Clock Guards through Abstraction and Testing},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {129--146},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_9},
  doi       = {10.1007/978-3-030-31157-5\_9},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AndreAGR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AngelisFPPP19,
  author    = {Emanuele {De Angelis} and
               Fabio Fioravanti and
               Adri{\'{a}}n Palacios and
               Alberto Pettorossi and
               Maurizio Proietti},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Property-Based Test Case Generators for Free},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {186--206},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_12},
  doi       = {10.1007/978-3-030-31157-5\_12},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AngelisFPPP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BosT19,
  author    = {Petra van den Bos and
               Jan Tretmans},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Coverage-Based Testing with Symbolic Transition Systems},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {64--82},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_5},
  doi       = {10.1007/978-3-030-31157-5\_5},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BosT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CavalcantiBHL19,
  author    = {Ana Cavalcanti and
               James Baxter and
               Robert M. Hierons and
               Raluca Lefticaru},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Testing Robots Using {CSP}},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {21--38},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_2},
  doi       = {10.1007/978-3-030-31157-5\_2},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tap/CavalcantiBHL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HuraultQ19,
  author    = {Aur{\'{e}}lie Hurault and
               Philippe Qu{\'{e}}innec},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Proving a Non-blocking Algorithm for Process Renaming with {TLA} +
               +},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {147--166},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_10},
  doi       = {10.1007/978-3-030-31157-5\_10},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/HuraultQ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KapusNC19,
  author    = {Timotej Kapus and
               Martin Nowack and
               Cristian Cadar},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {41--54},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_3},
  doi       = {10.1007/978-3-030-31157-5\_3},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KapusNC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LavillonniereMC19,
  author    = {Eric Lavillonni{\`{e}}re and
               David Mentr{\'{e}} and
               Denis Cousineau},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Fast, Automatic, and Nearly Complete Structural Unit-Test Generation
               Combining Genetic Algorithms and Formal Methods},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {55--63},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_4},
  doi       = {10.1007/978-3-030-31157-5\_4},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/LavillonniereMC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/OliveiraMDM19,
  author    = {Diego de Azevedo Oliveira and
               Val{\'{e}}rio Medeiros Jr. and
               David D{\'{e}}harbe and
               Martin A. Musicante},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {BTestBox: {A} Tool for Testing {B} Translators and Coverage of {B}
               Models},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {83--92},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_6},
  doi       = {10.1007/978-3-030-31157-5\_6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/OliveiraMDM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/PetrenkoA19,
  author    = {Alexandre Petrenko and
               Florent Avellaneda},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Learning Communicating State Machines},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {112--128},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_8},
  doi       = {10.1007/978-3-030-31157-5\_8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/PetrenkoA19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/RoblesKPRG19,
  author    = {Virgile Robles and
               Nikolai Kosmatov and
               Virgile Prevosto and
               Louis Rilling and
               Pascale Le Gall},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Tame Your Annotations with MetAcsl: Specifying, Testing and Proving
               High-Level Properties},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {167--185},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_11},
  doi       = {10.1007/978-3-030-31157-5\_11},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/RoblesKPRG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2019,
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5},
  doi       = {10.1007/978-3-030-31157-5},
  isbn      = {978-3-030-31156-8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/0001DLT18,
  author    = {Dirk Beyer and
               Matthias Dangl and
               Thomas Lemberger and
               Michael Tautschnig},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Tests from Witnesses - Execution-Based Validation of Verification
               Results},
  booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {3--23},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_1},
  doi       = {10.1007/978-3-319-92994-1\_1},
  timestamp = {Tue, 23 Jun 2020 17:47:29 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/0001DLT18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BernardHK18,
  author    = {Julien Bernard and
               Pierre{-}Cyrille H{\'{e}}am and
               Olga Kouchnarenko},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {An Approximation-Based Approach for the Random Exploration of Large
               Models},
  booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {27--43},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_2},
  doi       = {10.1007/978-3-319-92994-1\_2},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BernardHK18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BlatterKGPP18,
  author    = {Lionel Blatter and
               Nikolai Kosmatov and
               Pascale Le Gall and
               Virgile Prevosto and
               Guillaume Petiot},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Static and Dynamic Verification of Relational Properties on Self-composed
               {C} Code},
  booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {44--62},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_3},
  doi       = {10.1007/978-3-319-92994-1\_3},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BlatterKGPP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BruckerH18,
  author    = {Achim D. Brucker and
               Michael Herzberg},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Formalizing (Web) Standards - An Application of Test and Proof},
  booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {159--166},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_9},
  doi       = {10.1007/978-3-319-92994-1\_9},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BruckerH18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Fuchs18,
  author    = {Andreas Fuchs},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Automated Test Case Generation for Java {EE} Based Web Applications},
  booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {167--176},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_10},
  doi       = {10.1007/978-3-319-92994-1\_10},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Fuchs18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HerdaTB18,
  author    = {Mihai Herda and
               Shmuel S. Tyszberowicz and
               Bernhard Beckert},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Using Dependence Graphs to Assist Verification and Testing of Information-Flow
               Properties},
  booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {83--102},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_5},
  doi       = {10.1007/978-3-319-92994-1\_5},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/HerdaTB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/JulliandKMV18,
  author    = {Jacques Julliand and
               Olga Kouchnarenko and
               Pierre{-}Alain Masson and
               Guillaume Voiron},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Under-Approximation Generation Driven by Relevance Predicates and
               Variants},
  booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {63--82},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_4},
  doi       = {10.1007/978-3-319-92994-1\_4},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/JulliandKMV18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Keller18,
  author    = {Chantal Keller},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL},
  booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {103--119},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_6},
  doi       = {10.1007/978-3-319-92994-1\_6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Keller18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LeCSW18,
  author    = {Viet Hoang Le and
               Lo{\"{\i}}c Correnson and
               Julien Signoles and
               Virginie Wiels},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Verification Coverage for Combining Test and Proof},
  booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {120--138},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_7},
  doi       = {10.1007/978-3-319-92994-1\_7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/LeCSW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LoulergueBK18,
  author    = {Fr{\'{e}}d{\'{e}}ric Loulergue and
               Allan Blanchard and
               Nikolai Kosmatov},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Ghosts for Lists: From Axiomatic to Executable Specifications},
  booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {177--184},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_11},
  doi       = {10.1007/978-3-319-92994-1\_11},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/LoulergueBK18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/VorobyovKS18,
  author    = {Kostyantyn Vorobyov and
               Nikolai Kosmatov and
               Julien Signoles},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Detection of Security Vulnerabilities in {C} Code Using Runtime Verification:
               An Experience Report},
  booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {139--156},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1\_8},
  doi       = {10.1007/978-3-319-92994-1\_8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/VorobyovKS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2018,
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
               France, June 27-29, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92994-1},
  doi       = {10.1007/978-3-319-92994-1},
  isbn      = {978-3-319-92993-4},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BaranyS17,
  author    = {Gerg{\"{o}} Barany and
               Julien Signoles},
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {Hybrid Information Flow Analysis for Real-World {C} Code},
  booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
               Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  pages     = {23--40},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61467-0\_2},
  doi       = {10.1007/978-3-319-61467-0\_2},
  timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BaranyS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BoudhibaGGP17,
  author    = {Imen Boudhiba and
               Christophe Gaston and
               Pascale Le Gall and
               Virgile Prevosto},
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {Symbolic Execution of Transition Systems with Function Summaries},
  booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
               Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  pages     = {41--58},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61467-0\_3},
  doi       = {10.1007/978-3-319-61467-0\_3},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BoudhibaGGP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DamianiHL17,
  author    = {Ferruccio Damiani and
               Reiner H{\"{a}}hnle and
               Michael Lienhardt},
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {Abstraction Refinement for the Analysis of Software Product Lines},
  booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
               Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  pages     = {3--20},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61467-0\_1},
  doi       = {10.1007/978-3-319-61467-0\_1},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/DamianiHL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/FazekasHSB17,
  author    = {Katalin Fazekas and
               Marijn J. H. Heule and
               Martina Seidl and
               Armin Biere},
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {Skolem Function Continuation for Quantified Boolean Formulas},
  booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
               Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  pages     = {129--138},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61467-0\_8},
  doi       = {10.1007/978-3-319-61467-0\_8},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/FazekasHSB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/FuchsK17,
  author    = {Andreas Fuchs and
               Herbert Kuchen},
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {Unit Testing of Database-Driven Java Enterprise Edition Applications},
  booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
               Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  pages     = {59--76},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61467-0\_4},
  doi       = {10.1007/978-3-319-61467-0\_4},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/FuchsK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GerholdS17,
  author    = {Marcus Gerhold and
               Mari{\"{e}}lle Stoelinga},
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {Model-Based Testing of Probabilistic Systems with Stochastic Time},
  booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
               Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  pages     = {77--97},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61467-0\_5},
  doi       = {10.1007/978-3-319-61467-0\_5},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GerholdS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaHDD17,
  author    = {Martin Gogolla and
               Frank Hilken and
               Khanh{-}Hoang Doan and
               Nisha Desai},
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {Checking {UML} and {OCL} Model Behavior with Filmstripping and Classifying
               Terms},
  booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
               Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  pages     = {119--128},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61467-0\_7},
  doi       = {10.1007/978-3-319-61467-0\_7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GogollaHDD17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/IkeshitaIH17,
  author    = {Katsuhiko Ikeshita and
               Fuyuki Ishikawa and
               Shinichi Honiden},
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {Test Suite Reduction in Idempotence Testing of Infrastructure as Code},
  booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
               Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  pages     = {98--115},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61467-0\_6},
  doi       = {10.1007/978-3-319-61467-0\_6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/IkeshitaIH17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MaalejKJ17,
  author    = {Afef Jmal Ma{\^{a}}lej and
               Moez Krichen and
               Mohamed Jma{\"{\i}}el},
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {WSCLim: {A} Tool for Model-Based Testing of {WS-BPEL} Compositions
               Under Load Conditions},
  booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
               Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  pages     = {139--151},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61467-0\_9},
  doi       = {10.1007/978-3-319-61467-0\_9},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/MaalejKJ17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Reger0V17,
  author    = {Giles Reger and
               Martin Suda and
               Andrei Voronkov},
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {Testing a Saturation-Based Theorem Prover: Experiences and Challenges},
  booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
               Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  pages     = {152--161},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61467-0\_10},
  doi       = {10.1007/978-3-319-61467-0\_10},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Reger0V17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2017,
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
               Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61467-0},
  doi       = {10.1007/978-3-319-61467-0},
  isbn      = {978-3-319-61466-3},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BruckerW16,
  author    = {Achim D. Brucker and
               Burkhart Wolff},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Monadic Sequence Testing and Explicit Test-Refinements},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {17--36},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_2},
  doi       = {10.1007/978-3-319-41135-4\_2},
  timestamp = {Tue, 23 Jun 2020 17:47:29 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BruckerW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CheneyMP16,
  author    = {James Cheney and
               Alberto Momigliano and
               Matteo Pessina},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Advances in Property-Based Testing for {\textbackslash}alpha Prolog},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {37--56},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_3},
  doi       = {10.1007/978-3-319-41135-4\_3},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/CheneyMP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DuboisGG16,
  author    = {Catherine Dubois and
               Alain Giorgetti and
               Richard Genestier},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Tests and Proofs for Enumerative Combinatorics},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {57--75},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_4},
  doi       = {10.1007/978-3-319-41135-4\_4},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/DuboisGG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/FelbingerPW16,
  author    = {Hermann Felbinger and
               Ingo Pill and
               Franz Wotawa},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Classifying Test Suite Effectiveness via Model Inference and ROBBDs},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {76--93},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_5},
  doi       = {10.1007/978-3-319-41135-4\_5},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/FelbingerPW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GabmeyerS16,
  author    = {Sebastian Gabmeyer and
               Martina Seidl},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Lightweight Symbolic Verification of Graph Transformation Systems
               with Off-the-Shelf Hardware Model Checkers},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {94--111},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_6},
  doi       = {10.1007/978-3-319-41135-4\_6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GabmeyerS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Liu16,
  author    = {Shaoying Liu},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Testing-Based Formal Verification for Theorems and Its Application
               in Software Specification Verification},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {112--129},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_7},
  doi       = {10.1007/978-3-319-41135-4\_7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Liu16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MakhloufTPS16,
  author    = {Amani Makhlouf and
               Hanh Nhi Tran and
               Christian Percebois and
               Martin Strecker},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Combining Dynamic and Static Analysis to Help Develop Correct Graph
               Transformations},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {183--190},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_11},
  doi       = {10.1007/978-3-319-41135-4\_11},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/MakhloufTPS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/PetiotKBGJ16,
  author    = {Guillaume Petiot and
               Nikolai Kosmatov and
               Bernard Botella and
               Alain Giorgetti and
               Jacques Julliand},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Your Proof Fails? Testing Helps to Find the Reason},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {130--150},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_8},
  doi       = {10.1007/978-3-319-41135-4\_8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/PetiotKBGJ16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/PodelskiSW16,
  author    = {Andreas Podelski and
               Martin Sch{\"{a}}f and
               Thomas Wies},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Classifying Bugs with Interpolants},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {151--168},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_9},
  doi       = {10.1007/978-3-319-41135-4\_9},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/PodelskiSW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ReichlFT16,
  author    = {Klaus Reichl and
               Tomas Fischer and
               Peter Tummeltshammer},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Using Formal Methods for Verification and Validation in Railway},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {3--13},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_1},
  doi       = {10.1007/978-3-319-41135-4\_1},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/ReichlFT16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Slama16,
  author    = {Franck Slama},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Automatic Predicate Testing in Formal Certification - You've only
               Proven What You've Said, Not What You Meant!},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {191--198},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_12},
  doi       = {10.1007/978-3-319-41135-4\_12},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Slama16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/TamaritRMC16,
  author    = {Salvador Tamarit and
               Adri{\'{a}}n Riesco and
               Enrique Martin{-}Martin and
               Rafael Caballero},
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Debugging Meets Testing in Erlang},
  booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  pages     = {171--180},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_10},
  doi       = {10.1007/978-3-319-41135-4\_10},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/TamaritRMC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2016,
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
               Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4},
  doi       = {10.1007/978-3-319-41135-4},
  isbn      = {978-3-319-41134-7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AichernigNT15,
  author    = {Bernhard K. Aichernig and
               Dejan Nickovic and
               Stefan Tiran},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Scalable Incremental Test-case Generation from Large Behavior Models},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {1--18},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_1},
  doi       = {10.1007/978-3-319-21215-9\_1},
  timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AichernigNT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AthanasiouLS15,
  author    = {Konstantinos Athanasiou and
               Hern{\'{a}}n Ponce de Le{\'{o}}n and
               Stefan Schwoon},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Test Case Generation for Concurrent Systems Using Event Structures},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {19--37},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_2},
  doi       = {10.1007/978-3-319-21215-9\_2},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AthanasiouLS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BirchFP15,
  author    = {Geoff Birch and
               Bernd Fischer and
               Michael R. Poppleton},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Fast Model-Based Fault Localisation with Test Suites},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {38--57},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_3},
  doi       = {10.1007/978-3-319-21215-9\_3},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BirchFP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BloemHRS15,
  author    = {Roderick Bloem and
               Daniel M. Hein and
               Franz R{\"{o}}ck and
               Richard Schumi},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Case Study: Automatic Test Case Generation for a Secure Cache Implementation},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {58--75},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_4},
  doi       = {10.1007/978-3-319-21215-9\_4},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BloemHRS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DutleMNB15,
  author    = {Aaron Dutle and
               C{\'{e}}sar A. Mu{\~{n}}oz and
               Anthony Narkawicz and
               Ricky W. Butler},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Software Validation via Model Animation},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {92--108},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_6},
  doi       = {10.1007/978-3-319-21215-9\_6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/DutleMNB15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GenestierGP15,
  author    = {Richard Genestier and
               Alain Giorgetti and
               Guillaume Petiot},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Sequential Generation of Structured Arrays and Its Deductive Verification},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {109--128},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_7},
  doi       = {10.1007/978-3-319-21215-9\_7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GenestierGP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaHHS15,
  author    = {Martin Gogolla and
               Lars Hamann and
               Frank Hilken and
               Matthias Sedlmeier},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Checking {UML} and {OCL} Model Consistency: An Experience Report on
               a Middle-Sized Case Study},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {129--136},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_8},
  doi       = {10.1007/978-3-319-21215-9\_8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GogollaHHS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GrinchteinCP15,
  author    = {Olga Grinchtein and
               Mats Carlsson and
               Justin Pearson},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {A Constraint Optimisation Model for Analysis of Telecommunication
               Protocol Logs},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {137--154},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_9},
  doi       = {10.1007/978-3-319-21215-9\_9},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GrinchteinCP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HubnerHP15,
  author    = {Felix H{\"{u}}bner and
               Wen{-}ling Huang and
               Jan Peleska},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Experimental Evaluation of a Novel Equivalence Class Partition Testing
               Strategy},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {155--172},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_10},
  doi       = {10.1007/978-3-319-21215-9\_10},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/HubnerHP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MijatovMLK15,
  author    = {Stefan Mijatov and
               Tanja Mayerhofer and
               Philip Langer and
               Gerti Kappel},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Testing Functional Requirements in {UML} Activity Diagrams},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {173--190},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_11},
  doi       = {10.1007/978-3-319-21215-9\_11},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/MijatovMLK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MoreiraHDMNM15,
  author    = {Anamaria Martins Moreira and
               Cleverton Hentz and
               David D{\'{e}}harbe and
               Ernesto Cid Brasil de Matos and
               Jo{\~{a}}o Batista de Souza Neto and
               Val{\'{e}}rio de Medeiros Jr.},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Verifying Code Generation Tools for the B-Method Using Tests: {A}
               Case Study},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {76--91},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_5},
  doi       = {10.1007/978-3-319-21215-9\_5},
  timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tap/MoreiraHDMNM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/SoekenSD15,
  author    = {Mathias Soeken and
               Julia Seiter and
               Rolf Drechsler},
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Coverage of {OCL} Operation Specifications and Invariants},
  booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  pages     = {191--207},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9\_12},
  doi       = {10.1007/978-3-319-21215-9\_12},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/SoekenSD15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2015,
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
               Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9},
  doi       = {10.1007/978-3-319-21215-9},
  isbn      = {978-3-319-21214-2},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2015.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AichernigAJKKSS14,
  author    = {Bernhard K. Aichernig and
               Jakob Auer and
               Elisabeth J{\"{o}}bstl and
               Robert Korosec and
               Willibald Krenn and
               Rupert Schlick and
               Birgit Vera Schmidt},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Model-Based Mutation Testing of an Industrial Measurement Device},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {1--19},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_1},
  doi       = {10.1007/978-3-319-09099-3\_1},
  timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AichernigAJKKSS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AminLR14,
  author    = {Nada Amin and
               K. Rustan M. Leino and
               Tiark Rompf},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Computing with an {SMT} Solver},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {20--35},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_2},
  doi       = {10.1007/978-3-319-09099-3\_2},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AminLR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ArcainiGR14,
  author    = {Paolo Arcaini and
               Angelo Gargantini and
               Elvinia Riccobene},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {An Abstraction Technique for Testing Decomposable Systems by Model
               Checking},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {36--52},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_3},
  doi       = {10.1007/978-3-319-09099-3\_3},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/ArcainiGR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BardinCDK14,
  author    = {S{\'{e}}bastien Bardin and
               Omar Chebaro and
               Micka{\"{e}}l Delahaye and
               Nikolai Kosmatov},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {An All-in-One Toolkit for Automated White-Box Testing},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {53--60},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_4},
  doi       = {10.1007/978-3-319-09099-3\_4},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BardinCDK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DiepenbeckKSD14,
  author    = {Melanie Diepenbeck and
               Ulrich K{\"{u}}hne and
               Mathias Soeken and
               Rolf Drechsler},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Behaviour Driven Development for Tests and Verification},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {61--77},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_5},
  doi       = {10.1007/978-3-319-09099-3\_5},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/DiepenbeckKSD14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Gabmeyer14,
  author    = {Sebastian Gabmeyer},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Quality Assurance in {MBE} Back and Forth},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {78--81},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_6},
  doi       = {10.1007/978-3-319-09099-3\_6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Gabmeyer14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HentschelHB14,
  author    = {Martin Hentschel and
               Reiner H{\"{a}}hnle and
               Richard Bubel},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Visualizing Unbounded Symbolic Execution},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {82--98},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_7},
  doi       = {10.1007/978-3-319-09099-3\_7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/HentschelHB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HilkenNGW14,
  author    = {Frank Hilken and
               Philipp Niemann and
               Martin Gogolla and
               Robert Wille},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Filmstripping and Unrolling: {A} Comparison of Verification Approaches
               for {UML} and {OCL} Behavioral Models},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {99--116},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_8},
  doi       = {10.1007/978-3-319-09099-3\_8},
  timestamp = {Tue, 24 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tap/HilkenNGW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/JannesariKSW14,
  author    = {Ali Jannesari and
               Nico Koprowski and
               Jochen Schimmel and
               Felix Wolf},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Generating Classified Parallel Unit Tests},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {117--133},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_9},
  doi       = {10.1007/978-3-319-09099-3\_9},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/JannesariKSW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KahkonenH14,
  author    = {Kari K{\"{a}}hk{\"{o}}nen and
               Keijo Heljanko},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Lightweight State Capturing for Automated Testing of Multithreaded
               Programs},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {187--203},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_15},
  doi       = {10.1007/978-3-319-09099-3\_15},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KahkonenH14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KampmannGZ14,
  author    = {Alexander Kampmann and
               Juan Pablo Galeotti and
               Andreas Zeller},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {{JTACO:} Test Execution for Faster Bounded Verification},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {134--141},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_10},
  doi       = {10.1007/978-3-319-09099-3\_10},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KampmannGZ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KanigCCGMR14,
  author    = {Johannes Kanig and
               Roderick Chapman and
               Cyrille Comar and
               J{\'{e}}r{\^{o}}me Guitton and
               Yannick Moy and
               Emyr Rees},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Explicit Assumptions - {A} Prenup for Marrying Static and Dynamic
               Program Verification},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {142--157},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_11},
  doi       = {10.1007/978-3-319-09099-3\_11},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KanigCCGMR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KosmatovLA14,
  author    = {Nikolai Kosmatov and
               Matthieu Lemerre and
               C{\'{e}}line Alec},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {A Case Study on Verification of a Cloud Hypervisor by Proof and Structural
               Testing},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {158--164},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_12},
  doi       = {10.1007/978-3-319-09099-3\_12},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KosmatovLA14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KosmatovS14,
  author    = {Nikolai Kosmatov and
               Julien Signoles},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Runtime Assertion Checking and Its Combinations with Static and Dynamic
               Analyses - Tutorial Synopsis},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {165--168},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_13},
  doi       = {10.1007/978-3-319-09099-3\_13},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KosmatovS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KurthSW14,
  author    = {Felix Kurth and
               Sibylle Schupp and
               Stephan Wei{\ss}leder},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Generating Test Data from a {UML} Activity Using the {AMPL} Interface
               for Constraint Solvers},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {169--186},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_14},
  doi       = {10.1007/978-3-319-09099-3\_14},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KurthSW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/PetiotKGJ14,
  author    = {Guillaume Petiot and
               Nikolai Kosmatov and
               Alain Giorgetti and
               Jacques Julliand},
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {How Test Generation Helps Software Specification and Deductive Verification
               in Frama-C},
  booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  pages     = {204--211},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_16},
  doi       = {10.1007/978-3-319-09099-3\_16},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/PetiotKGJ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2014,
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
               UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3},
  doi       = {10.1007/978-3-319-09099-3},
  isbn      = {978-3-319-09098-6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AichernigJK13,
  author    = {Bernhard K. Aichernig and
               Elisabeth J{\"{o}}bstl and
               Matthias Kegele},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Incremental Refinement Checking for Test Case Generation},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {1--19},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_1},
  doi       = {10.1007/978-3-642-38916-0\_1},
  timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AichernigJK13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AichernigLN13,
  author    = {Bernhard K. Aichernig and
               Florian Lorber and
               Dejan Nickovic},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Time for Mutants - Model-Based Mutation Testing with Timed Automata},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {20--38},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_2},
  doi       = {10.1007/978-3-642-38916-0\_2},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AichernigLN13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ArthoBS13,
  author    = {Cyrille Artho and
               Armin Biere and
               Martina Seidl},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Model-Based Testing for Verification Back-Ends},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {39--55},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_3},
  doi       = {10.1007/978-3-642-38916-0\_3},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/ArthoBS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BeckertB013,
  author    = {Bernhard Beckert and
               Thorsten Bormer and
               Markus Wagner},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {A Metric for Testing Program Verification Systems},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {56--75},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_4},
  doi       = {10.1007/978-3-642-38916-0\_4},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BeckertB013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BruckerFNW13,
  author    = {Achim D. Brucker and
               Abderrahmane Feliachi and
               Yakoub Nemouchi and
               Burkhart Wolff},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Test Program Generation for a Microprocessor - {A} Case-Study},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {76--95},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_5},
  doi       = {10.1007/978-3-642-38916-0\_5},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BruckerFNW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CaballeroMRT13,
  author    = {Rafael Caballero and
               Enrique Martin{-}Martin and
               Adri{\'{a}}n Riesco and
               Salvador Tamarit},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {A Declarative Debugger for Sequential Erlang Programs},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {96--114},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_6},
  doi       = {10.1007/978-3-642-38916-0\_6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/CaballeroMRT13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaBC13,
  author    = {Martin Gogolla and
               Fabian B{\"{u}}ttner and
               Jordi Cabot},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Initiating a Benchmark for {UML} and {OCL} Analysis Tools},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {115--132},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_7},
  doi       = {10.1007/978-3-642-38916-0\_7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GogollaBC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/InsaSR13,
  author    = {David Insa and
               Josep Silva and
               Adri{\'{a}}n Riesco},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Speeding Up Algorithmic Debugging Using Balanced Execution Trees},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {133--151},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_8},
  doi       = {10.1007/978-3-642-38916-0\_8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/InsaSR13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/JamrozikFTH13,
  author    = {Konrad Jamrozik and
               Gordon Fraser and
               Nikolai Tillmann and
               Jonathan de Halleux},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Generating Test Suites with Augmented Dynamic Symbolic Execution},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {152--167},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_9},
  doi       = {10.1007/978-3-642-38916-0\_9},
  timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tap/JamrozikFTH13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KosmatovPS13,
  author    = {Nikolai Kosmatov and
               Virgile Prevosto and
               Julien Signoles},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {168--177},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_10},
  doi       = {10.1007/978-3-642-38916-0\_10},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KosmatovPS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/OudinetCB13,
  author    = {Johan Oudinet and
               Alberto Calvi and
               Matthias B{\"{u}}chler},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Evaluation of ASLan Mutation Operators},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {178--196},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_11},
  doi       = {10.1007/978-3-642-38916-0\_11},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/OudinetCB13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/PotzlH13,
  author    = {Daniel P{\"{o}}tzl and
               Andreas Holzer},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Solving Constraints for Generational Search},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {197--213},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_12},
  doi       = {10.1007/978-3-642-38916-0\_12},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/PotzlH13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/StokkinkTS13,
  author    = {Willem Gerrit Johan Stokkink and
               Mark Timmer and
               Mari{\"{e}}lle Stoelinga},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Divergent Quiescent Transition Systems},
  booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {214--231},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_13},
  doi       = {10.1007/978-3-642-38916-0\_13},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/StokkinkTS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2013,
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0},
  doi       = {10.1007/978-3-642-38916-0},
  isbn      = {978-3-642-38915-3},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ArmandoPCMB12,
  author    = {Alessandro Armando and
               Giancarlo Pellegrino and
               Roberto Carbone and
               Alessio Merlo and
               Davide Balzarotti},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {From Model-Checking to Automated Testing of Security Protocols: Bridging
               the Gap},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {3--18},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_3},
  doi       = {10.1007/978-3-642-30473-6\_3},
  timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/ArmandoPCMB12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BengoleaAMF12,
  author    = {Valeria S. Bengolea and
               Nazareno Aguirre and
               Darko Marinov and
               Marcelo F. Frias},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test
               Suites},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {19--34},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_4},
  doi       = {10.1007/978-3-642-30473-6\_4},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BengoleaAMF12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BroschEGKSTWW12,
  author    = {Petra Brosch and
               Uwe Egly and
               Sebastian Gabmeyer and
               Gerti Kappel and
               Martina Seidl and
               Hans Tompits and
               Magdalena Widl and
               Manuel Wimmer},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Towards Scenario-Based Testing of {UML} Diagrams},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {149--155},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_12},
  doi       = {10.1007/978-3-642-30473-6\_12},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BroschEGKSTWW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BruningGHK12,
  author    = {Jens Br{\"{u}}ning and
               Martin Gogolla and
               Lars Hamann and
               Mirco Kuhlmann},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Evaluating and Debugging {OCL} Expressions in {UML} Models},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {156--162},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_13},
  doi       = {10.1007/978-3-642-30473-6\_13},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BruningGHK12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CarlierDG12,
  author    = {Matthieu Carlier and
               Catherine Dubois and
               Arnaud Gotlieb},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {A First Step in the Design of a Formally Verified Constraint-Based
               Testing Tool: FocalTest},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {35--50},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_5},
  doi       = {10.1007/978-3-642-30473-6\_5},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/CarlierDG12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ChedorJM12,
  author    = {S{\'{e}}bastien Ch{\'{e}}dor and
               Thierry J{\'{e}}ron and
               Christophe Morvan},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Test Generation from Recursive Tiles Systems},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {99--114},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_9},
  doi       = {10.1007/978-3-642-30473-6\_9},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/ChedorJM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CreignouES12,
  author    = {Nadia Creignou and
               Uwe Egly and
               Martina Seidl},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {A Framework for the Specification of Random {SAT} and {QSAT} Formulas},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {163--168},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_14},
  doi       = {10.1007/978-3-642-30473-6\_14},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/CreignouES12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KiniryZH12,
  author    = {Joseph R. Kiniry and
               Daniel M. Zimmerman and
               Ralph Hyland},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Testing Library Specifications by Verifying Conformance Tests},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {51--66},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_6},
  doi       = {10.1007/978-3-642-30473-6\_6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KiniryZH12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KosmatovW12,
  author    = {Nikolai Kosmatov and
               Nicky Williams},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Tutorial on Automated Structural Testing with PathCrawler - (Extended
               Abstract)},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {176},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_16},
  doi       = {10.1007/978-3-642-30473-6\_16},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KosmatovW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KosmatovWBRC12,
  author    = {Nikolai Kosmatov and
               Nicky Williams and
               Bernard Botella and
               Muriel Roger and
               Omar Chebaro},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {A Lesson on Structural Testing with PathCrawler-online.com},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {169--175},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_15},
  doi       = {10.1007/978-3-642-30473-6\_15},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/KosmatovWBRC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Kuehlmann12,
  author    = {Andreas Kuehlmann},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {The Technology and Psychology of Testing Your Code as You Develop
               It},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {1},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_1},
  doi       = {10.1007/978-3-642-30473-6\_1},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Kuehlmann12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LeonHL12,
  author    = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
               Stefan Haar and
               Delphine Longuet},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Conformance Relations for Labeled Event Structures},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {83--98},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_8},
  doi       = {10.1007/978-3-642-30473-6\_8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/LeonHL12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LochauSKL12,
  author    = {Malte Lochau and
               Ina Schaefer and
               Jochen Kamischke and
               Sascha Lity},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Incremental Model-Based Testing of Delta-Oriented Software Product
               Lines},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {67--82},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_7},
  doi       = {10.1007/978-3-642-30473-6\_7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/LochauSKL12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Pasareanu12,
  author    = {Corina S. Pasareanu},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Combining Model Checking and Symbolic Execution for Software Testing},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {2},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_2},
  doi       = {10.1007/978-3-642-30473-6\_2},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Pasareanu12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/SenniF12,
  author    = {Valerio Senni and
               Fabio Fioravanti},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Generation of Test Data Structures Using Constraint Logic Programming},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {115--131},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_10},
  doi       = {10.1007/978-3-642-30473-6\_10},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/SenniF12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/SulzmannZ12,
  author    = {Martin Sulzmann and
               Axel Zechner},
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Constructive Finite Trace Analysis with Linear Temporal Logic},
  booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  pages     = {132--148},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6\_11},
  doi       = {10.1007/978-3-642-30473-6\_11},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/SulzmannZ12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2012,
  editor    = {Achim D. Brucker and
               Jacques Julliand},
  title     = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
               Czech Republic, May 31 - June 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7305},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30473-6},
  doi       = {10.1007/978-3-642-30473-6},
  isbn      = {978-3-642-30472-9},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2012.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AguirreBFG11,
  author    = {Nazareno Aguirre and
               Valeria S. Bengolea and
               Marcelo F. Frias and
               Juan P. Galeotti},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test
               Generation of Structural Inputs},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {15--32},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_3},
  doi       = {10.1007/978-3-642-21768-5\_3},
  timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AguirreBFG11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BentakoukPZ11,
  author    = {Lina Bentakouk and
               Pascal Poizat and
               Fatiha Za{\"{\i}}di},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Checking the Behavioral Conformance of Web Services with Symbolic
               Testing and an {SMT} Solver},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {33--50},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_4},
  doi       = {10.1007/978-3-642-21768-5\_4},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tap/BentakoukPZ11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BuchlerOP11,
  author    = {Matthias B{\"{u}}chler and
               Johan Oudinet and
               Alexander Pretschner},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Security Mutants for Property-Based Testing},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {69--77},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_6},
  doi       = {10.1007/978-3-642-21768-5\_6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BuchlerOP11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BueJM11,
  author    = {Pierre{-}Christophe Bu{\'{e}} and
               Jacques Julliand and
               Pierre{-}Alain Masson},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Association of Under-Approximation Techniques for Generating Tests
               from Models},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {51--68},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_5},
  doi       = {10.1007/978-3-642-21768-5\_5},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BueJM11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ChebaroKGJ11,
  author    = {Omar Chebaro and
               Nikolai Kosmatov and
               Alain Giorgetti and
               Jacques Julliand},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {The {SANTE} Tool: Value Analysis, Program Slicing and Test Generation
               for {C} Program Debugging},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {78--83},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_7},
  doi       = {10.1007/978-3-642-21768-5\_7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/ChebaroKGJ11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DegiovanniPAF11,
  author    = {Renzo Degiovanni and
               Pablo Ponzio and
               Nazareno Aguirre and
               Marcelo F. Frias},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Abstraction Based Automated Test Generation from Formal Tabular Requirements
               Specifications},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {84--101},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_8},
  doi       = {10.1007/978-3-642-21768-5\_8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/DegiovanniPAF11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DrossFM11,
  author    = {Claire Dross and
               Jean{-}Christophe Filli{\^{a}}tre and
               Yannick Moy},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Correct Code Containing Containers},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {102--118},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_9},
  doi       = {10.1007/978-3-642-21768-5\_9},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/DrossFM11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Gaudel11,
  author    = {Marie{-}Claude Gaudel},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Checking Models, Proving Programs, and Testing Systems},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {1--13},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_1},
  doi       = {10.1007/978-3-642-21768-5\_1},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Gaudel11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Godefroid11,
  author    = {Patrice Godefroid},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Tests from Proofs},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {14},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_2},
  doi       = {10.1007/978-3-642-21768-5\_2},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Godefroid11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HeamM11,
  author    = {Pierre{-}Cyrille H{\'{e}}am and
               Catherine Masson},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {A Random Testing Approach Using Pushdown Automata},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {119--133},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_10},
  doi       = {10.1007/978-3-642-21768-5\_10},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/HeamM11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MeinkeS11,
  author    = {Karl Meinke and
               Muddassar A. Sindhu},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Incremental Learning-Based Testing for Reactive Systems},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {134--151},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_11},
  doi       = {10.1007/978-3-642-21768-5\_11},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/MeinkeS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/SoekenWD11,
  author    = {Mathias Soeken and
               Robert Wille and
               Rolf Drechsler},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Encoding {OCL} Data Types for SAT-Based Verification of {UML/OCL}
               Models},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {152--170},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_12},
  doi       = {10.1007/978-3-642-21768-5\_12},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/SoekenWD11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Tan11,
  author    = {Li Tan},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {State Coverage Metrics for Specification-Based Testing with B{\"{u}}chi
               Automata},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {171--186},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_13},
  doi       = {10.1007/978-3-642-21768-5\_13},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Tan11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/TroyaBLV11,
  author    = {Javier Troya and
               Jos{\'{e}} Mar{\'{\i}}a Bautista and
               Fernando L{\'{o}}pez{-}Romero and
               Antonio Vallecillo},
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Lightweight Testing of Communication Networks with \emph{e-Motions}},
  booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  pages     = {187--204},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5\_14},
  doi       = {10.1007/978-3-642-21768-5\_14},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/TroyaBLV11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2011,
  editor    = {Martin Gogolla and
               Burkhart Wolff},
  title     = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6706},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21768-5},
  doi       = {10.1007/978-3-642-21768-5},
  isbn      = {978-3-642-21767-8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2011.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AhnD10,
  author    = {Ki Yung Ahn and
               Ewen Denney},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Testing First-Order Logic Axioms in Program Verification},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {22--37},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_4},
  doi       = {10.1007/978-3-642-13977-2\_4},
  timestamp = {Mon, 23 Nov 2020 12:33:05 +0100},
  biburl    = {https://dblp.org/rec/conf/tap/AhnD10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Blanchette10,
  author    = {Jasmin Christian Blanchette},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes,
               and (Co)recursive Functions},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {117--134},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_11},
  doi       = {10.1007/978-3-642-13977-2\_11},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Blanchette10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BousquetL10,
  author    = {Lydie du Bousquet and
               Michel L{\'{e}}vy},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Proof Process Evaluation with Mutation Analysis},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {55--60},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_6},
  doi       = {10.1007/978-3-642-13977-2\_6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BousquetL10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BueDKB10,
  author    = {Pierre{-}Christophe Bu{\'{e}} and
               Fr{\'{e}}d{\'{e}}ric Dadeau and
               Adrien De Kermadec and
               Fabrice Bouquet},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Building a Test-Ready Abstraction of a Behavioral Model Using {CLP}},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {167--182},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_14},
  doi       = {10.1007/978-3-642-13977-2\_14},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BueDKB10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ChebaroKGJ10,
  author    = {Omar Chebaro and
               Nikolai Kosmatov and
               Alain Giorgetti and
               Jacques Julliand},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Combining Static Analysis and Test Generation for {C} Program Debugging},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {94--100},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_9},
  doi       = {10.1007/978-3-642-13977-2\_9},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/ChebaroKGJ10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ClaessenSH10,
  author    = {Koen Claessen and
               Nicholas Smallbone and
               John Hughes},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {QuickSpec: Guessing Formal Specifications Using Testing},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {6--21},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_3},
  doi       = {10.1007/978-3-642-13977-2\_3},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/ClaessenSH10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Ernst10,
  author    = {Michael D. Ernst},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {How Tests and Proofs Impede One Another: The Need for Always-On Static
               and Dynamic Feedback},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {1--2},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_1},
  doi       = {10.1007/978-3-642-13977-2\_1},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Ernst10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GladischTBY10,
  author    = {Christoph Gladisch and
               Shmuel S. Tyszberowicz and
               Bernhard Beckert and
               Amiram Yehudai},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Generating Regression Unit Tests Using a Combination of Verification
               and Capture {\&} Replay},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {61--76},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_7},
  doi       = {10.1007/978-3-642-13977-2\_7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GladischTBY10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaHK10,
  author    = {Martin Gogolla and
               Lars Hamann and
               Mirco Kuhlmann},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Proving and Visualizing {OCL} Invariant Independence by Automatically
               Generated Test Cases},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {38--54},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_5},
  doi       = {10.1007/978-3-642-13977-2\_5},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GogollaHK10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GoldbergM10,
  author    = {Eugene Goldberg and
               Panagiotis Manolios},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Generating High-Quality Tests for Boolean Circuits by Treating Tests
               as Proof Encoding},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {101--116},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_10},
  doi       = {10.1007/978-3-642-13977-2\_10},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GoldbergM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/JulliandSBM10,
  author    = {Jacques Julliand and
               Nicolas Stouls and
               Pierre{-}Christophe Bu{\'{e}} and
               Pierre{-}Alain Masson},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Syntactic Abstraction of {B} Models to Generate Tests},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {151--166},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_13},
  doi       = {10.1007/978-3-642-13977-2\_13},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/JulliandSBM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Nagappan10,
  author    = {Nachiappan Nagappan},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Myths in Software Engineering: From the Other Side},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {3--5},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_2},
  doi       = {10.1007/978-3-642-13977-2\_2},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Nagappan10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Rusu10,
  author    = {Vlad Rusu},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {135--150},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_12},
  doi       = {10.1007/978-3-642-13977-2\_12},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Rusu10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ThummalapentaHTW10,
  author    = {Suresh Thummalapenta and
               Jonathan de Halleux and
               Nikolai Tillmann and
               Scott Wadsworth},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes
               of Dynamic Traces},
  booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {77--93},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_8},
  doi       = {10.1007/978-3-642-13977-2\_8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/ThummalapentaHTW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2010,
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2},
  doi       = {10.1007/978-3-642-13977-2},
  isbn      = {978-3-642-13976-5},
  timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tap/2010.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AyraultHP09,
  author    = {Philippe Ayrault and
               Th{\'{e}}r{\`{e}}se Hardin and
               Fran{\c{c}}ois Pessaux},
  editor    = {Catherine Dubois},
  title     = {Development of a Generic Voter under FoCal},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {10--26},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_3},
  doi       = {10.1007/978-3-642-02949-3\_3},
  timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AyraultHP09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CalvagnaG09,
  author    = {Andrea Calvagna and
               Angelo Gargantini},
  editor    = {Catherine Dubois},
  title     = {Combining Satisfiability Solving and Heuristics to Constrained Combinatorial
               Interaction Testing},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {27--42},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_4},
  doi       = {10.1007/978-3-642-02949-3\_4},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/CalvagnaG09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Chetali09,
  author    = {Boutheina Chetali},
  editor    = {Catherine Dubois},
  title     = {Security Testing and Formal Methods for High Levels Certification
               of Smart Cards},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {1--5},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_1},
  doi       = {10.1007/978-3-642-02949-3\_1},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Chetali09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/FazlalizadehKAP09,
  author    = {Yalda Fazlalizadeh and
               Alireza Khalilian and
               Mohammad Abdollahi Azgomi and
               Saeed Parsa},
  editor    = {Catherine Dubois},
  title     = {Incorporating Historical Test Case Performance Data and Resource Constraints
               into Test Case Prioritization},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {43--57},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_5},
  doi       = {10.1007/978-3-642-02949-3\_5},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/FazlalizadehKAP09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/FraserW09,
  author    = {Gordon Fraser and
               Franz Wotawa},
  editor    = {Catherine Dubois},
  title     = {Complementary Criteria for Testing Temporal Logic Properties},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {58--73},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_6},
  doi       = {10.1007/978-3-642-02949-3\_6},
  timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tap/FraserW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Gladisch09,
  author    = {Christoph Gladisch},
  editor    = {Catherine Dubois},
  title     = {Could We Have Chosen a Better Loop Invariant or Method Contract?},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {74--89},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_7},
  doi       = {10.1007/978-3-642-02949-3\_7},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Gladisch09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaKH09,
  author    = {Martin Gogolla and
               Mirco Kuhlmann and
               Lars Hamann},
  editor    = {Catherine Dubois},
  title     = {Consistency, Independence and Consequences in {UML} and {OCL} Models},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {90--104},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_8},
  doi       = {10.1007/978-3-642-02949-3\_8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GogollaKH09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GriesmayerAJS09,
  author    = {Andreas Griesmayer and
               Bernhard K. Aichernig and
               Einar Broch Johnsen and
               Rudolf Schlatte},
  editor    = {Catherine Dubois},
  title     = {Dynamic Symbolic Execution for Testing Distributed Objects},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {105--120},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_9},
  doi       = {10.1007/978-3-642-02949-3\_9},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GriesmayerAJS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HerberFG09,
  author    = {Paula Herber and
               Florian Friedemann and
               Sabine Glesner},
  editor    = {Catherine Dubois},
  title     = {Combining Model Checking and Testing in a Continuous {HW/SW} Co-verification
               Process},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {121--136},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_10},
  doi       = {10.1007/978-3-642-02949-3\_10},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/HerberFG09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/NoriR09,
  author    = {Aditya V. Nori and
               Sriram K. Rajamani},
  editor    = {Catherine Dubois},
  title     = {Verification, Testing and Statistics},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {6--9},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_2},
  doi       = {10.1007/978-3-642-02949-3\_2},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/NoriR09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Rapin09,
  author    = {Nicolas Rapin},
  editor    = {Catherine Dubois},
  title     = {Symbolic Execution Based Model Checking of Open Systems with Unbounded
               Variables},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {137--152},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_11},
  doi       = {10.1007/978-3-642-02949-3\_11},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Rapin09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/RatschanS09,
  author    = {Stefan Ratschan and
               Jan{-}Georg Smaus},
  editor    = {Catherine Dubois},
  title     = {Finding Errors of Hybrid Systems by Optimising an Abstraction-Based
               Quality Estimate},
  booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  pages     = {153--168},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3\_12},
  doi       = {10.1007/978-3-642-02949-3\_12},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/RatschanS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2009,
  editor    = {Catherine Dubois},
  title     = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
               Switzerland, July 2-3, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5668},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02949-3},
  doi       = {10.1007/978-3-642-02949-3},
  isbn      = {978-3-642-02948-6},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2009.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BallK08,
  author    = {Thomas Ball and
               Orna Kupferman},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Vacuity in Testing},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {4--17},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_2},
  doi       = {10.1007/978-3-540-79124-9\_2},
  timestamp = {Tue, 23 Jun 2020 17:02:04 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BallK08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CalvagnaG08,
  author    = {Andrea Calvagna and
               Angelo Gargantini},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {A Logic-Based Approach to Combinatorial Testing with Constraints},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {66--83},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_6},
  doi       = {10.1007/978-3-540-79124-9\_6},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/CalvagnaG08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Cao08,
  author    = {Zining Cao},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Equivalence Checking for a Finite Higher Order pi-Calculus},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {30--47},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_4},
  doi       = {10.1007/978-3-540-79124-9\_4},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Cao08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CarlierD08,
  author    = {Matthieu Carlier and
               Catherine Dubois},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Functional Testing in the Focal Environment},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {84--98},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_7},
  doi       = {10.1007/978-3-540-79124-9\_7},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/CarlierD08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ClaessenS08,
  author    = {Koen Claessen and
               Hans Svensson},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Finding Counter Examples in Induction Proofs},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {48--65},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_5},
  doi       = {10.1007/978-3-540-79124-9\_5},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/ClaessenS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DunetsSR08,
  author    = {Andriy Dunets and
               Gerhard Schellhorn and
               Wolfgang Reif},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Bounded Relational Analysis of Free Data Types},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {99--115},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_8},
  doi       = {10.1007/978-3-540-79124-9\_8},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/DunetsSR08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/EngelGKR08,
  author    = {Christian Engel and
               Christoph Gladisch and
               Vladimir Klebanov and
               Philipp R{\"{u}}mmer},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Integrating Verification and Testing of Object-Oriented Software},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {182--191},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_13},
  doi       = {10.1007/978-3-540-79124-9\_13},
  timestamp = {Tue, 19 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tap/EngelGKR08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Ferrara08,
  author    = {Pietro Ferrara},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Static Analysis Via Abstract Interpretation of the Happens-Before
               Memory Model},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {116--133},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_9},
  doi       = {10.1007/978-3-540-79124-9\_9},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Ferrara08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HalleuxT08,
  author    = {Jonathan de Halleux and
               Nikolai Tillmann},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Parameterized Unit Testing with Pex},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {171--181},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_12},
  doi       = {10.1007/978-3-540-79124-9\_12},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/HalleuxT08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Hennell08,
  author    = {Michael A. Hennell},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {The First Thirty Years: Experience with Software Verification},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {1--3},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_1},
  doi       = {10.1007/978-3-540-79124-9\_1},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Hennell08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/TillmannH08,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Pex-White Box Test Generation for .NET},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {134--153},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_10},
  doi       = {10.1007/978-3-540-79124-9\_10},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/TillmannH08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/VelroyenR08,
  author    = {Helga Velroyen and
               Philipp R{\"{u}}mmer},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Non-termination Checking for Imperative Programs},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {154--170},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_11},
  doi       = {10.1007/978-3-540-79124-9\_11},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/VelroyenR08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/WeyukerO08,
  author    = {Elaine J. Weyuker and
               Thomas J. Ostrand},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {What Can Fault Prediction Do for YOU?},
  booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {18--29},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_3},
  doi       = {10.1007/978-3-540-79124-9\_3},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/WeyukerO08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2008,
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9},
  doi       = {10.1007/978-3-540-79124-9},
  isbn      = {978-3-540-79123-2},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2008.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BackEM07,
  author    = {Ralph{-}Johan Back and
               Johannes Eriksson and
               Magnus Myreen},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Testing and Verifying Invariant Based Programs in the {SOCOS} Environment},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {61--78},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_4},
  doi       = {10.1007/978-3-540-73770-4\_4},
  timestamp = {Tue, 23 Jun 2020 17:02:04 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BackEM07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BeckertG07,
  author    = {Bernhard Beckert and
               Christoph Gladisch},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {White-Box Testing by Combining Deduction-Based Specification Extraction
               and Black-Box Testing},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {207--216},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_12},
  doi       = {10.1007/978-3-540-73770-4\_12},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BeckertG07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BruckerW07,
  author    = {Achim D. Brucker and
               Burkhart Wolff},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Test-Sequence Generation with Hol-TestGen with an Application to Firewall
               Testing},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {149--168},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_9},
  doi       = {10.1007/978-3-540-73770-4\_9},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/BruckerW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/EngelH07,
  author    = {Christian Engel and
               Reiner H{\"{a}}hnle},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Generating Unit Tests from Formal Proofs},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {169--188},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_10},
  doi       = {10.1007/978-3-540-73770-4\_10},
  timestamp = {Tue, 19 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tap/EngelH07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GallRT07,
  author    = {Pascale Le Gall and
               Nicolas Rapin and
               Assia Touil},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Symbolic Execution Techniques for Refinement Testing},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {131--148},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_8},
  doi       = {10.1007/978-3-540-73770-4\_8},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/GallRT07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Gargantini07,
  author    = {Angelo Gargantini},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Using Model Checking to Generate Fault Detecting Tests},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {189--206},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_11},
  doi       = {10.1007/978-3-540-73770-4\_11},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Gargantini07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Haiyan07,
  author    = {Qiao Haiyan},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Testing and Proving Distributed Algorithms in Constructive Type Theory},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {79--94},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_5},
  doi       = {10.1007/978-3-540-73770-4\_5},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Haiyan07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LiuMS07,
  author    = {Lisa (Ling) Liu and
               Bertrand Meyer and
               Bernd Schoeller},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Using Contracts and Boolean Queries to Improve the Quality of Automatic
               Test Generation},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {114--130},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_7},
  doi       = {10.1007/978-3-540-73770-4\_7},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tap/LiuMS07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/OstroffT07,
  author    = {Jonathan S. Ostroff and
               Faraz Ahmadi Torshizi},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Testable Requirements and Specifications},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {17--40},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_2},
  doi       = {10.1007/978-3-540-73770-4\_2},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/OstroffT07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/RummerS07,
  author    = {Philipp R{\"{u}}mmer and
               Muhammad Ali Shah},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic
               Logic},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {41--60},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_3},
  doi       = {10.1007/978-3-540-73770-4\_3},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/RummerS07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/SatpathyBLR07,
  author    = {Manoranjan Satpathy and
               Michael J. Butler and
               Michael Leuschel and
               S. Ramesh},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Automatic Testing from Formal Specifications},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {95--113},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_6},
  doi       = {10.1007/978-3-540-73770-4\_6},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/SatpathyBLR07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/SmaragdakisC07,
  author    = {Yannis Smaragdakis and
               Christoph Csallner},
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Combining Static and Dynamic Reasoning for Bug Detection},
  booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  pages     = {1--16},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4\_1},
  doi       = {10.1007/978-3-540-73770-4\_1},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/SmaragdakisC07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2007,
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4},
  doi       = {10.1007/978-3-540-73770-4},
  isbn      = {978-3-540-73769-8},
  timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2007.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics