default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/kbse/ase2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/kbse/0002IP13,
author = {Bernd Fischer and
Omar Inverso and
Gennaro Parlato},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {CSeq: {A} concurrency pre-processor for sequential {C} verification
tools},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {710--713},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693139},
doi = {10.1109/ASE.2013.6693139},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/0002IP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AnnervazKSS13,
author = {K. M. Annervaz and
Vikrant S. Kaulgud and
Shubhashis Sengupta and
Milind Savagaonkar},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Natural language requirements quality analysis based on business domain
models},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {676--681},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693132},
doi = {10.1109/ASE.2013.6693132},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/AnnervazKSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AroraZRYJ13,
author = {Nipun Arora and
Hui Zhang and
Junghwan Rhee and
Kenji Yoshihira and
Guofei Jiang},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {iProbe: {A} lightweight user-level dynamic instrumentation tool},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {742--745},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693147},
doi = {10.1109/ASE.2013.6693147},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/AroraZRYJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArthoHPTWY13,
author = {Cyrille Artho and
Masami Hagiya and
Richard Potter and
Yoshinori Tanabe and
Franz Weitl and
Mitsuharu Yamamoto},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Software model checking for distributed systems with selector-based,
non-blocking communication},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {169--179},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693077},
doi = {10.1109/ASE.2013.6693077},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ArthoHPTWY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AvazpourGG13,
author = {Iman Avazpour and
John Grundy and
Lars Grunske},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Tool support for automatic model transformation specification using
concrete visualisations},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {718--721},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693141},
doi = {10.1109/ASE.2013.6693141},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/AvazpourGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BarnesPG13,
author = {Jeffrey M. Barnes and
Ashutosh Pandey and
David Garlan},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automated planning for software architecture evolution},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {213--223},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693081},
doi = {10.1109/ASE.2013.6693081},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/BarnesPG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CalinescuJR13,
author = {Radu Calinescu and
Kenneth Johnson and
Yasmin Rafiq},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Developing self-verifying service-based systems},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {734--737},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693145},
doi = {10.1109/ASE.2013.6693145},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/CalinescuJR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CamposAFd13,
author = {Jos{\'{e}} Campos and
Rui Abreu and
Gordon Fraser and
Marcelo d'Amorim},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Entropy-based test generation for improved fault localization},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {257--267},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693085},
doi = {10.1109/ASE.2013.6693085},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CamposAFd13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChandramohanTBSP13,
author = {Mahinthan Chandramohan and
Hee Beng Kuan Tan and
Lionel C. Briand and
Lwin Khin Shar and
Bindu Madhavi Padmanabhuni},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {A scalable approach for malware detection through bounded feature
space behavior modeling},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {312--322},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693090},
doi = {10.1109/ASE.2013.6693090},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ChandramohanTBSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChenJ13,
author = {Nicholas Chen and
Ralph E. Johnson},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {JFlow: Practical refactorings for flow-based parallelism},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {202--212},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693080},
doi = {10.1109/ASE.2013.6693080},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ChenJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChhetriCVK13,
author = {Mohan Baruwal Chhetri and
Sergei Chichin and
Quoc Bao Vo and
Ryszard Kowalczyk},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Smart Cloud Broker: Finding your home in the clouds},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {698--701},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693136},
doi = {10.1109/ASE.2013.6693136},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ChhetriCVK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChoDS13,
author = {Chia Yuan Cho and
Vijay D'Silva and
Dawn Song},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {{BLITZ:} Compositional bounded model checking for real-world programs},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {136--146},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693074},
doi = {10.1109/ASE.2013.6693074},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ChoDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CimattiDT13,
author = {Alessandro Cimatti and
Michele Dorigatti and
Stefano Tonetta},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {{OCRA:} {A} tool for checking the refinement of temporal contracts},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {702--705},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693137},
doi = {10.1109/ASE.2013.6693137},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/CimattiDT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CotroneoLFN13,
author = {Domenico Cotroneo and
Domenico Di Leo and
Francesco Fucci and
Roberto Natella},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {{SABRINE:} State-based robustness testing of operating systems},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {125--135},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693073},
doi = {10.1109/ASE.2013.6693073},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/CotroneoLFN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Demasi13,
author = {Ramiro Demasi},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Synthesizing fault-tolerant programs from deontic logic specifications},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {750--753},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693149},
doi = {10.1109/ASE.2013.6693149},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Demasi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DhunganaTWW13,
author = {Deepak Dhungana and
Ching Hoo Tang and
Christoph Weidenbach and
Patrick Wischnewski},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automated verification of interactive rule-based configuration systems},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {551--561},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693112},
doi = {10.1109/ASE.2013.6693112},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/DhunganaTWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DietrichCS13,
author = {Timothy Dietrich and
Jane Cleland{-}Huang and
Yonghee Shin},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Learning effective query transformations for enhanced requirements
trace retrieval},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {586--591},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693117},
doi = {10.1109/ASE.2013.6693117},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/DietrichCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FahlandLM13,
author = {Dirk Fahland and
David Lo and
Shahar Maoz},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Mining branching-time scenarios},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {443--453},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693102},
doi = {10.1109/ASE.2013.6693102},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/FahlandLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FalkeMS13,
author = {Stephan Falke and
Florian Merz and
Carsten Sinz},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {The bounded model checker {LLBMC}},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {706--709},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693138},
doi = {10.1109/ASE.2013.6693138},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FalkeMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Fard13,
author = {Fatemeh Hendijani Fard},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Detecting and fixing emergent behaviors in Distributed Software Systems
using a message content independent method},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {746--749},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693148},
doi = {10.1109/ASE.2013.6693148},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Fard13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Frank13,
author = {Jeremy Frank},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {The challenges of verification and validation of automated planning
systems (keynote)},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {2},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693059},
doi = {10.1109/ASE.2013.6693059},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Frank13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GambiHD13,
author = {Alessio Gambi and
Waldemar Hummer and
Schahram Dustdar},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automated testing of cloud-based elastic systems with AUToCLES},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {714--717},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693140},
doi = {10.1109/ASE.2013.6693140},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GambiHD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Ganai13,
author = {Malay K. Ganai},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Efficient data race prediction with incremental reasoning on time-stamped
lock history},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {37--47},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693064},
doi = {10.1109/ASE.2013.6693064},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Ganai13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Garcia-GalanTC13,
author = {Jes{\'{u}}s Garc{\'{\i}}a{-}Gal{\'{a}}n and
Pablo Trinidad and
Antonio Ruiz Cort{\'{e}}s},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Multi-user variability configuration: {A} game theoretic approach},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {574--579},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693115},
doi = {10.1109/ASE.2013.6693115},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Garcia-GalanTC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GarciaIM13,
author = {Joshua Garcia and
Igor Ivkovic and
Nenad Medvidovic},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {A comparative analysis of software architecture recovery techniques},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {486--496},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693106},
doi = {10.1109/ASE.2013.6693106},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GarciaIM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GhaisasMA13,
author = {Smita Ghaisas and
Manish Motwani and
Preethu Rose Anish},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Detecting system use cases and validations from documents},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {568--573},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693114},
doi = {10.1109/ASE.2013.6693114},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GhaisasMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GuoCASW13,
author = {Jianmei Guo and
Krzysztof Czarnecki and
Sven Apel and
Norbert Siegmund and
Andrzej Wasowski},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Variability-aware performance prediction: {A} statistical learning
approach},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {301--311},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693089},
doi = {10.1109/ASE.2013.6693089},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GuoCASW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GuoZYZZ13,
author = {Chaorong Guo and
Jian Zhang and
Jun Yan and
Zhiqiang Zhang and
Yanli Zhang},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Characterizing and detecting resource leaks in Android applications},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {389--398},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693097},
doi = {10.1109/ASE.2013.6693097},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GuoZYZZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Hellerstein13,
author = {Joseph M. Hellerstein},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {{BOOM:} Experiences in language and tool design for distributed systems
(keynote)},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {1},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693058},
doi = {10.1109/ASE.2013.6693058},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Hellerstein13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HolavanalliMNRSKZ13,
author = {Shashank Holavanalli and
Don Manuel and
Vishwas Nanjundaswamy and
Brian Rosenberg and
Feng Shen and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Flow Permissions for Android},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {652--657},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693128},
doi = {10.1109/ASE.2013.6693128},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HolavanalliMNRSKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HolderSDT13,
author = {Ethan Holder and
Eeshan Shah and
Mohammed Davoodi and
Eli Tilevich},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Cloud Twin: Native execution of android applications on the Windows
Phone},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {598--603},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693119},
doi = {10.1109/ASE.2013.6693119},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HolderSDT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HuangMM13,
author = {Yu Huang and
Eric Mercer and
Jay McCarthy},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Proving {MCAPI} executions are correct using {SMT}},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {26--36},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693063},
doi = {10.1109/ASE.2013.6693063},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HuangMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/IzsoSBHR13,
author = {Benedek Izs{\'{o}} and
Zolt{\'{a}}n Szatm{\'{a}}ri and
G{\'{a}}bor Bergmann and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Towards precise metrics for predicting graph query performance},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {421--431},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693100},
doi = {10.1109/ASE.2013.6693100},
timestamp = {Tue, 20 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/IzsoSBHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JiangTK13,
author = {Tian Jiang and
Lin Tan and
Sunghun Kim},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Personalized defect prediction},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {279--289},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693087},
doi = {10.1109/ASE.2013.6693087},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/JiangTK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KehrerKT13,
author = {Timo Kehrer and
Udo Kelter and
Gabriele Taentzer},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Consistency-preserving edit scripts in model versioning},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {191--201},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693079},
doi = {10.1109/ASE.2013.6693079},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KehrerKT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KifetewJTOT13,
author = {Fitsum Meshesha Kifetew and
Wei Jin and
Roberto Tiella and
Alessandro Orso and
Paolo Tonella},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {{SBFR:} {A} search based approach for reproducing failures of programs
with grammar based input},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {604--609},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693120},
doi = {10.1109/ASE.2013.6693120},
timestamp = {Wed, 21 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KifetewJTOT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KimKKLJK13,
author = {Yunho Kim and
Youil Kim and
Taeksu Kim and
Gunwoo Lee and
Yoonkyu Jang and
Moonzoo Kim},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automated unit testing of large industrial embedded software using
concolic testing},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {519--528},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693109},
doi = {10.1109/ASE.2013.6693109},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KimKKLJK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KukrejaHT13,
author = {Nupul Kukreja and
William G. J. Halfond and
Milind Tambe},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Randomizing regression tests using game theory},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {616--621},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693122},
doi = {10.1109/ASE.2013.6693122},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KukrejaHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KusanoW13,
author = {Markus Kusano and
Chao Wang},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {CCmutator: {A} mutation generator for concurrency constructs in multithreaded
{C/C++} applications},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {722--725},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693142},
doi = {10.1109/ASE.2013.6693142},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KusanoW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KwonZX13,
author = {Yonghwi Kwon and
Xiangyu Zhang and
Dongyan Xu},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {PIEtrace: Platform independent executable trace},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {48--58},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693065},
doi = {10.1109/ASE.2013.6693065},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KwonZX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LetsholoZC13,
author = {Keletso Letsholo and
Liping Zhao and
Erol{-}Valeriu Chioasca},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {{TRAM:} {A} tool for transforming textual requirements into analysis
models},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {738--741},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693146},
doi = {10.1109/ASE.2013.6693146},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LetsholoZC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiRSDC13,
author = {Kaituo Li and
Christoph Reichenbach and
Yannis Smaragdakis and
Yanlei Diao and
Christoph Csallner},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {{SEDGE:} Symbolic example data generation for dataflow programs},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {235--245},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693083},
doi = {10.1109/ASE.2013.6693083},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LiRSDC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Lin13,
author = {Jun Lin},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Context-aware task allocation for distributed agile team},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {758--761},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693151},
doi = {10.1109/ASE.2013.6693151},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Lin13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LouLDFZX13,
author = {Jian{-}Guang Lou and
Qingwei Lin and
Rui Ding and
Qiang Fu and
Dongmei Zhang and
Tao Xie},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Software analytics for incident management of online services: An
experience report},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {475--485},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693105},
doi = {10.1109/ASE.2013.6693105},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LouLDFZX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MacedoGC13,
author = {Nuno Macedo and
Tiago Guimar{\~{a}}es and
Alcino Cunha},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Model repair and transformation with Echo},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {694--697},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693135},
doi = {10.1109/ASE.2013.6693135},
timestamp = {Tue, 25 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/MacedoGC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MaezawaWTH13,
author = {Yuta Maezawa and
Hironori Washizaki and
Yoshinori Tanabe and
Shinichi Honiden},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automated verification of pattern-based interaction invariants in
Ajax applications},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {158--168},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693076},
doi = {10.1109/ASE.2013.6693076},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/MaezawaWTH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MeredithR13,
author = {Patrick O'Neil Meredith and
Grigore Rosu},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Efficient parametric runtime verification with deterministic string
rewriting},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {70--80},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693067},
doi = {10.1109/ASE.2013.6693067},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/MeredithR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Mirakhorli13,
author = {Mehdi Mirakhorli},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Preventing erosion of architectural tactics through their strategic
implementation, preservation, and visualization},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {762--765},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693152},
doi = {10.1109/ASE.2013.6693152},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Mirakhorli13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MirshokraieMP13,
author = {Shabnam Mirshokraie and
Ali Mesbah and
Karthik Pattabiraman},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {{PYTHIA:} Generating test cases with oracles for JavaScript applications},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {610--615},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693121},
doi = {10.1109/ASE.2013.6693121},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/MirshokraieMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MoritzVPGMG13,
author = {Evan Moritz and
Mario Linares V{\'{a}}squez and
Denys Poshyvanyk and
Mark Grechanik and
Collin McMillan and
Malcom Gethers},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {ExPort: Detecting and visualizing {API} usages in large source code
repositories},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {646--651},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693127},
doi = {10.1109/ASE.2013.6693127},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/MoritzVPGMG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NardoABFNM13,
author = {Daniel Di Nardo and
Nadia Alshahwan and
Lionel C. Briand and
Elizabeta Fourneret and
Tomislav Nakic{-}Alfirevic and
Vincent Masquelier},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Model based test validation and oracles for data acquisition systems},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {540--550},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693111},
doi = {10.1109/ASE.2013.6693111},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/NardoABFNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NejatiABHBC13,
author = {Shiva Nejati and
Morayo Adedjouma and
Lionel C. Briand and
Jonathan Hellebaut and
Julien Begey and
Yves Clement},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Minimizing {CPU} time shortage risks in integrated embedded software},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {529--539},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693110},
doi = {10.1109/ASE.2013.6693110},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/NejatiABHBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NguyenNNNN13,
author = {Hung Viet Nguyen and
Hoan Anh Nguyen and
Tung Thanh Nguyen and
Anh Tuan Nguyen and
Tien N. Nguyen},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Dangling references in multi-configuration and dynamic PHP-based Web
applications},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {399--409},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693098},
doi = {10.1109/ASE.2013.6693098},
timestamp = {Tue, 21 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/NguyenNNNN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NguyenNNNR13,
author = {Hoan Anh Nguyen and
Anh Tuan Nguyen and
Tung Thanh Nguyen and
Tien N. Nguyen and
Hridesh Rajan},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {A study of repetitiveness of code changes in software evolution},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {180--190},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693078},
doi = {10.1109/ASE.2013.6693078},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/NguyenNNNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NguyenT13,
author = {Duy Cu Nguyen and
Paolo Tonella},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automated inference of classifications and dependencies for combinatorial
testing},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {622--627},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693123},
doi = {10.1109/ASE.2013.6693123},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/NguyenT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/OhmannL13,
author = {Peter Ohmann and
Ben Liblit},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Lightweight control-flow instrumentation and postmortem analysis in
support of debugging},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {378--388},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693096},
doi = {10.1109/ASE.2013.6693096},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/OhmannL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/OsterlundL13,
author = {Erik {\"{O}}sterlund and
Welf L{\"{o}}we},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Dynamically transforming data structures},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {410--420},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693099},
doi = {10.1109/ASE.2013.6693099},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/OsterlundL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PalepuXJ13,
author = {Vijay Krishna Palepu and
Guoqing Xu and
James A. Jones},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Improving efficiency of dynamic analysis with dynamic dependence summaries},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {59--69},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693066},
doi = {10.1109/ASE.2013.6693066},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/PalepuXJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PalombaBPOLP13,
author = {Fabio Palomba and
Gabriele Bavota and
Massimiliano Di Penta and
Rocco Oliveto and
Andrea De Lucia and
Denys Poshyvanyk},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Detecting bad smells in source code using change history information},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {268--278},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693086},
doi = {10.1109/ASE.2013.6693086},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PalombaBPOLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Penix13,
author = {John Penix},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Big problems in industry (panel)},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {3},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693060},
doi = {10.1109/ASE.2013.6693060},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Penix13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PilgrimUTS13,
author = {Jens von Pilgrim and
Bastian Ulke and
Andreas Thies and
Friedrich Steimann},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Model/code co-refactoring: An {MDE} approach},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {682--687},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693133},
doi = {10.1109/ASE.2013.6693133},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/PilgrimUTS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PohlSP13,
author = {Richard Pohl and
Vanessa Stricker and
Klaus Pohl},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Measuring the structural complexity of feature models},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {454--464},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693103},
doi = {10.1109/ASE.2013.6693103},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/PohlSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RayKPR13,
author = {Baishakhi Ray and
Miryung Kim and
Suzette Person and
Neha Rungta},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Detecting and characterizing semantic inconsistencies in ported code},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {367--377},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693095},
doi = {10.1109/ASE.2013.6693095},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/RayKPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RegerBR13,
author = {Giles Reger and
Howard Barringer and
David E. Rydeheard},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {A pattern-based approach to parametric specification mining},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {658--663},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693129},
doi = {10.1109/ASE.2013.6693129},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RegerBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RosnerSAKF13,
author = {Nicol{\'{a}}s Rosner and
Junaid Haroon Siddiqui and
Nazareno Aguirre and
Sarfraz Khurshid and
Marcelo F. Frias},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Ranger: Parallel analysis of alloy models by range partitioning},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {147--157},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693075},
doi = {10.1109/ASE.2013.6693075},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/RosnerSAKF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SaadaHNS13,
author = {Hajer Saada and
Marianne Huchard and
Cl{\'{e}}mentine Nebut and
Houari A. Sahraoui},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Recovering model transformation traces using multi-objective optimization},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {688--693},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693134},
doi = {10.1109/ASE.2013.6693134},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/SaadaHNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SagdeoEPV13,
author = {Parth Sagdeo and
Nicholas Ewalt and
Debjit Pal and
Shobha Vasudevan},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Using automatically generated invariants for regression testing and
bug localization},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {634--639},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693125},
doi = {10.1109/ASE.2013.6693125},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SagdeoEPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SahaLKP13,
author = {Ripon K. Saha and
Matthew Lease and
Sarfraz Khurshid and
Dewayne E. Perry},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Improving bug localization using structured information retrieval},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {345--355},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693093},
doi = {10.1109/ASE.2013.6693093},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/SahaLKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SannierAB13,
author = {Nicolas Sannier and
Mathieu Acher and
Benoit Baudry},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {From comparison matrix to Variability Model: The Wikipedia case study},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {580--585},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693116},
doi = {10.1109/ASE.2013.6693116},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/SannierAB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SayyadIMA13,
author = {Abdel Salam Sayyad and
Joseph Ingram and
Tim Menzies and
Hany H. Ammar},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Scalable product line configuration: {A} straw to break the camel's
back},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {465--474},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693104},
doi = {10.1109/ASE.2013.6693104},
timestamp = {Tue, 30 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/SayyadIMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ScannielloGMM13,
author = {Giuseppe Scanniello and
Carmine Gravino and
Andrian Marcus and
Tim Menzies},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Class level fault prediction using software clustering},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {640--645},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693126},
doi = {10.1109/ASE.2013.6693126},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ScannielloGMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SchaeferDS13,
author = {Christopher Schaefer and
Hyunsook Do and
Brian M. Slator},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Crushinator: {A} framework towards game-independent testing},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {726--729},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693143},
doi = {10.1109/ASE.2013.6693143},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/SchaeferDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Servant13,
author = {Francisco Servant},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Supporting bug investigation using history analysis},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {754--757},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693150},
doi = {10.1109/ASE.2013.6693150},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Servant13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SimburgerAGL13,
author = {Andreas Simburger and
Sven Apel and
Armin Gr{\"{o}}{\ss}linger and
Christian Lengauer},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {The potential of polyhedral optimization: An empirical study},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {508--518},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693108},
doi = {10.1109/ASE.2013.6693108},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/SimburgerAGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SouzaC13,
author = {Higor Amario de Souza and
Marcos Lordello Chaim},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Adding context to fault localization with integration coverage},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {628--633},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693124},
doi = {10.1109/ASE.2013.6693124},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/SouzaC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SumnerZ13,
author = {William N. Sumner and
Xiangyu Zhang},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Identifying execution points for dynamic analyses},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {81--91},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693069},
doi = {10.1109/ASE.2013.6693069},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SumnerZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TasharofiPLJ13,
author = {Samira Tasharofi and
Michael Pradel and
Yu Lin and
Ralph E. Johnson},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Bita: Coverage-guided, automatic testing of actor programs},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {114--124},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693072},
doi = {10.1109/ASE.2013.6693072},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/TasharofiPLJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ThungWLL13,
author = {Ferdian Thung and
Shaowei Wang and
David Lo and
Julia Lawall},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automatic recommendation of {API} methods from feature requests},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {290--300},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693088},
doi = {10.1109/ASE.2013.6693088},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ThungWLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TillmannHXB13,
author = {Nikolai Tillmann and
Jonathan de Halleux and
Tao Xie and
Judith Bishop},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Pex4Fun: {A} web-based environment for educational gaming via automated
test generation},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {730--733},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693144},
doi = {10.1109/ASE.2013.6693144},
timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/TillmannHXB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VanciuA13,
author = {Radu Vanciu and
Marwan Abi{-}Antoun},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Finding architectural flaws using constraints},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {334--344},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693092},
doi = {10.1109/ASE.2013.6693092},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/VanciuA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VeerappaH13,
author = {Varsha Veerappa and
Rachel Harrison},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Assessing the maturity of requirements through argumentation: {A}
good enough approach},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {670--675},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693131},
doi = {10.1109/ASE.2013.6693131},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/VeerappaH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WeimerFF13,
author = {Westley Weimer and
Zachary P. Fry and
Stephanie Forrest},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Leveraging program equivalence for adaptive program repair: Models
and first results},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {356--366},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693094},
doi = {10.1109/ASE.2013.6693094},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WeimerFF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WongYT13,
author = {Edmund Wong and
Jinqiu Yang and
Lin Tan},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {AutoComment: Mining question and answer sites for automatic comment
generation},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {562--567},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693113},
doi = {10.1109/ASE.2013.6693113},
timestamp = {Sun, 23 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/WongYT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Wu0LD13,
author = {Yongzheng Wu and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automatically partition software into least privilege components using
dynamic data dependency analysis},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {323--333},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693091},
doi = {10.1109/ASE.2013.6693091},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Wu0LD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WuestSG13,
author = {Dustin W{\"{u}}est and
Norbert Seyff and
Martin Glinz},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Semi-automatic generation of metamodels from model sketches},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {664--669},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693130},
doi = {10.1109/ASE.2013.6693130},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/WuestSG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Xiao0LLS13,
author = {Hao Xiao and
Jun Sun and
Yang Liu and
Shang{-}Wei Lin and
Chengnian Sun},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {TzuYu: Learning stateful typestates},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {432--442},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693101},
doi = {10.1109/ASE.2013.6693101},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Xiao0LLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XiaoLXT13,
author = {Xusheng Xiao and
Sihan Li and
Tao Xie and
Nikolai Tillmann},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Characteristic studies of loop problems for structural test generation
via symbolic execution},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {246--256},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693084},
doi = {10.1109/ASE.2013.6693084},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/XiaoLXT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XuHRW13,
author = {Zhihong Xu and
Martin Hirzel and
Gregg Rothermel and
Kun{-}Lung Wu},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Testing properties of dataflow program operators},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {103--113},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693071},
doi = {10.1109/ASE.2013.6693071},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/XuHRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XuYMCL13,
author = {Chang Xu and
Wenhua Yang and
Xiaoxing Ma and
Chun Cao and
Jian Lu},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Environment rematching: Toward dependability improvement for self-adaptive
applications},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {592--597},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693118},
doi = {10.1109/ASE.2013.6693118},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/XuYMCL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Zhang0SLMD13,
author = {Shao Jie Zhang and
Jun Sun and
Chengnian Sun and
Yang Liu and
Junwei Ma and
Jin Song Dong},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Constraint-based automatic symmetry detection},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {15--25},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693062},
doi = {10.1109/ASE.2013.6693062},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Zhang0SLMD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangCW13,
author = {Lu Zhang and
Arijit Chattopadhyay and
Chao Wang},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Round-up: Runtime checking quasi linearizability of concurrent data
structures},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {4--14},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693061},
doi = {10.1109/ASE.2013.6693061},
timestamp = {Wed, 01 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ZhangCW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangGMK13,
author = {Lingming Zhang and
Milos Gligoric and
Darko Marinov and
Sarfraz Khurshid},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Operator-based and random mutant selection: Better together},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {92--102},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693070},
doi = {10.1109/ASE.2013.6693070},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ZhangGMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangPXJWZ13,
author = {Gang Zhang and
Xin Peng and
Zhenchang Xing and
Shihai Jiang and
Hai Wang and
Wenyun Zhao},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Towards contextual and on-demand code clone management by continuous
monitoring},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {497--507},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693107},
doi = {10.1109/ASE.2013.6693107},
timestamp = {Mon, 07 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangPXJWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangS13,
author = {Sai Zhang and
Yuyin Sun},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automatically synthesizing {SQL} queries from input-output examples},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {224--234},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693082},
doi = {10.1109/ASE.2013.6693082},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ZhangS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2013,
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/xpl/conhome/6684409/proceeding},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/2013.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.
retrieved on 2024-09-19 04:38 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:
