![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:conf/tap:"
@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 = {Mon, 27 Jun 2022 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, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tap/KamkinKKP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/KhosrowjerdiNM20, author = {Hojat Khosrowjerdi and Hamed Nemati and Karl Meinke}, editor = {Wolfgang Ahrendt and Heike Wehrheim}, title = {Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries}, booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, series = {Lecture Notes in Computer Science}, volume = {12165}, pages = {59--79}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-50995-8\_4}, doi = {10.1007/978-3-030-50995-8\_4}, timestamp = {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} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.