Search dblp for Publications

export results for "toc:db/conf/tap/tap2019.bht:"

 download as .bib file

@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    = {Wed, 07 Dec 2022 00:00:00 +0100},
  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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.