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/icst2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/icst/AichernigBJK11,
author = {Bernhard K. Aichernig and
Harald Brandl and
Elisabeth J{\"{o}}bstl and
Willibald Krenn},
title = {Efficient Mutation Killers in Action},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {120--129},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.57},
doi = {10.1109/ICST.2011.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AichernigBJK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AtkinsonBHS11,
author = {Colin Atkinson and
Florian Barth and
Oliver Hummel and
Marcus Schumacher},
title = {Towards a Language and Framework for Penurious Testing},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {31--39},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.58},
doi = {10.1109/ICST.2011.58},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AtkinsonBHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BekrarBGM11,
author = {Sofia Bekrar and
Chaouki Bekrar and
Roland Groz and
Laurent Mounier},
title = {Finding Software Vulnerabilities by Smart Fuzzing},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {427--430},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.48},
doi = {10.1109/ICST.2011.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BekrarBGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BelliBTF11,
author = {Fevzi Belli and
Mutlu Beyazit and
Tomohiko Takagi and
Zengo Furukawa},
title = {Mutation Testing of "Go-Back" Functions Based on Pushdown Automata},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {249--258},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.30},
doi = {10.1109/ICST.2011.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BelliBTF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Bhattacharya11,
author = {Neelesh Bhattacharya},
title = {SoftwareHardware Hybrid Systems Verification},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {435--438},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.61},
doi = {10.1109/ICST.2011.61},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Bhattacharya11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Bogdanov11,
author = {Kirill Bogdanov},
title = {Test Generation for X-machines with Non-terminal States and Priorities
of Operations},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.59},
doi = {10.1109/ICST.2011.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Bogdanov11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CasadoTY11,
author = {Ruben Casado and
Javier Tuya and
Muhammad Younas},
title = {A Framework to Test Advanced Web Services Transactions},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {443--446},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.44},
doi = {10.1109/ICST.2011.44},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CasadoTY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CausevicSP11,
author = {Adnan Causevic and
Daniel Sundmark and
Sasikumar Punnekkat},
title = {Factors Limiting Industrial Adoption of Test Driven Development: {A}
Systematic Review},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {337--346},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.19},
doi = {10.1109/ICST.2011.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CausevicSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChanderDSY11,
author = {Ajay Chander and
Dinakar Dhurjati and
Koushik Sen and
Dachuan Yu},
title = {Optimal Test Input Sequence Generation for Finite State Models and
Pushdown Systems},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {140--149},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.64},
doi = {10.1109/ICST.2011.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChanderDSY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChenCZXF11,
author = {Songyu Chen and
Zhenyu Chen and
Zhihong Zhao and
Baowen Xu and
Yang Feng},
title = {Using semi-supervised clustering to improve regression test selection
techniques},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.38},
doi = {10.1109/ICST.2011.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChenCZXF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CzerwonkaDNTT11,
author = {Jacek Czerwonka and
Rajiv Das and
Nachiappan Nagappan and
Alex Tarvo and
Alex Teterev},
title = {{CRANE:} Failure Prediction, Change Analysis and Test Prioritization
in Practice - Experiences from Windows},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {357--366},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.24},
doi = {10.1109/ICST.2011.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CzerwonkaDNTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DadeauHK11,
author = {Fr{\'{e}}d{\'{e}}ric Dadeau and
Pierre{-}Cyrille H{\'{e}}am and
Rafik Kheddam},
title = {Mutation-Based Test Generation from Security Protocols in {HLPSL}},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {240--248},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.42},
doi = {10.1109/ICST.2011.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DadeauHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DanH11,
author = {Haitao Dan and
Robert M. Hierons},
title = {Conformance Testing from Message Sequence Charts},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {279--288},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.29},
doi = {10.1109/ICST.2011.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DanH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/EldhHP11,
author = {Sigrid Eldh and
Hans Hansson and
Sasikumar Punnekkat},
title = {Analysis of Mistakes as a Method to Improve Test Case Design},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {70--79},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.52},
doi = {10.1109/ICST.2011.52},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/EldhHP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/EngstromRL11,
author = {Emelie Engstr{\"{o}}m and
Per Runeson and
Andreas Ljung},
title = {Improving Regression Testing Transparency and Efficiency with History-Based
Prioritization - An Industrial Case Study},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {367--376},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.27},
doi = {10.1109/ICST.2011.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/EngstromRL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FrankeW11,
author = {Dominik Franke and
Carsten Weise},
title = {Providing a Software Quality Framework for Testing of Mobile Applications},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {431--434},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.18},
doi = {10.1109/ICST.2011.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FrankeW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FraserA11,
author = {Gordon Fraser and
Andrea Arcuri},
title = {It is Not the Length That Matters, It is How You Control It},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {150--159},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.54},
doi = {10.1109/ICST.2011.54},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FraserA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FraserZ11,
author = {Gordon Fraser and
Andreas Zeller},
title = {Exploiting Common Object Usage in Test Case Generation},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {80--89},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.53},
doi = {10.1109/ICST.2011.53},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FraserZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GoKKL11,
author = {Kyungmin Go and
Sungwon Kang and
Myungchul Kim and
Jihyun Lee},
title = {A Systematic Test Case Generation Approach for Testing Message Length
Variability},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {397--406},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.35},
doi = {10.1109/ICST.2011.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GoKKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Gonzalez-Sanchez11,
author = {Alberto Gonz{\'{a}}lez{-}Sanchez},
title = {Cost Optimizations in Runtime Testing and Diagnosis of Systems of
Systems},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {439--442},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.28},
doi = {10.1109/ICST.2011.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Gonzalez-Sanchez11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Grasland11,
author = {Yves Grasland},
title = {Testing Resource Usage in Home Automation Systems},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {419--422},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.14},
doi = {10.1109/ICST.2011.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Grasland11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HanselRHG11,
author = {Joachim H{\"{a}}nsel and
Daniela Rose and
Paula Herber and
Sabine Glesner},
title = {An Evolutionary Algorithm for the Generation of Timed Test Traces
for Embedded Real-Time Systems},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {170--179},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.37},
doi = {10.1109/ICST.2011.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/HanselRHG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HeamN11,
author = {Pierre{-}Cyrille H{\'{e}}am and
Cyril Nicaud},
title = {Seed: An Easy-to-Use Random Generator of Recursive Data Structures
for Testing},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {60--69},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.31},
doi = {10.1109/ICST.2011.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/HeamN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HemmatiAB11,
author = {Hadi Hemmati and
Andrea Arcuri and
Lionel C. Briand},
title = {Empirical Investigation of the Effects of Test Suite Properties on
Similarity-Based Test Case Selection},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {327--336},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.12},
doi = {10.1109/ICST.2011.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/HemmatiAB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HummerRSLD11,
author = {Waldemar Hummer and
Orna Raz and
Onn Shehory and
Philipp Leitner and
Schahram Dustdar},
title = {Test Coverage of Data-Centric Dynamic Compositions in Service-Based
Systems},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {40--49},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.55},
doi = {10.1109/ICST.2011.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/HummerRSLD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KeatingMH11,
author = {Daniel Keating and
Allan McInnes and
Michael P. Hayes},
title = {Model Checking a {TTCAN} Implementation},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {387--396},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.47},
doi = {10.1109/ICST.2011.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KeatingMH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KhalekK11,
author = {Shadi Abdul Khalek and
Sarfraz Khurshid},
title = {Systematic Testing of Database Engines Using a Relational Constraint
Solver},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {50--59},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.21},
doi = {10.1109/ICST.2011.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KhalekK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LazaarGL11,
author = {Nadjib Lazaar and
Arnaud Gotlieb and
Yahia Lebbah},
title = {A Framework for the Automatic Correction of Constraint Programs},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {319--326},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.41},
doi = {10.1109/ICST.2011.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LazaarGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LetarteGM11,
author = {Dominic Letarte and
Fran{\c{c}}ois Gauthier and
Ettore Merlo},
title = {Security Model Evolution of {PHP} Web Applications},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {289--298},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.36},
doi = {10.1109/ICST.2011.36},
timestamp = {Fri, 24 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LetarteGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LuoDQ11,
author = {Zhi Da Luo and
Raja Das and
Yao Qi},
title = {Multicore {SDK:} {A} Practical and Efficient Deadlock Detector for
Real-World Applications},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {309--318},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.22},
doi = {10.1109/ICST.2011.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LuoDQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MalikSK11,
author = {Muhammad Zubair Malik and
Junaid Haroon Siddiqui and
Sarfraz Khurshid},
title = {Constraint-Based Program Debugging Using Data Structure Repair},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {190--199},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.65},
doi = {10.1109/ICST.2011.65},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MalikSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MouelhiTABG11,
author = {Tejeddine Mouelhi and
Yves Le Traon and
Erwan Abgrall and
Benoit Baudry and
Sylvain Gombault},
title = {Tailored Shielding and Bypass Testing of Web Applications},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {210--219},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.56},
doi = {10.1109/ICST.2011.56},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MouelhiTABG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/NandaMSHO11,
author = {Agastya Nanda and
Senthil Mani and
Saurabh Sinha and
Mary Jean Harrold and
Alessandro Orso},
title = {Regression testing in the presence of non-code changes},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.60},
doi = {10.1109/ICST.2011.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/NandaMSHO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/NavarroPR11,
author = {Pedro Luis Mateo Navarro and
Gregorio Mart{\'{\i}}nez P{\'{e}}rez and
Diego Sevilla Ruiz},
title = {Towards Software Quality and User Satisfaction through User Interfaces},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {415--418},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.13},
doi = {10.1109/ICST.2011.13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/NavarroPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Nica11,
author = {Simona Nica},
title = {On the Improvement of the Mutation Score Using Distinguishing Test
Cases},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {423--426},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.40},
doi = {10.1109/ICST.2011.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Nica11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RomanoPA11,
author = {Daniele Romano and
Massimiliano Di Penta and
Giuliano Antoniol},
title = {An Approach for Search Based Testing of Null Pointer Exceptions},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {160--169},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.49},
doi = {10.1109/ICST.2011.49},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RomanoPA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RubanovS11,
author = {Vladimir V. Rubanov and
Eugene A. Shatokhin},
title = {Runtime Verification of Linux Kernel Modules Based on Call Interception},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {180--189},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.20},
doi = {10.1109/ICST.2011.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RubanovS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SaifanDBP11,
author = {Ahmad A. Saifan and
J{\"{u}}rgen Dingel and
Jeremy S. Bradbury and
Ernesto Posse},
title = {Implementing and Evaluating a Runtime Conformance Checker for Mobile
Agent Systems},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {269--278},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.62},
doi = {10.1109/ICST.2011.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SaifanDBP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SantelicesH11,
author = {Ra{\'{u}}l A. Santelices and
Mary Jean Harrold},
title = {Applying aggressive propagation-based strategies for testing changes},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.46},
doi = {10.1109/ICST.2011.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SantelicesH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SchulerZ11,
author = {David Schuler and
Andreas Zeller},
title = {Assessing Oracle Quality with Checked Coverage},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {90--99},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.32},
doi = {10.1109/ICST.2011.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SchulerZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ShenFZ11,
author = {Haihao Shen and
Jianhong Fang and
Jianjun Zhao},
title = {EFindBugs: Effective Error Ranking for FindBugs},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {299--308},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.51},
doi = {10.1109/ICST.2011.51},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ShenFZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ShresthaR11,
author = {Kavir Shrestha and
Matthew J. Rutherford},
title = {An Empirical Evaluation of Assertions as Oracles},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.50},
doi = {10.1109/ICST.2011.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ShresthaR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SmithW11,
author = {Ben H. Smith and
Laurie A. Williams},
title = {Using {SQL} Hotspots in a Prioritization Heuristic for Detecting All
Types of Web Application Vulnerabilities},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {220--229},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.15},
doi = {10.1109/ICST.2011.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SmithW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SprenklePS11,
author = {Sara Sprenkle and
Lori L. Pollock and
Lucy Simko},
title = {A Study of Usage-Based Navigation Models and Generated Abstract Test
Cases for Web Applications},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {230--239},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.34},
doi = {10.1109/ICST.2011.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SprenklePS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Sun11,
author = {Jian Sun},
title = {Why are Bug Reports Invalid?},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {407--410},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.43},
doi = {10.1109/ICST.2011.43},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Sun11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TakalaKH11,
author = {Tommi Takala and
Mika Katara and
Julian Harty},
title = {Experiences of System-Level Model-Based {GUI} Testing of an Android
Application},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {377--386},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.11},
doi = {10.1109/ICST.2011.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/TakalaKH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TsankovJOS11,
author = {Petar Tsankov and
Wei Jin and
Alessandro Orso and
Saurabh Sinha},
title = {Execution Hijacking: Improving Dynamic Analysis by Flying off Course},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {200--209},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.45},
doi = {10.1109/ICST.2011.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/TsankovJOS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/YuSSR11,
author = {Tingting Yu and
Ahyoung Sung and
Witawas Srisa{-}an and
Gregg Rothermel},
title = {Using Property-Based Oracles when Testing Embedded System Applications},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.33},
doi = {10.1109/ICST.2011.33},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/YuSSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Zech11,
author = {Philipp Zech},
title = {Risk-Based Security Testing in Cloud Computing Environments},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {411--414},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.23},
doi = {10.1109/ICST.2011.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Zech11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZhouF11,
author = {Chixiang Zhou and
Phyllis G. Frankl},
title = {Inferential Checking for Mutants Modifying Database States},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {259--268},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.63},
doi = {10.1109/ICST.2011.63},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ZhouF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZimmermannNHPW11,
author = {Thomas Zimmermann and
Nachiappan Nagappan and
Kim Herzig and
Rahul Premraj and
Laurie A. Williams},
title = {An Empirical Study on the Relation between Dependency Neighborhoods
and Failures},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {347--356},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.39},
doi = {10.1109/ICST.2011.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ZimmermannNHPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2011,
title = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/5769511/proceeding},
isbn = {978-0-7695-4342-0},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/2011.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-06-05 22:37 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:
