Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/woda:"
download as .bib file
@inproceedings{DBLP:conf/oopsla/AzadmaneshH15,
author = {Mohammad R. Azadmanesh and
Matthias Hauswirth},
editor = {Harry Xu and
Walter Binder},
title = {{SQL} for deep dynamic analysis?},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {2--7},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823365},
doi = {10.1145/2823363.2823365},
timestamp = {Fri, 14 Apr 2023 23:05:46 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AzadmaneshH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AzadmaneshH15a,
author = {Mohammad R. Azadmanesh and
Matthias Hauswirth},
editor = {Harry Xu and
Walter Binder},
title = {Infection size as a measure of bug severity},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {31--32},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823370},
doi = {10.1145/2823363.2823370},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/AzadmaneshH15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HaqCE15,
author = {Irfan Ul Haq and
Juan Caballero and
Michael D. Ernst},
editor = {Harry Xu and
Walter Binder},
title = {Ayudante: identifying undesired variable interactions},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {8--13},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823366},
doi = {10.1145/2823363.2823366},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HaqCE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Hills15,
author = {Mark Hills},
editor = {Harry Xu and
Walter Binder},
title = {Supporting {PHP} dynamic analysis in {PHP} AiR},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {37--38},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823373},
doi = {10.1145/2823363.2823373},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/Hills15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HoferGM15,
author = {Peter Hofer and
David Gnedt and
Hanspeter M{\"{o}}ssenb{\"{o}}ck},
editor = {Harry Xu and
Walter Binder},
title = {Efficient dynamic analysis of the synchronization performance of Java
applications},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {14--18},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823367},
doi = {10.1145/2823363.2823367},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HoferGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OhmannBLR15,
author = {Peter Ohmann and
David Bingham Brown and
Ben Liblit and
Thomas W. Reps},
editor = {Harry Xu and
Walter Binder},
title = {Recovering execution data from incomplete observations},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {19--24},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823368},
doi = {10.1145/2823363.2823368},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/OhmannBLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PinaC15,
author = {Lu{\'{\i}}s Pina and
Cristian Cadar},
editor = {Harry Xu and
Walter Binder},
title = {Towards deployment-time dynamic analysis of server applications},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {35--36},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823372},
doi = {10.1145/2823363.2823372},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/PinaC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Sen15,
author = {Koushik Sen},
editor = {Harry Xu and
Walter Binder},
title = {Concolic testing: a decade later (keynote)},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823364},
doi = {10.1145/2823363.2823364},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/Sen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/VandercammenNMK15,
author = {Maarten Vandercammen and
Jens Nicolay and
Stefan Marr and
Joeri De Koster and
Theo D'Hondt and
Coen De Roover},
editor = {Harry Xu and
Walter Binder},
title = {A formal foundation for trace-based {JIT} compilers},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {25--30},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823369},
doi = {10.1145/2823363.2823369},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/VandercammenNMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Wael15,
author = {Mattias De Wael},
editor = {Harry Xu and
Walter Binder},
title = {Just-in-time data structures: towards declarative swap rules},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {33--34},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823371},
doi = {10.1145/2823363.2823371},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/Wael15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015woda,
editor = {Harry Xu and
Walter Binder},
title = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363},
doi = {10.1145/2823363},
isbn = {978-1-4503-3909-4},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2015woda.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Liu14,
author = {Yu David Liu},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {Improving energy efficiency of work-stealing parallel languages (invited
talk abstract)},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {14},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2638836},
doi = {10.1145/2632168.2638836},
timestamp = {Fri, 14 Apr 2023 23:05:44 +0200},
biburl = {https://dblp.org/rec/conf/issta/Liu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Nistor14,
author = {Adrian Nistor},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {Detecting and repairing performance bugs using execution and code
patterns (invited talk abstract)},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {12},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2638834},
doi = {10.1145/2632168.2638834},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Nistor14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Pasareanu14,
author = {Corina S. Pasareanu},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {On the probabilistic analysis of software (invited talk abstract)},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2638832},
doi = {10.1145/2632168.2638832},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Pasareanu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Qadeer14,
author = {Shaz Qadeer},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {{P:} a domain-specific language for asynchronous event-driven programming
(invited talk abstract)},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2638830},
doi = {10.1145/2632168.2638830},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Qadeer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Sadowski14,
author = {Caitlin Sadowski},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {Usable program analysis at google-scale (invited talk abstract)},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {7},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2638829},
doi = {10.1145/2632168.2638829},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Sadowski14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SasnauskasR14,
author = {Raimondas Sasnauskas and
John Regehr},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {Intent fuzzer: crafting intents of death},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {1--5},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2632169},
doi = {10.1145/2632168.2632169},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/SasnauskasR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Sridharan14,
author = {Manu Sridharan},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {Effective race detection for event-driven programs (invited talk abstract)},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {9},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2638831},
doi = {10.1145/2632168.2638831},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Sridharan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Xiao14,
author = {Xusheng Xiao},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {Context-sensitive delta inference for identifying workload-dependent
performance bottlenecks (invited talk abstract)},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {11},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2638833},
doi = {10.1145/2632168.2638833},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Xiao14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Xie14,
author = {Qing Xie},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {Automated test generation for {API} proxy code (invited talk abstract)},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2638828},
doi = {10.1145/2632168.2638828},
timestamp = {Thu, 02 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Xie14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Xu14,
author = {Guoqing Xu},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {Language, compiler, and runtime system support towards highly scalable
big data application (invited talk abstract)},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {13},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2638835},
doi = {10.1145/2632168.2638835},
timestamp = {Sun, 06 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Xu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2014woda,
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168},
doi = {10.1145/2632168},
isbn = {978-1-4503-2934-7},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2014woda.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlipourG12,
author = {Mohammad Amin Alipour and
Alex Groce},
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Extended program invariants: applications in testing and fault localization},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
pages = {7--11},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338966.2336799},
doi = {10.1145/2338966.2336799},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/AlipourG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AshrafOMB12,
author = {Imran Ashraf and
Sayyed Arash Ostadzadeh and
Roel Meeuws and
Koen Bertels},
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Communication-aware {HW/SW} co-design for heterogeneous multicore
platforms},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
pages = {36--41},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338966.2336806},
doi = {10.1145/2338966.2336806},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/AshrafOMB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BuellC12,
author = {Kevin Buell and
James S. Collofello},
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Dynamic cost verification for cloud applications},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
pages = {18--23},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338966.2336802},
doi = {10.1145/2338966.2336802},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BuellC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceE12,
author = {Alex Groce and
Martin Erwig},
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Finding common ground: choose, assert, and assume},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
pages = {12--17},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338966.2336800},
doi = {10.1145/2338966.2336800},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GroceE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HussainCGFXPTH12,
author = {Ishtiaque Hussain and
Christoph Csallner and
Mark Grechanik and
Chen Fu and
Qing Xie and
Sangmin Park and
Kunal Taneja and
B. M. Mainul Hossain},
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Evaluating program analysis and testing tools with the {RUGRAT} random
benchmark application generator},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
pages = {1--6},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338966.2336798},
doi = {10.1145/2338966.2336798},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/HussainCGFXPTH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Weyns12,
author = {Danny Weyns},
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Towards an integrated approach for validating qualities of self-adaptive
systems},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
pages = {24--29},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338966.2336803},
doi = {10.1145/2338966.2336803},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Weyns12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YangYXR12,
author = {Shengqian Yang and
Dacong Yan and
Guoqing Xu and
Atanas Rountev},
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Dynamic analysis of inefficiently-used containers},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
pages = {30--35},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338966.2336805},
doi = {10.1145/2338966.2336805},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/YangYXR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2012w,
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2338966},
isbn = {978-1-4503-1455-8},
timestamp = {Wed, 15 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2012w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Bodden11,
author = {Eric Bodden},
editor = {Leonardo Mariani and
Xiangyu Zhang},
title = {Continuation equivalence: a correctness criterion for static optimizations
of dynamic analyses},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2011), {WODA} 2011, Toronto,
ON, Canada, July 18, 2011},
pages = {24--28},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2002951.2002958},
doi = {10.1145/2002951.2002958},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Bodden11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CobbJKH11,
author = {Jake Cobb and
James A. Jones and
Gregory M. Kapfhammer and
Mary Jean Harrold},
editor = {Leonardo Mariani and
Xiangyu Zhang},
title = {Dynamic invariant detection for relational databases},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2011), {WODA} 2011, Toronto,
ON, Canada, July 18, 2011},
pages = {12--17},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2002951.2002955},
doi = {10.1145/2002951.2002955},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/CobbJKH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Guo11,
author = {Philip J. Guo},
editor = {Leonardo Mariani and
Xiangyu Zhang},
title = {Sloppy Python: using dynamic analysis to automatically add error tolerance
to ad-hoc data processing scripts},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2011), {WODA} 2011, Toronto,
ON, Canada, July 18, 2011},
pages = {35--40},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2002951.2002961},
doi = {10.1145/2002951.2002961},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Guo11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GutzmannL11,
author = {Tobias Gutzmann and
Welf L{\"{o}}we},
editor = {Leonardo Mariani and
Xiangyu Zhang},
title = {Custom-made instrumentation based on static analysis},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2011), {WODA} 2011, Toronto,
ON, Canada, July 18, 2011},
pages = {18--23},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2002951.2002957},
doi = {10.1145/2002951.2002957},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GutzmannL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HuraD11,
author = {Dominik Hura and
Michal Dimmich},
editor = {Leonardo Mariani and
Xiangyu Zhang},
title = {A method facilitating integration testing of embedded software},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2011), {WODA} 2011, Toronto,
ON, Canada, July 18, 2011},
pages = {7--11},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2002951.2002954},
doi = {10.1145/2002951.2002954},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/HuraD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Oksanen11,
author = {Kenneth Oksanen},
editor = {Leonardo Mariani and
Xiangyu Zhang},
title = {Detecting algorithms using dynamic analysis},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2011), {WODA} 2011, Toronto,
ON, Canada, July 18, 2011},
pages = {1--6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2002951.2002953},
doi = {10.1145/2002951.2002953},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Oksanen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SalkeldXCLWK11,
author = {Robin Salkeld and
Wenhao Xu and
Brendan Cully and
Geoffrey Lefebvre and
Andrew Warfield and
Gregor Kiczales},
editor = {Leonardo Mariani and
Xiangyu Zhang},
title = {Retroactive aspects: programming in the past},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2011), {WODA} 2011, Toronto,
ON, Canada, July 18, 2011},
pages = {29--34},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2002951.2002960},
doi = {10.1145/2002951.2002960},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/SalkeldXCLWK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2011w,
editor = {Leonardo Mariani and
Xiangyu Zhang},
title = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2011), {WODA} 2011, Toronto,
ON, Canada, July 18, 2011},
publisher = {{ACM}},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2002951},
isbn = {978-1-4503-0811-3},
timestamp = {Tue, 10 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2011w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HaiderNG10,
author = {Newres Al Haider and
Paddy Nixon and
Benoit Gaudin},
editor = {Jonathan Cook and
James A. Jones},
title = {An approach for modeling dynamic analysis using ontologies},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2010), {WODA} 2010, Trento,
Italy, July 12, 2010},
pages = {1--6},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868321.1868322},
doi = {10.1145/1868321.1868322},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/HaiderNG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HussainC10,
author = {Ishtiaque Hussain and
Christoph Csallner},
editor = {Jonathan Cook and
James A. Jones},
title = {{DSDSR:} a tool that uses dynamic symbolic execution for data structure
repair},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2010), {WODA} 2010, Trento,
Italy, July 12, 2010},
pages = {20--25},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868321.1868325},
doi = {10.1145/1868321.1868325},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/HussainC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/IslamC10,
author = {Mainul Islam and
Christoph Csallner},
editor = {Jonathan Cook and
James A. Jones},
title = {Dsc+Mock: a test case + mock class generator in support of coding
against interfaces},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2010), {WODA} 2010, Trento,
Italy, July 12, 2010},
pages = {26--31},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868321.1868326},
doi = {10.1145/1868321.1868326},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/IslamC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MarcoBGMS10,
author = {Antinisca Di Marco and
Antonia Bertolino and
Felicita Di Giandomenico and
Paolo Masci and
Antonino Sabetta},
editor = {Jonathan Cook and
James A. Jones},
title = {Metrics for QoS analysis in dynamic, evolving and heterogeneous connected
systems},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2010), {WODA} 2010, Trento,
Italy, July 12, 2010},
pages = {32--37},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868321.1868327},
doi = {10.1145/1868321.1868327},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/MarcoBGMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PrahoferSW10,
author = {Herbert Pr{\"{a}}hofer and
Roland Schatz and
Christian Wirth},
editor = {Jonathan Cook and
James A. Jones},
title = {Detection of high-level execution patterns in reactive behavior of
control programs},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2010), {WODA} 2010, Trento,
Italy, July 12, 2010},
pages = {14--19},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868321.1868324},
doi = {10.1145/1868321.1868324},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/PrahoferSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WalkinshawAM10,
author = {Neil Walkinshaw and
Sheeva Afshan and
Phil McMinn},
editor = {Jonathan Cook and
James A. Jones},
title = {Using compression algorithms to support the comprehension of program
traces},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2010), {WODA} 2010, Trento,
Italy, July 12, 2010},
pages = {8--13},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868321.1868323},
doi = {10.1145/1868321.1868323},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WalkinshawAM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2010w,
editor = {Jonathan Cook and
James A. Jones},
title = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2010), {WODA} 2010, Trento,
Italy, July 12, 2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1868321},
isbn = {978-1-4503-0137-4},
timestamp = {Wed, 15 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2010w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Groce09,
author = {Alex Groce},
editor = {Ben Liblit and
Andy Podgurski},
title = {(Quickly) testing the tester via path coverage},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
IL, USA, July, 2009},
pages = {22--28},
year = {2009},
url = {https://doi.org/10.1145/2134243.2134249},
doi = {10.1145/2134243.2134249},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Groce09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MakM09,
author = {Jonathan Chee Heng Mak and
Alan Mycroft},
editor = {Ben Liblit and
Andy Podgurski},
title = {Limits of parallelism using dynamic dependency graphs},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
IL, USA, July, 2009},
pages = {42--48},
year = {2009},
url = {https://doi.org/10.1145/2134243.2134253},
doi = {10.1145/2134243.2134253},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/MakM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MasriE09,
author = {Wes Masri and
Marwa El{-}Ghali},
editor = {Ben Liblit and
Andy Podgurski},
title = {Test case filtering and prioritization based on coverage of combinations
of program elements},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
IL, USA, July, 2009},
pages = {29--34},
year = {2009},
url = {https://doi.org/10.1145/2134243.2134250},
doi = {10.1145/2134243.2134250},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/MasriE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NusayrC09,
author = {Amjad Nusayr and
Jonathan E. Cook},
editor = {Ben Liblit and
Andy Podgurski},
title = {Using {AOP} for detailed runtime monitoring instrumentation},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
IL, USA, July, 2009},
pages = {8--14},
year = {2009},
url = {https://doi.org/10.1145/2134243.2134246},
doi = {10.1145/2134243.2134246},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/NusayrC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SadowskiY09,
author = {Caitlin Sadowski and
Jaeheon Yi},
editor = {Ben Liblit and
Andy Podgurski},
title = {Tiddle: {A} Trace Description Language for generating concurrent benchmarks
to test dynamic analyses},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
IL, USA, July, 2009},
pages = {15--21},
year = {2009},
url = {https://doi.org/10.1145/2134243.2134248},
doi = {10.1145/2134243.2134248},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/SadowskiY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SchobelP09,
author = {Michael Sch{\"{o}}bel and
Andreas Polze},
editor = {Ben Liblit and
Andy Podgurski},
title = {A runtime environment for online processing of operating system kernel
events},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
IL, USA, July, 2009},
pages = {1--7},
year = {2009},
url = {https://doi.org/10.1145/2134243.2134245},
doi = {10.1145/2134243.2134245},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/SchobelP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ThakurSLL09,
author = {Aditya V. Thakur and
Rathijit Sen and
Ben Liblit and
Shan Lu},
editor = {Ben Liblit and
Andy Podgurski},
title = {Cooperative crug isolation},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
IL, USA, July, 2009},
pages = {35--41},
year = {2009},
url = {https://doi.org/10.1145/2134243.2134252},
doi = {10.1145/2134243.2134252},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ThakurSLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2009w,
editor = {Ben Liblit and
Andy Podgurski},
title = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
IL, USA, July, 2009},
year = {2009},
url = {http://dl.acm.org/citation.cfm?id=2134243},
isbn = {978-1-60558-656-4},
timestamp = {Wed, 15 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2009w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AbreuZG08,
author = {Rui Abreu and
Peter Zoeteweij and
Arjan J. C. van Gemund},
editor = {Ben Liblit and
Atanas Rountev},
title = {An observation-based model for fault localization},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {64--70},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401841},
doi = {10.1145/1401827.1401841},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/AbreuZG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BurgerZ08,
author = {Martin Burger and
Andreas Zeller},
editor = {Ben Liblit and
Atanas Rountev},
title = {Replaying and isolating failing multi-object interactions},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {71--77},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401842},
doi = {10.1145/1401827.1401842},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BurgerZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GorbovitskiRLS08,
author = {Michael Gorbovitski and
Tom Rothamel and
Yanhong A. Liu and
Scott D. Stoller},
editor = {Ben Liblit and
Atanas Rountev},
title = {Efficient runtime invariant checking: a framework and case study},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {43--49},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401837},
doi = {10.1145/1401827.1401837},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GorbovitskiRLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceJ08,
author = {Alex Groce and
Rajeev Joshi},
editor = {Ben Liblit and
Atanas Rountev},
title = {Random testing and model checking: building a common framework for
nondeterministic exploration},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {22--28},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401833},
doi = {10.1145/1401827.1401833},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GroceJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KuzminaPGC08,
author = {Nadya Kuzmina and
John Paul and
Ruben Gamboa and
James L. Caldwell},
editor = {Ben Liblit and
Atanas Rountev},
title = {Extending dynamic constraint detection with disjunctive constraints},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {57--63},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401839},
doi = {10.1145/1401827.1401839},
timestamp = {Thu, 25 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KuzminaPGC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LeeBR08,
author = {Kyungwoo Lee and
Zino Benaissa and
Juan Rodriguez},
editor = {Ben Liblit and
Atanas Rountev},
title = {A dynamic tool for finding redundant computations in native code},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {15--21},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401831},
doi = {10.1145/1401827.1401831},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LeeBR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LoKL08,
author = {David Lo and
Siau{-}Cheng Khoo and
Chao Liu},
editor = {Ben Liblit and
Atanas Rountev},
title = {Mining past-time temporal rules from execution traces},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {50--56},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401838},
doi = {10.1145/1401827.1401838},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LoKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NguyenWR08,
author = {Minh Duc Nguyen and
H{\'{e}}l{\`{e}}ne Waeselynck and
Nicolas Rivi{\`{e}}re},
editor = {Ben Liblit and
Atanas Rountev},
title = {Testing mobile computing applications: toward a scenario language
and tools},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {29--35},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401834},
doi = {10.1145/1401827.1401834},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/NguyenWR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/OrsoX08,
author = {Alessandro Orso and
Tao Xie},
editor = {Ben Liblit and
Atanas Rountev},
title = {{BERT:} BEhavioral Regression Testing},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {36--42},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401835},
doi = {10.1145/1401827.1401835},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/OrsoX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Reiss08,
author = {Steven P. Reiss},
editor = {Ben Liblit and
Atanas Rountev},
title = {Dynamic detection of event handlers},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {1--7},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401829},
doi = {10.1145/1401827.1401829},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Reiss08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WatanabeII08,
author = {Yui Watanabe and
Takashi Ishio and
Katsuro Inoue},
editor = {Ben Liblit and
Atanas Rountev},
title = {Feature-level phase detection for execution trace using object cache},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {8--14},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401830},
doi = {10.1145/1401827.1401830},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/WatanabeII08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2008w,
editor = {Ben Liblit and
Atanas Rountev},
title = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827},
doi = {10.1145/1401827},
isbn = {978-1-60558-054-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2008w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woda/KuzminaG07,
author = {Nadya Kuzmina and
Ruben Gamboa},
title = {Extending Dynamic Constraint Detection with Polymorphic Analysis},
booktitle = {Fifth International Workshop on Dynamic Analysis, WODA@ICSE 2007,
Minneapolis, MN, USA, 20-26 May, 2007},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WODA.2007.3},
doi = {10.1109/WODA.2007.3},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woda/KuzminaG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woda/LeeAM07,
author = {Kyungwoo Lee and
Qasim Ali and
Samuel P. Midkiff},
title = {Efficient Classloading Strategies for Interprocedural Analyses in
the Presence of Dynamic Classloading},
booktitle = {Fifth International Workshop on Dynamic Analysis, WODA@ICSE 2007,
Minneapolis, MN, USA, 20-26 May, 2007},
pages = {6},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WODA.2007.2},
doi = {10.1109/WODA.2007.2},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woda/LeeAM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woda/MitchellSKS07,
author = {Nick Mitchell and
Gary Sevitsky and
Palani Kumanan and
Edith Schonberg},
title = {Data Structure Health},
booktitle = {Fifth International Workshop on Dynamic Analysis, WODA@ICSE 2007,
Minneapolis, MN, USA, 20-26 May, 2007},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WODA.2007.1},
doi = {10.1109/WODA.2007.1},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woda/MitchellSKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woda/PantaleevR07,
author = {Alexandar Pantaleev and
Atanas Rountev},
title = {Identifying Data Transfer Objects in {EJB} Applications},
booktitle = {Fifth International Workshop on Dynamic Analysis, WODA@ICSE 2007,
Minneapolis, MN, USA, 20-26 May, 2007},
pages = {5},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WODA.2007.6},
doi = {10.1109/WODA.2007.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woda/PantaleevR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woda/WangS07,
author = {Kun Wang and
Wuwei Shen},
title = {Runtime Checking of {UML} Association-Related Constraints},
booktitle = {Fifth International Workshop on Dynamic Analysis, WODA@ICSE 2007,
Minneapolis, MN, USA, 20-26 May, 2007},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WODA.2007.8},
doi = {10.1109/WODA.2007.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woda/WangS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woda/YantziA07,
author = {Donald J. Yantzi and
James H. Andrews},
title = {Industrial Evaluation of a Log File Analysis Methodology},
booktitle = {Fifth International Workshop on Dynamic Analysis, WODA@ICSE 2007,
Minneapolis, MN, USA, 20-26 May, 2007},
pages = {4},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WODA.2007.7},
doi = {10.1109/WODA.2007.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woda/YantziA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/woda/2007,
title = {Fifth International Workshop on Dynamic Analysis, WODA@ICSE 2007,
Minneapolis, MN, USA, 20-26 May, 2007},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://ieeexplore.ieee.org/xpl/conhome/4273454/proceeding},
isbn = {0-7695-2963-1},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/woda/2007.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-23 16:52 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:
