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, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/KamkinKKP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/KhosrowjerdiNM20,
  author       = {Hojat Khosrowjerdi and
                  Hamed Nemati and
                  Karl Meinke},
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph
                  Queries},
  booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  pages        = {59--79},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8\_4},
  doi          = {10.1007/978-3-030-50995-8\_4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/KhosrowjerdiNM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/KolarikR20,
  author       = {Tom{\'{a}}s Kol{\'{a}}rik and
                  Stefan Ratschan},
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {{SAT} Modulo Differential Equation Simulations},
  booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  pages        = {80--99},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8\_5},
  doi          = {10.1007/978-3-030-50995-8\_5},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tap/KolarikR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/Lester20,
  author       = {Martin Mariusz Lester},
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive
                  Fiction Games},
  booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  pages        = {169--179},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8\_10},
  doi          = {10.1007/978-3-030-50995-8\_10},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Lester20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/LyKLS20,
  author       = {Dara Ly and
                  Nikolai Kosmatov and
                  Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Julien Signoles},
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {Verified Runtime Assertion Checking for Memory Properties},
  booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  pages        = {100--121},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8\_6},
  doi          = {10.1007/978-3-030-50995-8\_6},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/LyKLS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/MasciM20,
  author       = {Paolo Masci and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {A Graphical Toolkit for the Validation of Requirements for Detect
                  and Avoid Systems},
  booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  pages        = {155--166},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8\_9},
  doi          = {10.1007/978-3-030-50995-8\_9},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/MasciM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/PereiraMP20,
  author       = {Jo{\~{a}}o Carlos Pereira and
                  Nuno Machado and
                  Jorge Sousa Pinto},
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {Testing for Race Conditions in Distributed Systems via {SMT} Solving},
  booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  pages        = {122--140},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8\_7},
  doi          = {10.1007/978-3-030-50995-8\_7},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/PereiraMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tap/2020,
  editor       = {Wolfgang Ahrendt and
                  Heike Wehrheim},
  title        = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
                  Norway, June 22-23, 2020, Proceedings [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12165},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50995-8},
  doi          = {10.1007/978-3-030-50995-8},
  isbn         = {978-3-030-50994-1},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.