default search action
Search dblp for Publications
export results for "stream:conf/woda:"
@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 = {Sun, 06 Oct 2024 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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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} }
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.