Search dblp for Publications

export results for "stream:conf/tap:"

 download as .bib file

@proceedings{DBLP:conf/tap/2024,
  editor       = {Marieke Huisman and
                  Falk Howar},
  title        = {Tests and Proofs - 18th International Conference, {TAP} 2024, Milan,
                  Italy, September 9-10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15153},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-72044-4},
  doi          = {10.1007/978-3-031-72044-4},
  isbn         = {978-3-031-72043-7},
  timestamp    = {Wed, 18 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BarthJ24,
  author       = {Max Barth and
                  Marie{-}Christine Jakobs},
  editor       = {Marieke Huisman and
                  Falk Howar},
  title        = {Refining CEGAR-Based Test-Case Generation with Feasibility Annotations},
  booktitle    = {Tests and Proofs - 18th International Conference, {TAP} 2024, Milan,
                  Italy, September 9-10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15153},
  pages        = {45--64},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-72044-4\_3},
  doi          = {10.1007/978-3-031-72044-4\_3},
  timestamp    = {Thu, 03 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/BarthJ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BlanchardCDK24,
  author       = {Allan Blanchard and
                  Lo{\"{\i}}c Correnson and
                  Adel Djoudi and
                  Nikolai Kosmatov},
  editor       = {Marieke Huisman and
                  Falk Howar},
  title        = {No Smoke Without Fire: Detecting Specification Inconsistencies with
                  Frama-C/WP},
  booktitle    = {Tests and Proofs - 18th International Conference, {TAP} 2024, Milan,
                  Italy, September 9-10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15153},
  pages        = {65--83},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-72044-4\_4},
  doi          = {10.1007/978-3-031-72044-4\_4},
  timestamp    = {Thu, 03 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/BlanchardCDK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Ehlers24,
  author       = {R{\"{u}}diger Ehlers},
  editor       = {Marieke Huisman and
                  Falk Howar},
  title        = {Efficient Temporal Logic Runtime Monitoring for Tiny Systems},
  booktitle    = {Tests and Proofs - 18th International Conference, {TAP} 2024, Milan,
                  Italy, September 9-10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15153},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-72044-4\_1},
  doi          = {10.1007/978-3-031-72044-4\_1},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Ehlers24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HuangMO24,
  author       = {Li Huang and
                  Bertrand Meyer and
                  Manuel Oriol},
  editor       = {Marieke Huisman and
                  Falk Howar},
  title        = {Is {MCDC} Really Better? Lessons from Combining Tests and Proofs},
  booktitle    = {Tests and Proofs - 18th International Conference, {TAP} 2024, Milan,
                  Italy, September 9-10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15153},
  pages        = {25--44},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-72044-4\_2},
  doi          = {10.1007/978-3-031-72044-4\_2},
  timestamp    = {Thu, 03 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/HuangMO24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LochauS24,
  author       = {Malte Lochau and
                  Ina Schaefer},
  editor       = {Marieke Huisman and
                  Falk Howar},
  title        = {Model-Based Testing of Quantum Computations},
  booktitle    = {Tests and Proofs - 18th International Conference, {TAP} 2024, Milan,
                  Italy, September 9-10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15153},
  pages        = {127--147},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-72044-4\_7},
  doi          = {10.1007/978-3-031-72044-4\_7},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/LochauS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MuesRH24,
  author       = {Malte Mues and
                  Julian R{\"{u}}schoff and
                  Ben Hermann},
  editor       = {Marieke Huisman and
                  Falk Howar},
  title        = {Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution
                  on the {JVM}},
  booktitle    = {Tests and Proofs - 18th International Conference, {TAP} 2024, Milan,
                  Italy, September 9-10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15153},
  pages        = {168--175},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-72044-4\_9},
  doi          = {10.1007/978-3-031-72044-4\_9},
  timestamp    = {Tue, 29 Oct 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tap/MuesRH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/SchluterS24,
  author       = {Maximilian Schl{\"{u}}ter and
                  Bernhard Steffen},
  editor       = {Marieke Huisman and
                  Falk Howar},
  title        = {Affinitree: {A} Compositional Framework for Formal Analysis and Explanation
                  of Deep Neural Networks},
  booktitle    = {Tests and Proofs - 18th International Conference, {TAP} 2024, Milan,
                  Italy, September 9-10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15153},
  pages        = {148--167},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-72044-4\_8},
  doi          = {10.1007/978-3-031-72044-4\_8},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/SchluterS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/WuFM24,
  author       = {Hao Wu and
                  Thomas Flinkow and
                  Dominique M{\'{e}}ry},
  editor       = {Marieke Huisman and
                  Falk Howar},
  title        = {Cyclone: {A} New Tool for Verifying/Testing Graph-Based Structures
                  - Tool Paper},
  booktitle    = {Tests and Proofs - 18th International Conference, {TAP} 2024, Milan,
                  Italy, September 9-10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15153},
  pages        = {107--124},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-72044-4\_6},
  doi          = {10.1007/978-3-031-72044-4\_6},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/WuFM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ZianiKLP24,
  author       = {Yani Ziani and
                  Nikolai Kosmatov and
                  Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Daniel Gracia P{\'{e}}rez},
  editor       = {Marieke Huisman and
                  Falk Howar},
  title        = {Runtime Verification for High-Level Security Properties: Case Study
                  on the {TPM} Software Stack},
  booktitle    = {Tests and Proofs - 18th International Conference, {TAP} 2024, Milan,
                  Italy, September 9-10, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15153},
  pages        = {87--106},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-72044-4\_5},
  doi          = {10.1007/978-3-031-72044-4\_5},
  timestamp    = {Thu, 03 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/ZianiKLP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BenajminS23,
  author       = {Thibaut Benajmin and
                  Julien Signoles},
  editor       = {Virgile Prevosto and
                  Cristina Seceleanu},
  title        = {Abstract Interpretation of Recursive Logic Definitions for Efficient
                  Runtime Assertion Checking},
  booktitle    = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
                  UK, July 18-19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14066},
  pages        = {168--186},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38828-6\_10},
  doi          = {10.1007/978-3-031-38828-6\_10},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/BenajminS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Cimini23,
  author       = {Matteo Cimini},
  editor       = {Virgile Prevosto and
                  Cristina Seceleanu},
  title        = {Testing Languages with a Languages-as-Databases Approach},
  booktitle    = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
                  UK, July 18-19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14066},
  pages        = {108--126},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38828-6\_7},
  doi          = {10.1007/978-3-031-38828-6\_7},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Cimini23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ClouetAAS23,
  author       = {Myriam Clouet and
                  Thibaud Antignac and
                  Mathilde Arnaud and
                  Julien Signoles},
  editor       = {Virgile Prevosto and
                  Cristina Seceleanu},
  title        = {Context Specification Language for Formally Verifying Consent Properties
                  on Models and Code},
  booktitle    = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
                  UK, July 18-19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14066},
  pages        = {68--93},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38828-6\_5},
  doi          = {10.1007/978-3-031-38828-6\_5},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/ClouetAAS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/EngelVR23,
  author       = {Daniel Engel and
                  Freek Verbeek and
                  Binoy Ravindran},
  editor       = {Virgile Prevosto and
                  Cristina Seceleanu},
  title        = {{BIRD:} {A} Binary Intermediate Representation for Formally Verified
                  Decompilation of {X86-64} Binaries},
  booktitle    = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
                  UK, July 18-19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14066},
  pages        = {3--20},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38828-6\_1},
  doi          = {10.1007/978-3-031-38828-6\_1},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/EngelVR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaH23,
  author       = {Martin Gogolla and
                  Lars Hamann},
  editor       = {Virgile Prevosto and
                  Cristina Seceleanu},
  title        = {Proving Properties of Operation Contracts with Test Scenarios},
  booktitle    = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
                  UK, July 18-19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14066},
  pages        = {97--107},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38828-6\_6},
  doi          = {10.1007/978-3-031-38828-6\_6},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/GogollaH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HuraultM23,
  author       = {Aur{\'{e}}lie Hurault and
                  Jo{\~{a}}o Marques{-}Silva},
  editor       = {Virgile Prevosto and
                  Cristina Seceleanu},
  title        = {Certified Logic-Based Explainable {AI} - The Case of Monotonic Classifiers},
  booktitle    = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
                  UK, July 18-19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14066},
  pages        = {51--67},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38828-6\_4},
  doi          = {10.1007/978-3-031-38828-6\_4},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/HuraultM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KlaiBADO23,
  author       = {Kais Klai and
                  Mohamed Taha Bennani and
                  Jaime Arias and
                  J{\"{o}}rg Desel and
                  Hanen Ochi},
  editor       = {Virgile Prevosto and
                  Cristina Seceleanu},
  title        = {Symbolic Observation Graph-Based Generation of Test Paths},
  booktitle    = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
                  UK, July 18-19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14066},
  pages        = {127--146},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38828-6\_8},
  doi          = {10.1007/978-3-031-38828-6\_8},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/KlaiBADO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MonniauxGBL23,
  author       = {David Monniaux and
                  L{\'{e}}o Gourdin and
                  Sylvain Boulm{\'{e}} and
                  Olivier Lebeltel},
  editor       = {Virgile Prevosto and
                  Cristina Seceleanu},
  title        = {Testing a Formally Verified Compiler},
  booktitle    = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
                  UK, July 18-19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14066},
  pages        = {40--48},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38828-6\_3},
  doi          = {10.1007/978-3-031-38828-6\_3},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/MonniauxGBL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/NausVSR23,
  author       = {Nico Naus and
                  Freek Verbeek and
                  Marc Schoolderman and
                  Binoy Ravindran},
  editor       = {Virgile Prevosto and
                  Cristina Seceleanu},
  title        = {Low-Level Reachability Analysis Based on Formal Logic},
  booktitle    = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
                  UK, July 18-19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14066},
  pages        = {21--39},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38828-6\_2},
  doi          = {10.1007/978-3-031-38828-6\_2},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/NausVSR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/StraussM23,
  author       = {Megan Strauss and
                  Stefan Mitsch},
  editor       = {Virgile Prevosto and
                  Cristina Seceleanu},
  title        = {Slow Down, Move Over: {A} Case Study in Formal Verification, Refinement,
                  and Testing of the Responsibility-Sensitive Safety Model for Self-Driving
                  Cars},
  booktitle    = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
                  UK, July 18-19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14066},
  pages        = {149--167},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38828-6\_9},
  doi          = {10.1007/978-3-031-38828-6\_9},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/StraussM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2023,
  editor       = {Virgile Prevosto and
                  Cristina Seceleanu},
  title        = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
                  UK, July 18-19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14066},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38828-6},
  doi          = {10.1007/978-3-031-38828-6},
  isbn         = {978-3-031-38827-9},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DierlH22,
  author       = {Simon Dierl and
                  Falk Howar},
  editor       = {Laura Kov{\'{a}}cs and
                  Karl Meinke},
  title        = {Reach on Register Automata via History Independence},
  booktitle    = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
                  as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13361},
  pages        = {11--30},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09827-7\_2},
  doi          = {10.1007/978-3-031-09827-7\_2},
  timestamp    = {Thu, 14 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/DierlH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Jakobs22,
  author       = {Marie{-}Christine Jakobs},
  editor       = {Laura Kov{\'{a}}cs and
                  Karl Meinke},
  title        = {Automatic Test-Case Generation with CoVeriTest (Extended Abstract)},
  booktitle    = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
                  as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13361},
  pages        = {3--8},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09827-7\_1},
  doi          = {10.1007/978-3-031-09827-7\_1},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Jakobs22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KaufmannB22,
  author       = {Daniela Kaufmann and
                  Armin Biere},
  editor       = {Laura Kov{\'{a}}cs and
                  Karl Meinke},
  title        = {Fuzzing and Delta Debugging And-Inverter Graph Verification Tools},
  booktitle    = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
                  as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13361},
  pages        = {69--88},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09827-7\_5},
  doi          = {10.1007/978-3-031-09827-7\_5},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/KaufmannB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LembacharRNC22,
  author       = {Yousra Lembachar and
                  Ryan Rusich and
                  Iulian Neamtiu and
                  Gianfranco Ciardo},
  editor       = {Laura Kov{\'{a}}cs and
                  Karl Meinke},
  title        = {Bddl: {A} Type System for Binary Decision Diagrams},
  booktitle    = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
                  as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13361},
  pages        = {31--47},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09827-7\_3},
  doi          = {10.1007/978-3-031-09827-7\_3},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/LembacharRNC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MarmsolerB22,
  author       = {Diego Marmsoler and
                  Achim D. Brucker},
  editor       = {Laura Kov{\'{a}}cs and
                  Karl Meinke},
  title        = {Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing},
  booktitle    = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
                  as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13361},
  pages        = {106--125},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09827-7\_7},
  doi          = {10.1007/978-3-031-09827-7\_7},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/MarmsolerB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MouzaraniKBH22,
  author       = {Maryam Mouzarani and
                  Ali Kamali and
                  Sara Baradaran and
                  Mahdi Heidari},
  editor       = {Laura Kov{\'{a}}cs and
                  Karl Meinke},
  title        = {A Unit-Based Symbolic Execution Method for Detecting Heap Overflow
                  Vulnerability in Executable Codes},
  booktitle    = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
                  as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13361},
  pages        = {89--105},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09827-7\_6},
  doi          = {10.1007/978-3-031-09827-7\_6},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/MouzaraniKBH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Nagashima22,
  author       = {Yutaka Nagashima},
  editor       = {Laura Kov{\'{a}}cs and
                  Karl Meinke},
  title        = {Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction},
  booktitle    = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
                  as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13361},
  pages        = {48--66},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09827-7\_4},
  doi          = {10.1007/978-3-031-09827-7\_4},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Nagashima22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2022,
  editor       = {Laura Kov{\'{a}}cs and
                  Karl Meinke},
  title        = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
                  as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13361},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09827-7},
  doi          = {10.1007/978-3-031-09827-7},
  isbn         = {978-3-031-09826-0},
  timestamp    = {Mon, 27 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AlshmranyABC21,
  author       = {Kaled M. Alshmrany and
                  Mohannad Aldughaim and
                  Ahmed Bhayat and
                  Lucas C. Cordeiro},
  editor       = {Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Franz Wotawa},
  title        = {FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities
                  in {C} Programs},
  booktitle    = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held
                  as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12740},
  pages        = {85--105},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79379-1\_6},
  doi          = {10.1007/978-3-030-79379-1\_6},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/AlshmranyABC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AndreMP21,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Dylan Marinho and
                  Jaco van de Pol},
  editor       = {Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Franz Wotawa},
  title        = {A Benchmarks Library for Extended Parametric Timed Automata},
  booktitle    = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held
                  as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12740},
  pages        = {39--50},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79379-1\_3},
  doi          = {10.1007/978-3-030-79379-1\_3},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/AndreMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Diner0SS21,
  author       = {Dominik Diner and
                  Gordon Fraser and
                  Sebastian Schweikl and
                  Andreas Stahlbauer},
  editor       = {Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Franz Wotawa},
  title        = {Generating Timed {UI} Tests from Counterexamples},
  booktitle    = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held
                  as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12740},
  pages        = {53--71},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79379-1\_4},
  doi          = {10.1007/978-3-030-79379-1\_4},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Diner0SS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Eberhart0KKKHI21,
  author       = {Clovis Eberhart and
                  Akihisa Yamada and
                  Stefan Klikovits and
                  Shin{-}ya Katsumata and
                  Tsutomu Kobayashi and
                  Ichiro Hasuo and
                  Fuyuki Ishikawa},
  editor       = {Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Franz Wotawa},
  title        = {Architecture-Guided Test Resource Allocation via Logic},
  booktitle    = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held
                  as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12740},
  pages        = {22--38},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79379-1\_2},
  doi          = {10.1007/978-3-030-79379-1\_2},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Eberhart0KKKHI21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MeinkeK21,
  author       = {Karl Meinke and
                  Hojat Khosrowjerdi},
  editor       = {Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Franz Wotawa},
  title        = {Use Case Testing: {A} Constrained Active Machine Learning Approach},
  booktitle    = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held
                  as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12740},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79379-1\_1},
  doi          = {10.1007/978-3-030-79379-1\_1},
  timestamp    = {Thu, 01 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/MeinkeK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/NilizadehLP21,
  author       = {Amirfarhad Nilizadeh and
                  Gary T. Leavens and
                  Corina S. Pasareanu},
  editor       = {Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Franz Wotawa},
  title        = {Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage
                  with Valid Inputs},
  booktitle    = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held
                  as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12740},
  pages        = {72--84},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79379-1\_5},
  doi          = {10.1007/978-3-030-79379-1\_5},
  timestamp    = {Thu, 01 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/NilizadehLP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2021,
  editor       = {Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Franz Wotawa},
  title        = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held
                  as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12740},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79379-1},
  doi          = {10.1007/978-3-030-79379-1},
  isbn         = {978-3-030-79378-4},
  timestamp    = {Thu, 01 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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, 06 Oct 2024 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    = {Mon, 26 Jun 2023 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    = {Mon, 05 Feb 2024 00:00:00 +0100},
  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    = {Tue, 07 May 2024 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, 01 Jun 2021 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    = {Thu, 14 Oct 2021 01:00:00 +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, 21 Mar 2023 00:00:00 +0100},
  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, 21 Mar 2023 00:00:00 +0100},
  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    = {Sat, 09 Apr 2022 01:00:00 +0200},
  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, 04 Aug 2024 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, 07 Mar 2023 00:00:00 +0100},
  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    = {Sun, 04 Aug 2024 19:44:04 +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    = {Fri, 09 Apr 2021 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    = {Wed, 01 Jun 2022 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    = {Mon, 26 Jun 2023 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    = {Fri, 09 Apr 2021 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, 07 May 2024 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, 07 May 2024 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    = {Sun, 04 Aug 2024 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, 07 May 2024 01:00:00 +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    = {Mon, 03 Jan 2022 00:00:00 +0100},
  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    = {Fri, 09 Apr 2021 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    = {Wed, 01 Jun 2022 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    = {Fri, 09 Apr 2021 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    = {Mon, 03 Jan 2022 00:00:00 +0100},
  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    = {Wed, 07 Dec 2022 00:00:00 +0100},
  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    = {Mon, 05 Feb 2024 00:00:00 +0100},
  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    = {Thu, 15 Aug 2024 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, 15 Aug 2023 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    = {Sun, 25 Jul 2021 01:00:00 +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    = {Tue, 18 Jul 2023 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    = {Sun, 25 Jul 2021 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, 07 May 2024 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    = {Mon, 26 Jun 2023 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    = {Sat, 30 Sep 2023 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, 07 May 2024 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    = {Fri, 09 Apr 2021 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    = {Mon, 03 Jan 2022 00:00:00 +0100},
  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, 21 Mar 2023 00:00:00 +0100},
  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    = {Wed, 02 Mar 2022 00:00:00 +0100},
  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, 21 Mar 2023 00:00:00 +0100},
  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    = {Sun, 02 Oct 2022 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    = {Mon, 03 Jan 2022 00:00:00 +0100},
  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, 09 Jul 2024 01:00:00 +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    = {Sun, 02 Oct 2022 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    = {Tue, 24 Aug 2021 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, 09 Apr 2021 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    = {Fri, 22 Sep 2023 01:00:00 +0200},
  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    = {Mon, 03 May 2021 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}
}