Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/kbse/ase2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/kbse/AcherCLF11,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Robert B. France},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Slicing feature models},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {424--427},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100089},
doi = {10.1109/ASE.2011.6100089},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AcherCLF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AcherCLF11a,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Robert B. France},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Decomposing feature models: language, environment, and applications},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {600--603},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100135},
doi = {10.1109/ASE.2011.6100135},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AcherCLF11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AlshahwanH11,
author = {Nadia Alshahwan and
Mark Harman},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Automated web application testing using search based software engineering},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100082},
doi = {10.1109/ASE.2011.6100082},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AlshahwanH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AlvesGJd11,
author = {Elton Alves and
Milos Gligoric and
Vilas Jagannath and
Marcelo d'Amorim},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Fault-localization using dynamic slicing and change impact analysis},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {520--523},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100114},
doi = {10.1109/ASE.2011.6100114},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/AlvesGJd11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AnandH11,
author = {Saswat Anand and
Mary Jean Harrold},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Heap cloning: Enabling dynamic symbolic execution of java programs},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {33--42},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100071},
doi = {10.1109/ASE.2011.6100071},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AnandH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ApelSWRB11,
author = {Sven Apel and
Hendrik Speidel and
Philipp Wendler and
Alexander von Rhein and
Dirk Beyer},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Detection of feature interactions using feature-aware verification},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {372--375},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100075},
doi = {10.1109/ASE.2011.6100075},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ApelSWRB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArcainiGR11,
author = {Paolo Arcaini and
Angelo Gargantini and
Elvinia Riccobene},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Optimizing the automatic test generation by {SAT} and {SMT} solving
for Boolean expressions},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {388--391},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100079},
doi = {10.1109/ASE.2011.6100079},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ArcainiGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BaarsHHLMTV11,
author = {Arthur I. Baars and
Mark Harman and
Youssef Hassoun and
Kiran Lakhotia and
Phil McMinn and
Paolo Tonella and
Tanja E. J. Vos},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Symbolic search-based testing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {53--62},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100119},
doi = {10.1109/ASE.2011.6100119},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BaarsHHLMTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BacchelliCLM11,
author = {Alberto Bacchelli and
Anthony Cleve and
Michele Lanza and
Andrea Mocci},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Extracting structured data from natural language documents with island
parsing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {476--479},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100103},
doi = {10.1109/ASE.2011.6100103},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/BacchelliCLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Bandyopadhyay11,
author = {Aritra Bandyopadhyay},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Improving spectrum-based fault localization using proximity-based
weighting of test cases},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {660--664},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100150},
doi = {10.1109/ASE.2011.6100150},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Bandyopadhyay11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BandyopadhyayG11,
author = {Aritra Bandyopadhyay and
Sudipto Ghosh},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Proximity based weighting of test cases to improve spectrum based
fault localization},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {420--423},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100088},
doi = {10.1109/ASE.2011.6100088},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BandyopadhyayG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BergmannHHRUV11,
author = {G{\'{a}}bor Bergmann and
{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
Zolt{\'{a}}n Ujhelyi and
D{\'{a}}niel Varr{\'{o}}},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Implementing efficient model validation in {EMF} tools},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {580--583},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100130},
doi = {10.1109/ASE.2011.6100130},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BergmannHHRUV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BokorKSS11,
author = {P{\'{e}}ter Bokor and
Johannes Kinder and
Marco Serafini and
Neeraj Suri},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Supporting domain-specific state space reductions through local partial-order
reduction},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100044},
doi = {10.1109/ASE.2011.6100044},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BokorKSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BotincanDDP11,
author = {Matko Botincan and
Mike Dodds and
Alastair F. Donaldson and
Matthew J. Parkinson},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Safe asynchronous multicore memory operations},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100049},
doi = {10.1109/ASE.2011.6100049},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BotincanDDP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BrosigHK11,
author = {Fabian Brosig and
Nikolaus Huber and
Samuel Kounev},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Automated extraction of architecture-level performance models of distributed
component-based systems},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100052},
doi = {10.1109/ASE.2011.6100052},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BrosigHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChakrabortyS11,
author = {Soham Sundar Chakraborty and
Vipul Shah},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Towards an approach and framework for test-execution plan derivation},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {488--491},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100106},
doi = {10.1109/ASE.2011.6100106},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ChakrabortyS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChenG11,
author = {Xiaofan Chen and
John C. Grundy},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Improving automated documentation to code traceability by combining
retrieval techniques},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {223--232},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100057},
doi = {10.1109/ASE.2011.6100057},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ChenG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChenHX11,
author = {Ning Chen and
Steven C. H. Hoi and
Xiaokui Xiao},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Software process evaluation: {A} machine learning approach},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {333--342},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100070},
doi = {10.1109/ASE.2011.6100070},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ChenHX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ClarkCKJH11,
author = {Sarah R. Clark and
Jake Cobb and
Gregory M. Kapfhammer and
James A. Jones and
Mary Jean Harrold},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Localizing {SQL} faults in database applications},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {213--222},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100056},
doi = {10.1109/ASE.2011.6100056},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ClarkCKJH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Dautovic11,
author = {Andreas Dautovic},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Automatic assessment of software documentation quality},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {665--669},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100151},
doi = {10.1109/ASE.2011.6100151},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Dautovic11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DengJ11,
author = {Fang Deng and
James A. Jones},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Inferred dependence coverage to support fault contextualization},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {512--515},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100112},
doi = {10.1109/ASE.2011.6100112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DengJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Dwyer11,
author = {Matthew B. Dwyer},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Unifying testing and analysis through behavioral coverage},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100066},
doi = {10.1109/ASE.2011.6100066},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Dwyer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EdwardsBM11,
author = {George Edwards and
Yuriy Brun and
Nenad Medvidovic},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Isomorphism in model tools and editors},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {460--463},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100099},
doi = {10.1109/ASE.2011.6100099},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/EdwardsBM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Esfahani11,
author = {Naeem Esfahani},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {A framework for managing uncertainty in self-adaptive software systems},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {646--650},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100147},
doi = {10.1109/ASE.2011.6100147},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Esfahani11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FilieriGLM11,
author = {Antonio Filieri and
Carlo Ghezzi and
Alberto Leva and
Martina Maggio},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Self-adaptive software meets control theory: {A} preliminary approach
supporting reliability requirements},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {283--292},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100064},
doi = {10.1109/ASE.2011.6100064},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FilieriGLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Ganai11,
author = {Malay K. Ganai},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Scalable and precise symbolic analysis for atomicity violations},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {123--132},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100045},
doi = {10.1109/ASE.2011.6100045},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Ganai11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GanaiAWGB11,
author = {Malay K. Ganai and
Nipun Arora and
Chao Wang and
Aarti Gupta and
Gogul Balakrishnan},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {{BEST:} {A} symbolic testing tool for predicting multi-threaded program
failures},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {596--599},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100134},
doi = {10.1109/ASE.2011.6100134},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GanaiAWGB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GanovKP11,
author = {Svetoslav R. Ganov and
Sarfraz Khurshid and
Dewayne E. Perry},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {A case for alloy annotations for efficient incremental analysis via
domain specific solvers},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {464--467},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100100},
doi = {10.1109/ASE.2011.6100100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GanovKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GarciaPMMC11,
author = {Joshua Garcia and
Daniel Popescu and
Chris Mattmann and
Nenad Medvidovic and
Yuanfang Cai},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Enhancing architectural recovery using concerns},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {552--555},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100123},
doi = {10.1109/ASE.2011.6100123},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GarciaPMMC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GethersKDP11,
author = {Malcom Gethers and
Huzefa H. Kagdi and
Bogdan Dit and
Denys Poshyvanyk},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {An adaptive approach to impact analysis from change requests to source
code},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {540--543},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100120},
doi = {10.1109/ASE.2011.6100120},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GethersKDP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GhabiE11,
author = {Achraf Ghabi and
Alexander Egyed},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Observations on the connectedness between requirements-to-code traces
and calling relationships for trace validation},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {416--419},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100087},
doi = {10.1109/ASE.2011.6100087},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GhabiE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Gonzalez-SanchezAGG11,
author = {Alberto Gonz{\'{a}}lez{-}Sanchez and
Rui Abreu and
Hans{-}Gerhard Gross and
Arjan J. C. van Gemund},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Prioritizing tests for fault localization through ambiguity group
reduction},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {83--92},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100153},
doi = {10.1109/ASE.2011.6100153},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Gonzalez-SanchezAGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GoreRK11,
author = {Ross Gore and
Paul F. Reynolds Jr. and
David Kamensky},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Statistical debugging with elastic predicates},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {492--495},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100107},
doi = {10.1109/ASE.2011.6100107},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GoreRK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GottipatiLJ11,
author = {Swapna Gottipati and
David Lo and
Jing Jiang},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Finding relevant answers in software forums},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {323--332},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100069},
doi = {10.1109/ASE.2011.6100069},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GottipatiLJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Groce11,
author = {Alex Groce},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Coverage rewarded: Test input generation via adaptation-based programming},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {380--383},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100077},
doi = {10.1109/ASE.2011.6100077},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Groce11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Haiduc11,
author = {Sonia Haiduc},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Automatically detecting the quality of the query and its implications
in IR-based concept location},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {637--640},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100144},
doi = {10.1109/ASE.2011.6100144},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Haiduc11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Halfond11,
author = {William G. J. Halfond},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Domain and value checking of web application invocation arguments},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {544--547},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100121},
doi = {10.1109/ASE.2011.6100121},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Halfond11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Hall11,
author = {Robert J. Hall},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {The Capture Calculus Toolset},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {628--632},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100142},
doi = {10.1109/ASE.2011.6100142},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Hall11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HegedusHRV11,
author = {{\'{A}}bel Heged{\"{u}}s and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {A model-driven framework for guided design space exploration},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {173--182},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100051},
doi = {10.1109/ASE.2011.6100051},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HegedusHRV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HidakaHIKN11,
author = {Soichiro Hidaka and
Zhenjiang Hu and
Kazuhiro Inaba and
Hiroyuki Kato and
Keisuke Nakano},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {GRoundTram: An integrated framework for developing well-behaved bidirectional
model transformations},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {480--483},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100104},
doi = {10.1109/ASE.2011.6100104},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HidakaHIKN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HillPV11,
author = {Emily Hill and
Lori L. Pollock and
K. Vijay{-}Shanker},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Improving source code search with natural language phrasal representations
of method signatures},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {524--527},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100115},
doi = {10.1109/ASE.2011.6100115},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HillPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HuangNPGBT11,
author = {LiGuo Huang and
Vincent Ng and
Isaac Persing and
Ruili Geng and
Xu Bai and
Jeff Tian},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {AutoODC: Automated generation of Orthogonal Defect Classifications},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {412--415},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100086},
doi = {10.1109/ASE.2011.6100086},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HuangNPGBT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/InsaS11,
author = {David Insa and
Josep Silva},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {An optimal strategy for algorithmic debugging},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {203--212},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100055},
doi = {10.1109/ASE.2011.6100055},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/InsaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/IvancicBGSMTIM11,
author = {Franjo Ivancic and
Gogul Balakrishnan and
Aarti Gupta and
Sriram Sankaranarayanan and
Naoto Maeda and
Hiroki Tokuoka and
Takashi Imoto and
Yoshiaki Miyazaki},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {{DC2:} {A} framework for scalable, scope-bounded software verification},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {133--142},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100046},
doi = {10.1109/ASE.2011.6100046},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/IvancicBGSMTIM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JustSK11,
author = {Ren{\'{e}} Just and
Franz Schweiggert and
Gregory M. Kapfhammer},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {{MAJOR:} An efficient and extensible tool for mutation analysis in
a Java compiler},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {612--615},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100138},
doi = {10.1109/ASE.2011.6100138},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/JustSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KamalrudinG11,
author = {Massila Kamalrudin and
John C. Grundy},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Generating essential user interface prototypes to validate requirements},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {564--567},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100126},
doi = {10.1109/ASE.2011.6100126},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KamalrudinG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KehrerKT11,
author = {Timo Kehrer and
Udo Kelter and
Gabriele Taentzer},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {A rule-based approach to the semantic lifting of model differences
in the context of model versioning},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {163--172},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100050},
doi = {10.1109/ASE.2011.6100050},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KehrerKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KhalekNK11,
author = {Shadi Abdul Khalek and
Vidya Priyadarshini Narayanan and
Sarfraz Khurshid},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Mixed constraints for test input generation - An initial exploration},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {548--551},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100122},
doi = {10.1109/ASE.2011.6100122},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KhalekNK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KhalekYZMK11,
author = {Shadi Abdul Khalek and
Guowei Yang and
Lingming Zhang and
Darko Marinov and
Sarfraz Khurshid},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {TestEra: {A} tool for testing Java programs using alloy specifications},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {608--611},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100137},
doi = {10.1109/ASE.2011.6100137},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KhalekYZMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KimmigMM11,
author = {Markus Kimmig and
Martin Monperrus and
Mira Mezini},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Querying source code with natural language},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {376--379},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100076},
doi = {10.1109/ASE.2011.6100076},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KimmigMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeungwattanakitAHTY11,
author = {Watcharin Leungwattanakit and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Model checking distributed systems by combining caching and process
checkpointing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {103--112},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100043},
doi = {10.1109/ASE.2011.6100043},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LeungwattanakitAHTY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Li11,
author = {Wenbin Li},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Toward consistency checking of natural language temporal requirements},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {651--655},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100148},
doi = {10.1109/ASE.2011.6100148},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Li11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiXBLM11,
author = {Juncao Li and
Fei Xie and
Thomas Ball and
Vladimir Levin and
Con McGarvey},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Formalizing hardware/software interface specifications},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {143--152},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100048},
doi = {10.1109/ASE.2011.6100048},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LiXBLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiuZCXM11,
author = {Changsheng Liu and
Yanzhen Zou and
Sibo Cai and
Bing Xie and
Hong Mei},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Finding the merits and drawbacks of software resources from comments},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {432--435},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100091},
doi = {10.1109/ASE.2011.6100091},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LiuZCXM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LozanoKM11,
author = {Angela Lozano and
Andy Kellens and
Kim Mens},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Mendel: Source code recommendation based on a genetic metaphor},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {384--387},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100078},
doi = {10.1109/ASE.2011.6100078},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LozanoKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LumpeMG11,
author = {Markus Lumpe and
Samiran Mahmud and
Olga Goloshchapova},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {jCT: {A} Java Code Tomograph},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {616--619},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100139},
doi = {10.1109/ASE.2011.6100139},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LumpeMG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LutzJP11,
author = {Robyn R. Lutz and
Jeremy Johnson and
Ann Patterson{-}Hine},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Using model-based assurance to strengthen diagnostic procedures},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {516--519},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100113},
doi = {10.1109/ASE.2011.6100113},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LutzJP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MacleanIG11,
author = {Ewen Maclean and
Andrew Ireland and
Gudmund Grov},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {The {CORE} system: Animation and functional correctness of pointer
programs},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {588--591},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100132},
doi = {10.1109/ASE.2011.6100132},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MacleanIG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MaderE11,
author = {Patrick M{\"{a}}der and
Alexander Egyed},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Do software engineers benefit from source code navigation with traceability?
- An experiment in software change management},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {444--447},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100095},
doi = {10.1109/ASE.2011.6100095},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MaderE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MalburgF11,
author = {Jan Malburg and
Gordon Fraser},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Combining search-based and constraint-based testing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {436--439},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100092},
doi = {10.1109/ASE.2011.6100092},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MalburgF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MarasCC11,
author = {Josip Maras and
Jan Carlson and
Ivica Crnkovic},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Client-side web application slicing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {504--507},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100110},
doi = {10.1109/ASE.2011.6100110},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MarasCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MehlitzTU11,
author = {Peter C. Mehlitz and
Oksana Tkachuk and
Mateusz Ujma},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {{JPF-AWT:} Model checking {GUI} applications},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {584--587},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100131},
doi = {10.1109/ASE.2011.6100131},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MehlitzTU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MenziesBMZC11,
author = {Tim Menzies and
Andrew Butcher and
Andrian Marcus and
Thomas Zimmermann and
David R. Cok},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Local vs. global models for effort estimation and defect prediction},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {343--351},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100072},
doi = {10.1109/ASE.2011.6100072},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MenziesBMZC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NguyenNANN11,
author = {Anh Tuan Nguyen and
Tung Thanh Nguyen and
Jafar M. Al{-}Kofahi and
Hung Viet Nguyen and
Tien N. Nguyen},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {A topic-based approach for narrowing the search space of buggy files
from a bug report},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {263--272},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100062},
doi = {10.1109/ASE.2011.6100062},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/NguyenNANN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NguyenNNN11,
author = {Hung Viet Nguyen and
Hoan Anh Nguyen and
Tung Thanh Nguyen and
Tien N. Nguyen},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Auto-locating and fix-propagating for {HTML} validation errors to
{PHP} server-side code},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100047},
doi = {10.1109/ASE.2011.6100047},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/NguyenNNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NguyenNNN11a,
author = {Hoan Anh Nguyen and
Tung Thanh Nguyen and
Hung Viet Nguyen and
Tien N. Nguyen},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {iDiff: Interaction-based program differencing tool},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {572--575},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100128},
doi = {10.1109/ASE.2011.6100128},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/NguyenNNN11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NguyenSLD11,
author = {Truong Khanh Nguyen and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {A model checking framework for hierarchical systems},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {633--636},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100143},
doi = {10.1109/ASE.2011.6100143},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/NguyenSLD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/OsterSB11,
author = {Zachary J. Oster and
Ganesh Ram Santhanam and
Samik Basu},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Automating analysis of qualitative preferences in goal-oriented requirements
engineering},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {448--451},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100096},
doi = {10.1109/ASE.2011.6100096},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/OsterSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/OverbeyJ11,
author = {Jeffrey L. Overbey and
Ralph E. Johnson},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Differential precondition checking: {A} lightweight, reusable analysis
for refactoring tools},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {303--312},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100067},
doi = {10.1109/ASE.2011.6100067},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/OverbeyJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PanWX11,
author = {Kai Pan and
Xintao Wu and
Tao Xie},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Generating program inputs for database application testing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {73--82},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100152},
doi = {10.1109/ASE.2011.6100152},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PanWX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ParizekL11,
author = {Pavel Par{\'{\i}}zek and
Ondrej Lhot{\'{a}}k},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Identifying future field accesses in exhaustive state space traversal},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100154},
doi = {10.1109/ASE.2011.6100154},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ParizekL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PeiWFNM11,
author = {Yu Pei and
Yi Wei and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Code-based automated program fixing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {392--395},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100080},
doi = {10.1109/ASE.2011.6100080},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PeiWFNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PietschYK11,
author = {Pit Pietsch and
Hamed Shariat Yazdi and
Udo Kelter},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Generating realistic test models for model processing tools},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {620--623},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100140},
doi = {10.1109/ASE.2011.6100140},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PietschYK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PohlLP11,
author = {Richard Pohl and
Kim Lauenroth and
Klaus Pohl},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {A performance comparison of contemporary algorithmic approaches for
automated analysis operations on feature models},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {313--322},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100068},
doi = {10.1109/ASE.2011.6100068},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PohlLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PosnettFD11,
author = {Daryl Posnett and
Vladimir Filkov and
Premkumar T. Devanbu},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Ecological inference in empirical software engineering},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {362--371},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100074},
doi = {10.1109/ASE.2011.6100074},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PosnettFD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RabkinK11,
author = {Ariel Rabkin and
Randy H. Katz},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Precomputing possible configuration error diagnoses},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {193--202},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100053},
doi = {10.1109/ASE.2011.6100053},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RabkinK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RamirezJCK11,
author = {Andres J. Ramirez and
Adam C. Jensen and
Betty H. C. Cheng and
David B. Knoester},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Automatically exploring how uncertainty impacts behavior of dynamically
adaptive systems},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {568--571},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100127},
doi = {10.1109/ASE.2011.6100127},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RamirezJCK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RasoolM11,
author = {Ghulam Rasool and
Patrick M{\"{a}}der},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Flexible design pattern detection based on feature types},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {243--252},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100060},
doi = {10.1109/ASE.2011.6100060},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RasoolM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RathfelderKE11,
author = {Christoph Rathfelder and
Samuel Kounev and
David Evans},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Capacity planning for event-based systems using automated performance
predictions},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {352--361},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100073},
doi = {10.1109/ASE.2011.6100073},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RathfelderKE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RobinsonEPAL11,
author = {Brian Robinson and
Michael D. Ernst and
Jeff H. Perkins and
Vinay Augustine and
Nuo Li},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Scaling up automated test generation: Automatically generating maintainable
regression unit tests for programs},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {23--32},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100059},
doi = {10.1109/ASE.2011.6100059},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RobinsonEPAL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RobinsonNS11,
author = {Mark Robinson and
Jianwei Niu and
Macneil Shonle},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {GitBAC: Flexible access control for non-modular concerns},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {500--503},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100109},
doi = {10.1109/ASE.2011.6100109},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RobinsonNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SagdeoAKV11,
author = {Parth Sagdeo and
Viraj Athavale and
Sumant Kowshik and
Shobha Vasudevan},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {{PRECIS:} Inferring invariants using program path guided clustering},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {532--535},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100117},
doi = {10.1109/ASE.2011.6100117},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SagdeoAKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ServantJ11,
author = {Francisco Servant and
James A. Jones},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {History slicing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {452--455},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100097},
doi = {10.1109/ASE.2011.6100097},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ServantJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SilvaBB11,
author = {Marcos Aur{\'{e}}lio Almeida da Silva and
Xavier Blanc and
Reda Bendraou},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Deviation management during process execution},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {528--531},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100116},
doi = {10.1109/ASE.2011.6100116},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SilvaBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SoltaniAHGB11,
author = {Samaneh Soltani and
Mohsen Asadi and
Marek Hatala and
Dragan Gasevic and
Ebrahim Bagheri},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Automated planning for feature model configuration based on stakeholders'
business concerns},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {536--539},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100118},
doi = {10.1109/ASE.2011.6100118},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SoltaniAHGB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/StehleLSRM11,
author = {Edward Stehle and
Kevin Lynch and
Maxim Shevertalov and
Chris Rorres and
Spiros Mancoridis},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Diagnosis of software failures using computational geometry},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {496--499},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100108},
doi = {10.1109/ASE.2011.6100108},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/StehleLSRM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SunL11,
author = {Xiaobing Sun and
Bixin Li},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Using Formal Concept Analysis to support change analysis},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {641--645},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100146},
doi = {10.1109/ASE.2011.6100146},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SunL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SunLKJ11,
author = {Chengnian Sun and
David Lo and
Siau{-}Cheng Khoo and
Jing Jiang},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Towards more accurate retrieval of duplicate bug reports},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {253--262},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100061},
doi = {10.1109/ASE.2011.6100061},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SunLKJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SurapaneniNMW11,
author = {Swetha Surapaneni and
Venkata Krishna Suhas Nerella and
Sanjay Kumar Madria and
Thomas Weigert},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Exploring caching for efficient collection operations},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {468--471},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100101},
doi = {10.1109/ASE.2011.6100101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SurapaneniNMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TellB11,
author = {Paolo Tell and
Muhammad Ali Babar},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Supporting activity based computing paradigm in global software development},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {508--511},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100111},
doi = {10.1109/ASE.2011.6100111},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/TellB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/UddinDR11,
author = {Gias Uddin and
Barth{\'{e}}l{\'{e}}my Dagenais and
Martin P. Robillard},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Analyzing temporal {API} usage patterns},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {456--459},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100098},
doi = {10.1109/ASE.2011.6100098},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/UddinDR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/UjhelyiHV11,
author = {Zolt{\'{a}}n Ujhelyi and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Towards dynamic backward slicing of model transformations},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {404--407},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100084},
doi = {10.1109/ASE.2011.6100084},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/UjhelyiHV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Vakili11,
author = {Amirhossein Vakili},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Analyzing temporal properties of abstract models},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {656--659},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100149},
doi = {10.1109/ASE.2011.6100149},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Vakili11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VakiliD11,
author = {Amirhossein Vakili and
Nancy A. Day},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Using model checking to analyze static properties of declarative models},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {428--431},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100090},
doi = {10.1109/ASE.2011.6100090},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/VakiliD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangFWLXY11,
author = {Lijie Wang and
Lu Fang and
Leye Wang and
Ge Li and
Bing Xie and
Fuqing Yang},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {APIExample: An effective web search based usage example recommendation
system for java APIs},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {592--595},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100133},
doi = {10.1109/ASE.2011.6100133},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WangFWLXY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangLJLL11,
author = {Shaowei Wang and
David Lo and
Lingxiao Jiang and
Lucia and
Hoong Chuin Lau},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Search-based fault localization},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {556--559},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100124},
doi = {10.1109/ASE.2011.6100124},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WangLJLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WeiRFPHSNM11,
author = {Yi Wei and
Hannes Roth and
Carlo A. Furia and
Yu Pei and
Alexander Horton and
Michael Steindorfer and
Martin Nordio and
Bertrand Meyer},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Stateful testing: Finding more errors in code and contracts},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {440--443},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100094},
doi = {10.1109/ASE.2011.6100094},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WeiRFPHSNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WelshSB11,
author = {Kristopher Welsh and
Pete Sawyer and
Nelly Bencomo},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Towards requirements aware systems: Run-time resolution of design-time
assumptions},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {560--563},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100125},
doi = {10.1109/ASE.2011.6100125},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WelshSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WesongaMR11,
author = {Saint Wesonga and
Eric G. Mercer and
Neha Rungta},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Guided test visualization: Making sense of errors in concurrent programs},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {624--627},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100141},
doi = {10.1109/ASE.2011.6100141},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WesongaMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WinbladhR11,
author = {Kristina Winbladh and
Anand Ranganathan},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Evaluating test selection strategies for end-user specified flow-based
applications},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {400--403},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100083},
doi = {10.1109/ASE.2011.6100083},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WinbladhR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Witten11,
author = {Ian H. Witten},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Wikipedia and how to use it for semantic document representation},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100054},
doi = {10.1109/ASE.2011.6100054},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Witten11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WongC11,
author = {Sunny Wong and
Yuanfang Cai},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Generalizing evolutionary coupling with stochastic dependencies},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {293--302},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100065},
doi = {10.1109/ASE.2011.6100065},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WongC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WuLWXM11,
author = {Qian Wu and
Guangtai Liang and
Qianxiang Wang and
Tao Xie and
Hong Mei},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Iterative mining of resource-releasing specifications},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {233--242},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100058},
doi = {10.1109/ASE.2011.6100058},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/WuLWXM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XingXJ11,
author = {Zhenchang Xing and
Yinxing Xue and
Stan Jarzabek},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {CloneDifferentiator: Analyzing clones by differentiation},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {576--579},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100129},
doi = {10.1109/ASE.2011.6100129},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/XingXJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/YuTN11,
author = {Yijun Yu and
Thein Than Tun and
Bashar Nuseibeh},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Specifying and detecting meaningful changes in programs},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {273--282},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100063},
doi = {10.1109/ASE.2011.6100063},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/YuTN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangED11,
author = {Pingyu Zhang and
Sebastian G. Elbaum and
Matthew B. Dwyer},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Automatic generation of load tests},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {43--52},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100093},
doi = {10.1109/ASE.2011.6100093},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangED11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangMPL11,
author = {Pengcheng Zhang and
Henry Muccini and
Andrea Polini and
Xuandong Li},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Run-time systems failure prediction via proactive monitoring},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {484--487},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100105},
doi = {10.1109/ASE.2011.6100105},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangMPL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangZE11,
author = {Sai Zhang and
Cheng Zhang and
Michael D. Ernst},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Automated documentation inference to explain failed tests},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {63--72},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100145},
doi = {10.1109/ASE.2011.6100145},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangZE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhengMLXK11,
author = {Wujie Zheng and
Hao Ma and
Michael R. Lyu and
Tao Xie and
Irwin King},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Mining test oracles of web search engines},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {408--411},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100085},
doi = {10.1109/ASE.2011.6100085},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ZhengMLXK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhengT11,
author = {Yongjie Zheng and
Richard N. Taylor},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Taming changes With 1.x-Way architecture-implementation mapping},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {396--399},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100081},
doi = {10.1109/ASE.2011.6100081},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhengT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZiftciK11,
author = {Celal Ziftci and
Ingolf Krueger},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Tracing requirements to tests with high precision and recall},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {472--475},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100102},
doi = {10.1109/ASE.2011.6100102},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZiftciK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZurowskaD11,
author = {Karolina Zurowska and
J{\"{u}}rgen Dingel},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {{SAUML:} {A} tool for symbolic analysis of {UML-RT} models},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {604--607},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100136},
doi = {10.1109/ASE.2011.6100136},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZurowskaD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2011,
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/6093623/proceeding},
isbn = {978-1-4577-1638-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-29 00:00 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:
