Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/wcre/vst2016.bht:"
@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 = {Mon, 02 Sep 2024 01:00:00 +0200}, 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} }
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.