Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/icst/icst2012.bht:"
download as .bib file
@inproceedings{DBLP:conf/icst/AichernigJ12,
author = {Bernhard K. Aichernig and
Elisabeth J{\"{o}}bstl},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing
Semantics as Constraints},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {752--757},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.169},
doi = {10.1109/ICST.2012.169},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AichernigJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AlesioGNB12,
author = {Stefano {Di Alesio} and
Arnaud Gotlieb and
Shiva Nejati and
Lionel C. Briand},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Testing Deadline Misses for Real-Time Systems Using Constraint Optimization
Techniques},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {764--769},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.171},
doi = {10.1109/ICST.2012.171},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AlesioGNB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AlshahwanHMTT12,
author = {Nadia Alshahwan and
Mark Harman and
Alessandro Marchetto and
Roberto Tiella and
Paolo Tonella},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Crawlability Metrics for Web Applications},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {151--160},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.95},
doi = {10.1109/ICST.2012.95},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AlshahwanHMTT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AmraniLSCDVTC12,
author = {Moussa Amrani and
Levi Lucio and
Gehan M. K. Selim and
Beno{\^{\i}}t Combemale and
J{\"{u}}rgen Dingel and
Hans Vangheluwe and
Yves Le Traon and
James R. Cordy},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Tridimensional Approach for Studying the Formal Verification of
Model Transformations},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {921--928},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.197},
doi = {10.1109/ICST.2012.197},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AmraniLSCDVTC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BallanceVJ12,
author = {William Alton Ballance and
Sergiy Vilkomir and
William Jenkins},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Effectiveness of Pair-Wise Testing for Software with Boolean Inputs},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {580--586},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.144},
doi = {10.1109/ICST.2012.144},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BallanceVJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Bandyopadhyay12,
author = {Aritra Bandyopadhyay},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Mitigating the Effect of Coincidental Correctness in Spectrum Based
Fault Localization},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {479--482},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.130},
doi = {10.1109/ICST.2012.130},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Bandyopadhyay12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BandyopadhyayG12,
author = {Aritra Bandyopadhyay and
Sudipto Ghosh},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Tester Feedback Driven Fault Localization},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {41--50},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.84},
doi = {10.1109/ICST.2012.84},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BandyopadhyayG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BekrarBGM12,
author = {Sofia Bekrar and
Chaouki Bekrar and
Roland Groz and
Laurent Mounier},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Taint Based Approach for Smart Fuzzing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {818--825},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.182},
doi = {10.1109/ICST.2012.182},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BekrarBGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BertolinoDLM12,
author = {Antonia Bertolino and
Said Daoudagh and
Francesca Lonetti and
Eda Marchetti},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Automatic {XACML} Requests Generation for Policy Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {842--849},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.185},
doi = {10.1109/ICST.2012.185},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BertolinoDLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BeyeneA12,
author = {Michael Beyene and
James H. Andrews},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Generating String Test Data for Code Coverage},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {270--279},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.107},
doi = {10.1109/ICST.2012.107},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BeyeneA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BlancoTS12,
author = {Raquel Blanco and
Javier Tuya and
Rub{\'{e}}n V. Seco},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Test Adequacy Evaluation for the User-database Interaction: {A} Specification-Based
Approach},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {71--80},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.87},
doi = {10.1109/ICST.2012.87},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BlancoTS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BorazjanyYLKK12,
author = {Mehra N. Borazjany and
Linbin Yu and
Yu Lei and
Raghu Kacker and
Rick Kuhn},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Combinatorial Testing of {ACTS:} {A} Case Study},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {591--600},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.146},
doi = {10.1109/ICST.2012.146},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BorazjanyYLKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BorgesdABP12,
author = {Mateus Borges and
Marcelo d'Amorim and
Saswat Anand and
David H. Bushnell and
Corina S. Pasareanu},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Symbolic Execution with Interval Solving and Meta-heuristic Search},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {111--120},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.91},
doi = {10.1109/ICST.2012.91},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BorgesdABP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Borjesson12,
author = {Emil B{\"{o}}rjesson},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Industrial Applicability of Visual {GUI} Testing for System and Acceptance
Test Automation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {475--478},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.129},
doi = {10.1109/ICST.2012.129},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Borjesson12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BorjessonF12,
author = {Emil B{\"{o}}rjesson and
Robert Feldt},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Automated System Testing Using Visual {GUI} Testing Tools: {A} Comparative
Study in Industry},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {350--359},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.115},
doi = {10.1109/ICST.2012.115},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BorjessonF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BuchlerOP12,
author = {Matthias B{\"{u}}chler and
Johan Oudinet and
Alexander Pretschner},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {SPaCiTE - Web Application Testing Engine},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {858--859},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.187},
doi = {10.1109/ICST.2012.187},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BuchlerOP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CadavidBS12,
author = {Juan Jos{\'{e}} Cadavid and
Benoit Baudry and
Houari A. Sahraoui},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Searching the Boundaries of a Modeling Space to Test Metamodels},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {131--140},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.93},
doi = {10.1109/ICST.2012.93},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CadavidBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CaliebeHG12,
author = {Philipp Caliebe and
Thomas Herpel and
Reinhard German},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Dependency-Based Test Case Selection and Prioritization in Embedded
Systems},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {731--735},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.164},
doi = {10.1109/ICST.2012.164},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CaliebeHG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CalvarTH12,
author = {J{\'{e}}r{\^{o}}me Calvar and
Rapha{\"{e}}l Tremblay{-}Lessard and
Sylvain Hall{\'{e}}},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Runtime Monitoring Framework for Event Streams with Non-primitive
Arguments},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {499--508},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.135},
doi = {10.1109/ICST.2012.135},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CalvarTH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChenLYS12,
author = {Jin Chen and
Mengxiang Lin and
Kai Yu and
Bing Shao},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {When a {GUI} Regression Test Failed, What Should be Blamed?},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {467--470},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.127},
doi = {10.1109/ICST.2012.127},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChenLYS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChittimalliS12,
author = {Pavan Kumar Chittimalli and
Vipul Shah},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {{GEMS:} {A} Generic Model Based Source Code Instrumentation Framework},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {909--914},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.195},
doi = {10.1109/ICST.2012.195},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChittimalliS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChoudharyDBJOI12,
author = {Suryakant Choudhary and
Mustafa Emre Dincturk and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut and
Paul Ionescu},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Solving Some Modeling Challenges when Testing Rich Internet Applications
for Security},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {850--857},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.186},
doi = {10.1109/ICST.2012.186},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChoudharyDBJOI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChoudharyPO12,
author = {Shauvik Roy Choudhary and
Mukul R. Prasad and
Alessandro Orso},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser
Incompatibilities in Web Applications},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {171--180},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.97},
doi = {10.1109/ICST.2012.97},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChoudharyPO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChrzaszczCST12,
author = {Jacek Chrzaszcz and
Patryk Czarnik and
Aleksy Schubert and
Andrzej Tarlecki},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Testing of Evolving Protocols},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {901--906},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.204},
doi = {10.1109/ICST.2012.204},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChrzaszczCST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CunninghamHH12,
author = {Atlee M. Cunningham Jr. and
Jon D. Hagar and
Ryan J. Holman},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A System Analysis Study Comparing Reverse Engineered Combinatorial
Testing to Expert Judgment},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {630--635},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.151},
doi = {10.1109/ICST.2012.151},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CunninghamHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DanH12,
author = {Haitao Dan and
Robert M. Hierons},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Semantic Mutation Analysis of Floating-Point Comparison},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {290--299},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.109},
doi = {10.1109/ICST.2012.109},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DanH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DanH12a,
author = {Haitao Dan and
Robert M. Hierons},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {{SMT-C:} {A} Semantic Mutation Testing Tools for {C}},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {654--663},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.155},
doi = {10.1109/ICST.2012.155},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DanH12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DelamareK12,
author = {Romain Delamare and
Nicholas A. Kraft},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Genetic Algorithm for Computing Class Integration Test Orders for
Aspect-Oriented Systems},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {804--813},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.179},
doi = {10.1109/ICST.2012.179},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DelamareK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DengJ12,
author = {Fang Deng and
James A. Jones},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Weighted System Dependence Graph},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {380--389},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.118},
doi = {10.1109/ICST.2012.118},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DengJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DevineGKLL12,
author = {Thomas R. Devine and
Katerina Goseva{-}Popstojanova and
Sandeep Krishnan and
Robyn R. Lutz and
J. Jenny Li},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {An Empirical Study of Pre-release Software Faults in an Industrial
Product Line},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {181--190},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.98},
doi = {10.1109/ICST.2012.98},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DevineGKLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DiGiuseppeJ12,
author = {Nicholas DiGiuseppe and
James A. Jones},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Software Behavior and Failure Clustering: An Empirical Study of Fault
Causality},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {191--200},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.99},
doi = {10.1109/ICST.2012.99},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DiGiuseppeJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DucheneGRR12,
author = {Fabien Duchene and
Roland Groz and
Sanjay Rawat and
Jean{-}Luc Richier},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {{XSS} Vulnerability Detection Using Model Inference Assisted Evolutionary
Fuzzing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {815--817},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.181},
doi = {10.1109/ICST.2012.181},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DucheneGRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DurelliOD12,
author = {Vinicius H. S. Durelli and
Jeff Offutt and
M{\'{a}}rcio Eduardo Delamaro},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Toward Harnessing High-Level Language Virtual Machines for Further
Speeding Up Weak Mutation Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {681--690},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.158},
doi = {10.1109/ICST.2012.158},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DurelliOD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DustmannSW12,
author = {Oscar Soria Dustmann and
Raimondas Sasnauskas and
Klaus Wehrle},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Symbolic System Time in Distributed Systems Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {893--894},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.193},
doi = {10.1109/ICST.2012.193},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DustmannSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/EldhS12,
author = {Sigrid Eldh and
Daniel Sundmark},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Robustness Testing of Mobile Telecommunication Systems: {A} Case Study
on Industrial Practice and Challenges},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {895--900},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.228},
doi = {10.1109/ICST.2012.228},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/EldhS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ElrakaibyMT12,
author = {Yehia Elrakaiby and
Tejeddine Mouelhi and
Yves Le Traon},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Testing Obligation Policy Enforcement Using Mutation Analysis},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {673--680},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.157},
doi = {10.1109/ICST.2012.157},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ElrakaibyMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/EnderlinDGB12,
author = {Ivan Enderlin and
Fr{\'{e}}d{\'{e}}ric Dadeau and
Alain Giorgetti and
Fabrice Bouquet},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Grammar-Based Testing Using Realistic Domains in {PHP}},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {509--518},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.136},
doi = {10.1109/ICST.2012.136},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/EnderlinDGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/EndoS12,
author = {Andr{\'{e}} Takeshi Endo and
Adenilso da Silva Sim{\~{a}}o},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Experimental Comparison of Test Case Generation Methods for Finite
State Machines},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {549--558},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.140},
doi = {10.1109/ICST.2012.140},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/EndoS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FangKDO12,
author = {Ling Fang and
Takashi Kitamura and
Thi Bich Ngoc Do and
Hitoshi Ohsaki},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Formal Model-Based Test for {AUTOSAR} Multicore {RTOS}},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {251--259},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.105},
doi = {10.1109/ICST.2012.105},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FangKDO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FilhoB12,
author = {Roberto Silveira Silva Filho and
Christof J. Budnik},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {An Integrated Model-Driven Approach for Mechatronic Systems Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {447--456},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.125},
doi = {10.1109/ICST.2012.125},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FilhoB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FrankeKWP12,
author = {Dominik Franke and
Stefan Kowalewski and
Carsten Weise and
Nath Prakobkosol},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Testing Conformance of Life Cycle Dependent Properties of Mobile Applications},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {241--250},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.104},
doi = {10.1109/ICST.2012.104},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FrankeKWP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FraserA12,
author = {Gordon Fraser and
Andrea Arcuri},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {The Seed is Strong: Seeding Strategies in Search-Based Software Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {121--130},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.92},
doi = {10.1109/ICST.2012.92},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FraserA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FraserW12,
author = {Gordon Fraser and
Neil Walkinshaw},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Behaviourally Adequate Software Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {300--309},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.110},
doi = {10.1109/ICST.2012.110},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/FraserW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GansR12,
author = {Gerhard de Koning Gans and
Joeri de Ruiter},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {The SmartLogic Tool: Analysing and Testing Smart Card Protocols},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {864--871},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.189},
doi = {10.1109/ICST.2012.189},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GansR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GargD12,
author = {Deepak Garg and
Amitava Datta},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Test Case Prioritization Due to Database Changes in Web Applications},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {726--730},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.163},
doi = {10.1109/ICST.2012.163},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GargD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GargantiniV12,
author = {Angelo Gargantini and
Paolo Vavassori},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {{CITLAB:} {A} Laboratory for Combinatorial Interaction Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {559--568},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.141},
doi = {10.1109/ICST.2012.141},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GargantiniV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GeronimoFMS12,
author = {Linda Di Geronimo and
Filomena Ferrucci and
Alfonso Murolo and
Federica Sarro},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic
Generation of JUnit Test Suites},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {785--793},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.177},
doi = {10.1109/ICST.2012.177},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GeronimoFMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GhandehariLXKK12,
author = {Laleh Shikh Gholamhossein Ghandehari and
Yu Lei and
Tao Xie and
D. Richard Kuhn and
Raghu Kacker},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Identifying Failure-Inducing Combinations in a Combinatorial Test
Set},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {370--379},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.117},
doi = {10.1109/ICST.2012.117},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GhandehariLXKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GligoricMM12,
author = {Milos Gligoric and
Peter C. Mehlitz and
Darko Marinov},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {{X10X:} Model Checking a New Programming Language with an "Old" Model
Checker},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.81},
doi = {10.1109/ICST.2012.81},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GligoricMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GotliebHB12,
author = {Arnaud Gotlieb and
Aymeric Hervieu and
Benoit Baudry},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Minimum Pairwise Coverage Using Constraint Programming Techniques},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {773--774},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.174},
doi = {10.1109/ICST.2012.174},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GotliebHB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GrooteOW12,
author = {Jan Friso Groote and
Ammar Osaiweran and
Jacco H. Wesselius},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Analyzing a Controller of a Power Distribution Unit Using Formal Methods},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {420--428},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.122},
doi = {10.1109/ICST.2012.122},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GrooteOW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GuoSC12,
author = {Bo Guo and
Mahadevan Subramaniam and
Parvathi Chundi},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Analysis of Test Clusters for Regression Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {736},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.165},
doi = {10.1109/ICST.2012.165},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GuoSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HashemianKA12,
author = {Raoufehsadat Hashemian and
Diwakar Krishnamurthy and
Martin F. Arlitt},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Overcoming Web Server Benchmarking Challenges in the Multi-core Era},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {648--653},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.154},
doi = {10.1109/ICST.2012.154},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/HashemianKA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JagannathKLM12,
author = {Vilas Jagannath and
Matt Kirn and
Yu Lin and
Darko Marinov},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Evaluating Machine-Independent Metrics for State-Space Exploration},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {320--329},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.112},
doi = {10.1109/ICST.2012.112},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/JagannathKLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JollyGE12,
author = {Shahnewaz A. Jolly and
Vahid Garousi and
Matt M. Eskandar},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Automated Unit Testing of a {SCADA} Control Software: An Industrial
Case Study Based on Action Research},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {400--409},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.120},
doi = {10.1109/ICST.2012.120},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/JollyGE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JonssonBSE12,
author = {Leif Jonsson and
David Broman and
Kristian Sandahl and
Sigrid Eldh},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Towards Automated Anomaly Report Assignment in Large Complex Systems
Using Stacked Generalization},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {437--446},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.124},
doi = {10.1109/ICST.2012.124},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/JonssonBSE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JustKS12,
author = {Ren{\'{e}} Just and
Gregory M. Kapfhammer and
Franz Schweiggert},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation
Analysis?},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {720--725},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.162},
doi = {10.1109/ICST.2012.162},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/JustKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JuzgadoVSAR12,
author = {Natalia Juristo Juzgado and
Sira Vegas and
Mart{\'{\i}}n Solari and
Silvia Abrah{\~{a}}o and
Isabel Ramos},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Comparing the Effectiveness of Equivalence Partitioning, Branch Testing
and Code Reading by Stepwise Abstraction Applied by Subjects},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {330--339},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.113},
doi = {10.1109/ICST.2012.113},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/JuzgadoVSAR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Kannavara12,
author = {Raghudeep Kannavara},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Securing Opensource Code via Static Analysis},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {429--436},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.123},
doi = {10.1109/ICST.2012.123},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Kannavara12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Kapfhammer12,
author = {Gregory M. Kapfhammer},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Towards a Method for Reducing the Test Suites of Database Applications},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {964--965},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.206},
doi = {10.1109/ICST.2012.206},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Kapfhammer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KauffmanK12,
author = {Jonathan Miller Kauffman and
Gregory M. Kapfhammer},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Framework to Support Research in and Encourage Industrial Adoption
of Regression Testing Techniques},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {907--908},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.194},
doi = {10.1109/ICST.2012.194},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KauffmanK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KheddamAP12,
author = {Rafik Kheddam and
Oum{-}El{-}Kheir Aktouf and
Ioannis Parissis},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {An Extended {LLRP} Model for {RFID} System Test and Diagnosis},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {529--538},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.138},
doi = {10.1109/ICST.2012.138},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KheddamAP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KimKJ12,
author = {Moonzoo Kim and
Yunho Kim and
Yoonkyu Jang},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Industrial Application of Concolic Testing on Embedded Software: Case
Studies},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {390--399},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.119},
doi = {10.1109/ICST.2012.119},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KimKJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KimKR12,
author = {Moonzoo Kim and
Yunho Kim and
Gregg Rothermel},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {340--349},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.114},
doi = {10.1109/ICST.2012.114},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KimKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KintisPM12,
author = {Marinos Kintis and
Mike Papadakis and
Nicos Malevris},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Isolating First Order Equivalent Mutants via Second Order Mutation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {701--710},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.160},
doi = {10.1109/ICST.2012.160},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KintisPM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KruseBW12,
author = {Peter M. Kruse and
J{\"{u}}rgen Bauer and
Joachim Wegener},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Numerical Constraints for Combinatorial Interaction Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {758--763},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.170},
doi = {10.1109/ICST.2012.170},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KruseBW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KruseW12,
author = {Peter M. Kruse and
Joachim Wegener},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Test Sequence Generation from Classification Trees},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {539--548},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.139},
doi = {10.1109/ICST.2012.139},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KruseW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KuhnHLKL12,
author = {D. Richard Kuhn and
James M. Higdon and
James Lawrence and
Raghu Kacker and
Yu Lei},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Combinatorial Methods for Event Sequence Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {601--609},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.147},
doi = {10.1109/ICST.2012.147},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KuhnHLKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Li12,
author = {Nan Li},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Smart Structured Test Automation Language {(SSTAL)}},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {471--474},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.128},
doi = {10.1109/ICST.2012.128},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Li12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LiLO12,
author = {Nan Li and
Fei Li and
Jeff Offutt},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Better Algorithms to Minimize the Cost of Test Paths},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {280--289},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.108},
doi = {10.1109/ICST.2012.108},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LiLO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LiuNT12,
author = {Tianhai Liu and
Michael Nagel and
Mana Taghdiri},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Bounded Program Verification Using an {SMT} Solver: {A} Case Study},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.90},
doi = {10.1109/ICST.2012.90},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LiuNT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MalikK12,
author = {Muhammad Zubair Malik and
Sarfraz Khurshid},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Dynamic Shape Analysis Using Spectral Graph Properties},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {211--220},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.101},
doi = {10.1109/ICST.2012.101},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MalikK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MalzJG12,
author = {Christoph Malz and
Nasser Jazdi and
Peter G{\"{o}}hner},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Prioritization of Test Cases Using Software Agents and Fuzzy Logic},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {483--486},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.131},
doi = {10.1109/ICST.2012.131},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MalzJG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MarbackDE12,
author = {Aaron Marback and
Hyunsook Do and
Nathan Ehresmann},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {An Effective Regression Testing Approach for {PHP} Web Applications},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {221--230},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.102},
doi = {10.1109/ICST.2012.102},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MarbackDE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MarcoLA12,
author = {Antinisca Di Marco and
Francesca Lonetti and
Guglielmo De Angelis},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Property-Driven Software Engineering Approach},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {966--967},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.207},
doi = {10.1109/ICST.2012.207},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MarcoLA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MarianiPRS12,
author = {Leonardo Mariani and
Mauro Pezz{\`{e}} and
Oliviero Riganelli and
Mauro Santoro},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {AutoBlackTest: Automatic Black-Box Testing of Interactive Applications},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {81--90},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.88},
doi = {10.1109/ICST.2012.88},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MarianiPRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MasriAZF12,
author = {Wes Masri and
Rawad Abou Assi and
Fadi A. Zaraket and
Nour Fatairi},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Enhancing Fault Localization via Multivariate Visualization},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {737--741},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.166},
doi = {10.1109/ICST.2012.166},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/MasriAZF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MassicotteCNM12,
author = {Fr{\'{e}}d{\'{e}}ric Massicotte and
Mathieu Couture and
Hugues Normandin and
Fr{\'{e}}d{\'{e}}ric Michaud},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Testing Model for Dynamic Malware Analysis Systems},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {826--833},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.183},
doi = {10.1109/ICST.2012.183},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MassicotteCNM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MateoU12,
author = {Pedro Reales Mateo and
Macario Polo Usaola},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Mutant Execution Cost Reduction: Through {MUSIC} (Mutant Schema Improved
with Extra Code)},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {664--672},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.156},
doi = {10.1109/ICST.2012.156},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MateoU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/McMinnSS12,
author = {Phil McMinn and
Muzammil Shahbaz and
Mark Stevenson},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Search-Based Test Input Generation for String Data Types Using the
Results of Web Queries},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {141--150},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.94},
doi = {10.1109/ICST.2012.94},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/McMinnSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MeiraATS12,
author = {Jorge Augusto Meira and
Eduardo Cunha de Almeida and
Yves Le Traon and
Gerson Suny{\'{e}}},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Peer-to-Peer Load Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {642--647},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.153},
doi = {10.1109/ICST.2012.153},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/MeiraATS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MeszarosL12,
author = {Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros and
Tihamer Levendovszky},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Verified Operational Patterns with Graph Transformation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {954--961},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.201},
doi = {10.1109/ICST.2012.201},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MeszarosL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MewsSW12,
author = {Marcus Mews and
Jaroslav Svacina and
Stephan Wei{\ss}leder},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {From {AUTOSAR} Models to Co-simulation for MiL-Testing in the Automotive
Domain},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {519--528},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.137},
doi = {10.1109/ICST.2012.137},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MewsSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MirzaAghaeiPP12,
author = {Mehdi MirzaAghaei and
Fabrizio Pastore and
Mauro Pezz{\`{e}}},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Supporting Test Suite Evolution through Test Case Adaptation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {231--240},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.103},
doi = {10.1109/ICST.2012.103},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MirzaAghaeiPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MizanF12,
author = {Ahmad Mizan and
Greg Franks},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Automated Performance Model Construction through Event Log Analysis},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {636--641},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.152},
doi = {10.1109/ICST.2012.152},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MizanF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Nguyen12,
author = {Thanh H. D. Nguyen},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Using Control Charts for Detecting and Understanding Performance Regressions
in Large Software},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {491--494},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.133},
doi = {10.1109/ICST.2012.133},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Nguyen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/OcarizaPM12,
author = {Frolin S. Ocariza Jr. and
Karthik Pattabiraman and
Ali Mesbah},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {31--40},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.83},
doi = {10.1109/ICST.2012.83},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/OcarizaPM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Oriol12,
author = {Manuel Oriol},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Random Testing: Evaluation of a Law Describing the Number of Faults
Found},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {201--210},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.100},
doi = {10.1109/ICST.2012.100},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Oriol12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PaciMBD12,
author = {Federica Paci and
Fabio Massacci and
Fabrice Bouquet and
Stephane Debricon},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Managing Evolution by Orchestrating Requirements and Testing Engineering
Processes},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {834--841},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.184},
doi = {10.1109/ICST.2012.184},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PaciMBD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PapadakisT12,
author = {Mike Papadakis and
Yves Le Traon},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Using Mutants to Locate "Unknown" Faults},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {691--700},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.159},
doi = {10.1109/ICST.2012.159},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PapadakisT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ParkVH12,
author = {Sangmin Park and
Richard W. Vuduc and
Mary Jean Harrold},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Unified Approach for Localizing Non-deadlock Concurrency Bugs},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.85},
doi = {10.1109/ICST.2012.85},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ParkVH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PasareanuB12,
author = {Corina S. Pasareanu and
Daniel Balasubramanian},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Statechart Analysis with Symbolic PathFinder},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {772},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.173},
doi = {10.1109/ICST.2012.173},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PasareanuB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PatrickOC12,
author = {Matthew Patrick and
Manuel Oriol and
John A. Clark},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {{MESSI:} Mutant Evaluation by Static Semantic Interpretation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {711--719},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.161},
doi = {10.1109/ICST.2012.161},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PatrickOC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PavlovF12,
author = {Yury Pavlov and
Gordon Fraser},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Semi-automatic Search-Based Test Generation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {777--784},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.176},
doi = {10.1109/ICST.2012.176},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PavlovF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PetrenkoSY12,
author = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Nina Yevtushenko},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Generating Checking Sequences for Nondeterministic Finite State Machines},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {310--319},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.111},
doi = {10.1109/ICST.2012.111},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PetrenkoSY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PonsiniMR12,
author = {Olivier Ponsini and
Claude Michel and
Michel Rueher},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Combining Constraint Programming and Abstract Interpretation for Value
Analysis of Floating-point Programs},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {775--776},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.175},
doi = {10.1109/ICST.2012.175},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PonsiniMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Praphamontripong12,
author = {Upsorn Praphamontripong},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Web Mutation Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {495--498},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.134},
doi = {10.1109/ICST.2012.134},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Praphamontripong12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RamlerKP12,
author = {Rudolf Ramler and
Theodorich Kopetzky and
Wolfgang Platz},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Combinatorial Test Design in the {TOSCA} Testsuite: Lessons Learned
and Practical Implications},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {569--572},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.142},
doi = {10.1109/ICST.2012.142},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RamlerKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RaposD12,
author = {Eric James Rapos and
J{\"{u}}rgen Dingel},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Incremental Test Case Generation for {UML-RT} Models Using Symbolic
Execution},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {962--963},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.205},
doi = {10.1109/ICST.2012.205},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RaposD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Runeson12,
author = {Per Runeson},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {It Takes Two to Tango - An Experience Report on Industry - Academia
Collaboration},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {872--877},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.190},
doi = {10.1109/ICST.2012.190},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Runeson12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RunesonE12,
author = {Per Runeson and
Emelie Engstr{\"{o}}m},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Software Product Line Testing - {A} 3D Regression Testing Problem},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {742--746},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.167},
doi = {10.1109/ICST.2012.167},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RunesonE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SalayCG12,
author = {Rick Salay and
Marsha Chechik and
Jan Gorzny},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Towards a Methodology for Verifying Partial Model Refinements},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {938--945},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.199},
doi = {10.1109/ICST.2012.199},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SalayCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SaleckerG12,
author = {Elke Salecker and
Sabine Glesner},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Combinatorial Interaction Testing for Test Selection in Grammar-Based
Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {610--619},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.148},
doi = {10.1109/ICST.2012.148},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SaleckerG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Schieferdecker12,
author = {Ina Schieferdecker},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Model-Based Fuzz Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {814},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.180},
doi = {10.1109/ICST.2012.180},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Schieferdecker12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SegallTZ12,
author = {Itai Segall and
Rachel Tzoref{-}Brill and
Aviad Zlotnick},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Simplified Modeling of Combinatorial Test Spaces},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {573--579},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.143},
doi = {10.1109/ICST.2012.143},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SegallTZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SegallTZ12a,
author = {Itai Segall and
Rachel Tzoref{-}Brill and
Aviad Zlotnick},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Common Patterns in Combinatorial Models},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {624--629},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.150},
doi = {10.1109/ICST.2012.150},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SegallTZ12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ShakyaXLLKK12,
author = {Kiran Shakya and
Tao Xie and
Nuo Li and
Yu Lei and
Raghu Kacker and
D. Richard Kuhn},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Isolating Failure-Inducing Combinations in Combinatorial Testing Using
Test Augmentation and Classification},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {620--623},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.149},
doi = {10.1109/ICST.2012.149},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ShakyaXLLKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SheltonLAO12,
author = {William Shelton and
Nan Li and
Paul Ammann and
Jeff Offutt},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Adding Criteria-Based Tests to Test Driven Development},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {878--886},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.191},
doi = {10.1109/ICST.2012.191},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SheltonLAO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SiddiquiMK12,
author = {Junaid Haroon Siddiqui and
Darko Marinov and
Sarfraz Khurshid},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {91--100},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.89},
doi = {10.1109/ICST.2012.89},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SiddiquiMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SprenkleCP12,
author = {Sara Sprenkle and
Camille Cobb and
Lori L. Pollock},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Leveraging User-Privilege Classification to Customize Usage-based
Statistical Models of Web Applications},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {161--170},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.96},
doi = {10.1109/ICST.2012.96},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SprenkleCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SunSPR12,
author = {Boya Sun and
Gang Shu and
Andy Podgurski and
Soumya Ray},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {{CARIAL:} Cost-Aware Software Reliability Improvement with Active
Learning},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {360--369},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.116},
doi = {10.1109/ICST.2012.116},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SunSPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SyrianiG12,
author = {Eugene Syriani and
Jeff Gray},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Challenges for Addressing Quality Factors in Model Transformation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {929--937},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.198},
doi = {10.1109/ICST.2012.198},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/SyrianiG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TanMTL12,
author = {Shin Hwei Tan and
Darko Marinov and
Lin Tan and
Gary T. Leavens},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {260--269},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.106},
doi = {10.1109/ICST.2012.106},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/TanMTL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TonellaMNJLH12,
author = {Paolo Tonella and
Alessandro Marchetto and
Duy Cu Nguyen and
Yue Jia and
Kiran Lakhotia and
Mark Harman},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Finding the Optimal Balance between Over and Under Approximation of
Models Inferred from Execution Logs},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.82},
doi = {10.1109/ICST.2012.82},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/TonellaMNJLH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TranP12,
author = {Hanh Nhi Tran and
Christian Percebois},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Towards a Rule-Level Verification Framework for Property-Preserving
Graph Transformations},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {946--953},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.200},
doi = {10.1109/ICST.2012.200},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/TranP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/UjhelyiHV12,
author = {Zolt{\'{a}}n Ujhelyi and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Dynamic Backward Slicing of Model Transformations},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.80},
doi = {10.1109/ICST.2012.80},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/UjhelyiHV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/VorobyovK12,
author = {Kostyantyn Vorobyov and
Padmanabhan Krishnan},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Combining Static Analysis and Constraint Solving for Automatic Test
Case Generation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {915--920},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.196},
doi = {10.1109/ICST.2012.196},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/VorobyovK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WahlerFSJN12,
author = {Michael Wahler and
Ettore Ferranti and
Robin Steiger and
Rahul Jain and
Kristian Nagy},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {{CAST:} Automating Software Tests for Embedded Systems},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {457--466},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.126},
doi = {10.1109/ICST.2012.126},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/WahlerFSJN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WehbiOB12,
author = {Bachar Wehbi and
Edgardo Montes de Oca and
Michel Bourdell{\`{e}}s},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Events-Based Security Monitoring Using {MMT} Tool},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {860--863},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.188},
doi = {10.1109/ICST.2012.188},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/WehbiOB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WiklundESL12,
author = {Kristian Wiklund and
Sigrid Eldh and
Daniel Sundmark and
Kristina Lundqvist},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Technical Debt in Test Automation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {887--892},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.192},
doi = {10.1109/ICST.2012.192},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/WiklundESL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Woehrle12,
author = {Matthias Woehrle},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Search-Based Stress Testing of Wireless Network Protocol Stacks},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {794--803},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.178},
doi = {10.1109/ICST.2012.178},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Woehrle12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Wotawa12,
author = {Franz Wotawa},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Open Research Challenges of Localizing Faults in Programs Using Constraints},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {770--771},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.172},
doi = {10.1109/ICST.2012.172},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Wotawa12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/YuL12,
author = {Kai Yu and
Mengxiang Lin},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Towards Practical Debugging for Regression Faults},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {487--490},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.132},
doi = {10.1109/ICST.2012.132},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/YuL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZamanAH12,
author = {Shahed Zaman and
Bram Adams and
Ahmed E. Hassan},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {A Large Scale Empirical Study on User-Centric Performance Analysis},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {410--419},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.121},
doi = {10.1109/ICST.2012.121},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ZamanAH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZaraketMAHHFKN12,
author = {Fadi A. Zaraket and
Wes Masri and
Marc Adam and
Dalal Hammoud and
Raghd Hamzeh and
Raja Farhat and
Elie Khamissi and
Joseph Noujaim},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {{GUICOP:} Specification-Based {GUI} Testing},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {747--751},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.168},
doi = {10.1109/ICST.2012.168},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ZaraketMAHHFKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZhangLZ12,
author = {Zhiqiang Zhang and
Xiaojian Liu and
Jian Zhang},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Combinatorial Testing on ID3v2 Tags of {MP3} Files},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {587--590},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.145},
doi = {10.1109/ICST.2012.145},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ZhangLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZhouF12,
author = {Chixiang Zhou and
Phyllis G. Frankl},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Empirical Studies on Test Effectiveness for Database Applications},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {61--70},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.86},
doi = {10.1109/ICST.2012.86},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ZhouF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2012,
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6200016/proceeding},
isbn = {978-1-4577-1906-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-23 13:40 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
