Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/tap/AichernigTW20,
  author       = {Bernhard K. Aichernig and
                  Martin Tappler and
                  Felix Wallner},
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {Benchmarking Combinations of Learning and Testing Algorithms for Active
                  Automata Learning},
  booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8\_1},
  doi          = {10.1007/978-3-030-50995-8\_1},
  timestamp    = {Tue, 23 Jun 2020 17:11:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/AichernigTW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/AltisenDJ20,
  author       = {Karine Altisen and
                  St{\'{e}}phane Devismes and
                  Erwan Jahier},
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {sasa: {A} SimulAtor of Self-stabilizing Algorithms},
  booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  pages        = {143--154},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8\_8},
  doi          = {10.1007/978-3-030-50995-8\_8},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/AltisenDJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/HartelS20,
  author       = {Pieter H. Hartel and
                  Richard Schumi},
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {Mutation Testing of Smart Contracts at Scale},
  booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  pages        = {23--42},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8\_2},
  doi          = {10.1007/978-3-030-50995-8\_2},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/HartelS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/KamkinKKP20,
  author       = {Alexander Kamkin and
                  Alexey Khoroshilov and
                  Artem Kotsynyak and
                  Pavel Putro},
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {Deductive Binary Code Verification Against Source-Code-Level Specifications},
  booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  pages        = {43--58},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8\_3},
  doi          = {10.1007/978-3-030-50995-8\_3},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/KamkinKKP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/KhosrowjerdiNM20,
  author       = {Hojat Khosrowjerdi and
                  Hamed Nemati and
                  Karl Meinke},
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph
                  Queries},
  booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  pages        = {59--79},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8\_4},
  doi          = {10.1007/978-3-030-50995-8\_4},
  timestamp    = {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}
}
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.