Search dblp for Publications

export results for "toc:db/conf/wcre/vst2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wcre/ArthoGR16,
  author       = {Cyrille Artho and
                  Quentin Gros and
                  Guillaume Rousset},
  title        = {Precondition Coverage in Software Testing},
  booktitle    = {First International Workshop on Validating Software Tests, VST@SANER
                  2016, Osaka, Japan, March 15, 2016},
  pages        = {21--24},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SANER.2016.31},
  doi          = {10.1109/SANER.2016.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/ArthoGR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/ArthoM16,
  author       = {Cyrille Artho and
                  Lei Ma},
  title        = {Classification of Randomly Generated Test Cases},
  booktitle    = {First International Workshop on Validating Software Tests, VST@SANER
                  2016, Osaka, Japan, March 15, 2016},
  pages        = {29--32},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SANER.2016.32},
  doi          = {10.1109/SANER.2016.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/ArthoM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/BaloghGBG16,
  author       = {Gerg{\"{o}} Balogh and
                  Tam{\'{a}}s Gergely and
                  {\'{A}}rp{\'{a}}d Besz{\'{e}}des and
                  Tibor Gyim{\'{o}}thy},
  title        = {Using the City Metaphor for Visualizing Test-Related Metrics},
  booktitle    = {First International Workshop on Validating Software Tests, VST@SANER
                  2016, Osaka, Japan, March 15, 2016},
  pages        = {17--20},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SANER.2016.48},
  doi          = {10.1109/SANER.2016.48},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcre/BaloghGBG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/MaruganSEH16,
  author       = {Pablo Gonz{\'{a}}lez de Aledo Marug{\'{a}}n and
                  {\'{A}}lvaro D{\'{\i}}az Su{\'{a}}rez and
                  Pablo S{\'{a}}nchez Espeso and
                  Ralf Huuck},
  title        = {Discovering and Validating Concurrency Specification from Test Executions},
  booktitle    = {First International Workshop on Validating Software Tests, VST@SANER
                  2016, Osaka, Japan, March 15, 2016},
  pages        = {5--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SANER.2016.49},
  doi          = {10.1109/SANER.2016.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/MaruganSEH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/PetersHR16,
  author       = {Henrik Peters and
                  Falk Howar and
                  Andreas Rausch},
  title        = {Towards Inferring Environment Models for Control Functions from Recorded
                  Signal Data},
  booktitle    = {First International Workshop on Validating Software Tests, VST@SANER
                  2016, Osaka, Japan, March 15, 2016},
  pages        = {1--4},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SANER.2016.83},
  doi          = {10.1109/SANER.2016.83},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/PetersHR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/RahmanNKD16,
  author       = {Md. Mazder Rahman and
                  Konstantin Nasartschuk and
                  Kenneth B. Kent and
                  Gerhard W. Dueck},
  title        = {Trace Files for Automatic Memory Management Systems},
  booktitle    = {First International Workshop on Validating Software Tests, VST@SANER
                  2016, Osaka, Japan, March 15, 2016},
  pages        = {9--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SANER.2016.118},
  doi          = {10.1109/SANER.2016.118},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/RahmanNKD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/RamlerMP16,
  author       = {Rudolf Ramler and
                  Michael Moser and
                  Josef Pichler},
  title        = {Automated Static Analysis of Unit Test Code},
  booktitle    = {First International Workshop on Validating Software Tests, VST@SANER
                  2016, Osaka, Japan, March 15, 2016},
  pages        = {25--28},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SANER.2016.102},
  doi          = {10.1109/SANER.2016.102},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/RamlerMP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/VidacsHTB16,
  author       = {L{\'{a}}szl{\'{o}} Vid{\'{a}}cs and
                  Ferenc Horv{\'{a}}th and
                  D{\'{a}}vid Tengeri and
                  {\'{A}}rp{\'{a}}d Besz{\'{e}}des},
  title        = {Assessing the Test Suite of a Large System Based on Code Coverage,
                  Efficiency and Uniqueness},
  booktitle    = {First International Workshop on Validating Software Tests, VST@SANER
                  2016, Osaka, Japan, March 15, 2016},
  pages        = {13--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SANER.2016.69},
  doi          = {10.1109/SANER.2016.69},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/VidacsHTB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wcre/2016vst,
  title        = {First International Workshop on Validating Software Tests, VST@SANER
                  2016, Osaka, Japan, March 15, 2016},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7476313/proceeding},
  isbn         = {978-1-5090-1855-0},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcre/2016vst.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.