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/issta/issta2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/issta/ArcuriIB10,
author = {Andrea Arcuri and
Muhammad Zohaib Z. Iqbal and
Lionel C. Briand},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Formal analysis of the effectiveness and predictability of random
testing},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {219--230},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831736},
doi = {10.1145/1831708.1831736},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/ArcuriIB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ArtziDTP10,
author = {Shay Artzi and
Julian Dolby and
Frank Tip and
Marco Pistoia},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Directed test generation for effective fault localization},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {49--60},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831715},
doi = {10.1145/1831708.1831715},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ArtziDTP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AyewahP10,
author = {Nathaniel Ayewah and
William W. Pugh},
editor = {Paolo Tonella and
Alessandro Orso},
title = {The Google FindBugs fixit},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {241--252},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831738},
doi = {10.1145/1831708.1831738},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/AyewahP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BaahPH10,
author = {George K. Baah and
Andy Podgurski and
Mary Jean Harrold},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Causal inference for statistical fault localization},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {73--84},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831717},
doi = {10.1145/1831708.1831717},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BaahPH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BaoZLZX10,
author = {Tao Bao and
Yunhui Zheng and
Zhiqiang Lin and
Xiangyu Zhang and
Dongyan Xu},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Strict control dependence and its effect on dynamic information flow
analyses},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {13--24},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831711},
doi = {10.1145/1831708.1831711},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BaoZLZX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CarbinR10,
author = {Michael Carbin and
Martin C. Rinard},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Automatically identifying critical input regions and code in applications},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {37--48},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831713},
doi = {10.1145/1831708.1831713},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/CarbinR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DallmeierKMHZ10,
author = {Valentin Dallmeier and
Nikolai Knopp and
Christoph Mallon and
Sebastian Hack and
Andreas Zeller},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Generating test cases for specification mining},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {85--96},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831719},
doi = {10.1145/1831708.1831719},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/DallmeierKMHZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DanielGM10,
author = {Brett Daniel and
Tihomir Gvero and
Darko Marinov},
editor = {Paolo Tonella and
Alessandro Orso},
title = {On test repair using symbolic execution},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {207--218},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831734},
doi = {10.1145/1831708.1831734},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/DanielGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DobolyiW10,
author = {Kinga Dobolyi and
Westley Weimer},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Modeling consumer-perceived web application fault severities for testing},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {97--106},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831720},
doi = {10.1145/1831708.1831720},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/DobolyiW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FraserZ10,
author = {Gordon Fraser and
Andreas Zeller},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Mutation-driven generation of unit tests and oracles},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {147--158},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831728},
doi = {10.1145/1831708.1831728},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/FraserZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GaleottiRPF10,
author = {Juan P. Galeotti and
Nicol{\'{a}}s Rosner and
Carlos L{\'{o}}pez Pombo and
Marcelo F. Frias},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Analysis of invariants for efficient bounded verification},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {25--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831712},
doi = {10.1145/1831708.1831712},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GaleottiRPF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GodefroidK10,
author = {Patrice Godefroid and
Johannes Kinder},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Proving memory safety of floating-point computations by combining
static and dynamic program analysis},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {1--12},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831710},
doi = {10.1145/1831708.1831710},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GodefroidK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GruskaWZ10,
author = {Natalie Gruska and
Andrzej Wasylkowski and
Andreas Zeller},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Learning from 6, 000 projects: lightweight cross-project anomaly detection},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {119--130},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831723},
doi = {10.1145/1831708.1831723},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GruskaWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JaygarlKXC10,
author = {Hojun Jaygarl and
Sunghun Kim and
Tao Xie and
Carl K. Chang},
editor = {Paolo Tonella and
Alessandro Orso},
title = {{OCAT:} object capture-based automated testing},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {159--170},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831729},
doi = {10.1145/1831708.1831729},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/JaygarlKXC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Jiang10,
author = {Zhen Ming Jiang},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Automated analysis of load testing results},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {143--146},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831726},
doi = {10.1145/1831708.1831726},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Jiang10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KettunenKTS10,
author = {Vesa Kettunen and
Jussi Kasurinen and
Ossi Taipale and
Kari Smolander},
editor = {Paolo Tonella and
Alessandro Orso},
title = {A study on agility and testing processes in software organizations},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {231--240},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831737},
doi = {10.1145/1831708.1831737},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KettunenKTS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KwonS10,
author = {Taeho Kwon and
Zhendong Su},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Automatic detection of unsafe component loadings},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {107--118},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831722},
doi = {10.1145/1831708.1831722},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KwonS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MartignoniPRB10,
author = {Lorenzo Martignoni and
Roberto Paleari and
Giampaolo Fresi Roglia and
Danilo Bruschi},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Testing system virtual machines},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {171--182},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831730},
doi = {10.1145/1831708.1831730},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/MartignoniPRB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/OstrandW10,
author = {Thomas J. Ostrand and
Elaine J. Weyuker},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Software fault prediction tool},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {275--278},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831743},
doi = {10.1145/1831708.1831743},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/OstrandW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PaleariMRB10,
author = {Roberto Paleari and
Lorenzo Martignoni and
Giampaolo Fresi Roglia and
Danilo Bruschi},
editor = {Paolo Tonella and
Alessandro Orso},
title = {N-version disassembly: differential testing of x86 disassemblers},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {265--274},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831741},
doi = {10.1145/1831708.1831741},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/PaleariMRB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Romero-MarionaZR10,
author = {Jose Romero{-}Mariona and
Hadar Ziv and
Debra J. Richardson},
editor = {Paolo Tonella and
Alessandro Orso},
title = {{ASSURE:} automated support for secure and usable requirements engineering},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {279--282},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831744},
doi = {10.1145/1831708.1831744},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Romero-MarionaZR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SantelicesH10,
author = {Ra{\'{u}}l A. Santelices and
Mary Jean Harrold},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Exploiting program dependencies for scalable multiple-path symbolic
execution},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {195--206},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831733},
doi = {10.1145/1831708.1831733},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/SantelicesH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/StaatsP10,
author = {Matt Staats and
Corina S. Pasareanu},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Parallel symbolic execution for structural test generation},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {183--194},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831732},
doi = {10.1145/1831708.1831732},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/StaatsP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TangBLS10,
author = {Enyi Tang and
Earl T. Barr and
Xuandong Li and
Zhendong Su},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Perturbing numerical calculations for statistical analysis of floating-point
program (in)stability},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {131--142},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831724},
doi = {10.1145/1831708.1831724},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/TangBLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WeeratungeZSJ10,
author = {Dasarath Weeratunge and
Xiangyu Zhang and
William N. Sumner and
Suresh Jagannathan},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Analyzing concurrency bugs using dual slicing},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {253--264},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831740},
doi = {10.1145/1831708.1831740},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/WeeratungeZSJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WeiPFSBMZ10,
author = {Yi Wei and
Yu Pei and
Carlo A. Furia and
Lucas Serpa Silva and
Stefan Buchholz and
Bertrand Meyer and
Andreas Zeller},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Automated fixing of programs with contracts},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {61--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831716},
doi = {10.1145/1831708.1831716},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WeiPFSBMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2010,
editor = {Paolo Tonella and
Alessandro Orso},
title = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708},
doi = {10.1145/1831708},
isbn = {978-1-60558-823-0},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2010.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-05-26 22: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:
