Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/tap/BaranyS17,
  author       = {Gerg{\"{o}} Barany and
                  Julien Signoles},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Hybrid Information Flow Analysis for Real-World {C} Code},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {23--40},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_2},
  doi          = {10.1007/978-3-319-61467-0\_2},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/BaranyS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/BoudhibaGGP17,
  author       = {Imen Boudhiba and
                  Christophe Gaston and
                  Pascale Le Gall and
                  Virgile Prevosto},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Symbolic Execution of Transition Systems with Function Summaries},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {41--58},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_3},
  doi          = {10.1007/978-3-319-61467-0\_3},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tap/BoudhibaGGP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/DamianiHL17,
  author       = {Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Michael Lienhardt},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Abstraction Refinement for the Analysis of Software Product Lines},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {3--20},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_1},
  doi          = {10.1007/978-3-319-61467-0\_1},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/DamianiHL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/FazekasHSB17,
  author       = {Katalin Fazekas and
                  Marijn J. H. Heule and
                  Martina Seidl and
                  Armin Biere},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Skolem Function Continuation for Quantified Boolean Formulas},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {129--138},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_8},
  doi          = {10.1007/978-3-319-61467-0\_8},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/FazekasHSB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/FuchsK17,
  author       = {Andreas Fuchs and
                  Herbert Kuchen},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Unit Testing of Database-Driven Java Enterprise Edition Applications},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {59--76},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_4},
  doi          = {10.1007/978-3-319-61467-0\_4},
  timestamp    = {Wed, 01 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/FuchsK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/GerholdS17,
  author       = {Marcus Gerhold and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Model-Based Testing of Probabilistic Systems with Stochastic Time},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {77--97},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_5},
  doi          = {10.1007/978-3-319-61467-0\_5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/GerholdS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/GogollaHDD17,
  author       = {Martin Gogolla and
                  Frank Hilken and
                  Khanh{-}Hoang Doan and
                  Nisha Desai},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Checking {UML} and {OCL} Model Behavior with Filmstripping and Classifying
                  Terms},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {119--128},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_7},
  doi          = {10.1007/978-3-319-61467-0\_7},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/GogollaHDD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/IkeshitaIH17,
  author       = {Katsuhiko Ikeshita and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Test Suite Reduction in Idempotence Testing of Infrastructure as Code},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {98--115},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_6},
  doi          = {10.1007/978-3-319-61467-0\_6},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/IkeshitaIH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/MaalejKJ17,
  author       = {Afef Jmal Ma{\^{a}}lej and
                  Moez Krichen and
                  Mohamed Jma{\"{\i}}el},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {WSCLim: {A} Tool for Model-Based Testing of {WS-BPEL} Compositions
                  Under Load Conditions},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {139--151},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_9},
  doi          = {10.1007/978-3-319-61467-0\_9},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/MaalejKJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/Reger0V17,
  author       = {Giles Reger and
                  Martin Suda and
                  Andrei Voronkov},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Testing a Saturation-Based Theorem Prover: Experiences and Challenges},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {152--161},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_10},
  doi          = {10.1007/978-3-319-61467-0\_10},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tap/Reger0V17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tap/2017,
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0},
  doi          = {10.1007/978-3-319-61467-0},
  isbn         = {978-3-319-61466-3},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/2017.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.