Search dblp for Publications

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

 download as .bib file

@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}
}
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.