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    = {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}
}

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.