Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/tap/AguirreBFG11,
  author       = {Nazareno Aguirre and
                  Valeria S. Bengolea and
                  Marcelo F. Frias and
                  Juan P. Galeotti},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test
                  Generation of Structural Inputs},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {15--32},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_3},
  doi          = {10.1007/978-3-642-21768-5\_3},
  timestamp    = {Tue, 23 Jun 2020 17:37:39 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/AguirreBFG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/BentakoukPZ11,
  author       = {Lina Bentakouk and
                  Pascal Poizat and
                  Fatiha Za{\"{\i}}di},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Checking the Behavioral Conformance of Web Services with Symbolic
                  Testing and an {SMT} Solver},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {33--50},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_4},
  doi          = {10.1007/978-3-642-21768-5\_4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tap/BentakoukPZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/BuchlerOP11,
  author       = {Matthias B{\"{u}}chler and
                  Johan Oudinet and
                  Alexander Pretschner},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Security Mutants for Property-Based Testing},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {69--77},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_6},
  doi          = {10.1007/978-3-642-21768-5\_6},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/BuchlerOP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/BueJM11,
  author       = {Pierre{-}Christophe Bu{\'{e}} and
                  Jacques Julliand and
                  Pierre{-}Alain Masson},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Association of Under-Approximation Techniques for Generating Tests
                  from Models},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {51--68},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_5},
  doi          = {10.1007/978-3-642-21768-5\_5},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/BueJM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/ChebaroKGJ11,
  author       = {Omar Chebaro and
                  Nikolai Kosmatov and
                  Alain Giorgetti and
                  Jacques Julliand},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {The {SANTE} Tool: Value Analysis, Program Slicing and Test Generation
                  for {C} Program Debugging},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {78--83},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_7},
  doi          = {10.1007/978-3-642-21768-5\_7},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/ChebaroKGJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/DegiovanniPAF11,
  author       = {Renzo Degiovanni and
                  Pablo Ponzio and
                  Nazareno Aguirre and
                  Marcelo F. Frias},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Abstraction Based Automated Test Generation from Formal Tabular Requirements
                  Specifications},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {84--101},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_8},
  doi          = {10.1007/978-3-642-21768-5\_8},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/DegiovanniPAF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/DrossFM11,
  author       = {Claire Dross and
                  Jean{-}Christophe Filli{\^{a}}tre and
                  Yannick Moy},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Correct Code Containing Containers},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {102--118},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_9},
  doi          = {10.1007/978-3-642-21768-5\_9},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/DrossFM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/Gaudel11,
  author       = {Marie{-}Claude Gaudel},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Checking Models, Proving Programs, and Testing Systems},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_1},
  doi          = {10.1007/978-3-642-21768-5\_1},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Gaudel11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/Godefroid11,
  author       = {Patrice Godefroid},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Tests from Proofs},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {14},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_2},
  doi          = {10.1007/978-3-642-21768-5\_2},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Godefroid11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/HeamM11,
  author       = {Pierre{-}Cyrille H{\'{e}}am and
                  Catherine Masson},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {A Random Testing Approach Using Pushdown Automata},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {119--133},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_10},
  doi          = {10.1007/978-3-642-21768-5\_10},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/HeamM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/MeinkeS11,
  author       = {Karl Meinke and
                  Muddassar A. Sindhu},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Incremental Learning-Based Testing for Reactive Systems},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {134--151},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_11},
  doi          = {10.1007/978-3-642-21768-5\_11},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/MeinkeS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/SoekenWD11,
  author       = {Mathias Soeken and
                  Robert Wille and
                  Rolf Drechsler},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Encoding {OCL} Data Types for SAT-Based Verification of {UML/OCL}
                  Models},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {152--170},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_12},
  doi          = {10.1007/978-3-642-21768-5\_12},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/SoekenWD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/Tan11,
  author       = {Li Tan},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {State Coverage Metrics for Specification-Based Testing with B{\"{u}}chi
                  Automata},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {171--186},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_13},
  doi          = {10.1007/978-3-642-21768-5\_13},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Tan11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/TroyaBLV11,
  author       = {Javier Troya and
                  Jos{\'{e}} Mar{\'{\i}}a Bautista and
                  Fernando L{\'{o}}pez{-}Romero and
                  Antonio Vallecillo},
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Lightweight Testing of Communication Networks with \emph{e-Motions}},
  booktitle    = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  pages        = {187--204},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5\_14},
  doi          = {10.1007/978-3-642-21768-5\_14},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/TroyaBLV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tap/2011,
  editor       = {Martin Gogolla and
                  Burkhart Wolff},
  title        = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
                  Switzerland, June 30 - July 1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6706},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21768-5},
  doi          = {10.1007/978-3-642-21768-5},
  isbn         = {978-3-642-21767-8},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/2011.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.