Search dblp for Publications

export results for "toc:db/conf/kbse/ase2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/kbse/Abi-AntounB10,
  author       = {Marwan Abi{-}Antoun and
                  Jeffrey M. Barnes},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Analyzing security architectures},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {3--12},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859001},
  doi          = {10.1145/1858996.1859001},
  timestamp    = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Abi-AntounB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AliHGH10,
  author       = {Norhayati Mohd. Ali and
                  John G. Hosking and
                  John C. Grundy and
                  Jun Huh},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {End-user oriented critic specification for domain-specific visual
                  language tools},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {297--300},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859055},
  doi          = {10.1145/1858996.1859055},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/AliHGH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AlmeidaMSV10,
  author       = {Eduardo Cunha de Almeida and
                  Jo{\~{a}}o Eugenio Marynowski and
                  Gerson Suny{\'{e}} and
                  Patrick Valduriez},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {PeerUnit: a framework for testing peer-to-peer systems},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {169--170},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859030},
  doi          = {10.1145/1858996.1859030},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/AlmeidaMSV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AroonvatanapornSB10,
  author       = {Pongtip Aroonvatanaporn and
                  Chatchai Sinthop and
                  Barry W. Boehm},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Reducing estimation uncertainty with continuous assessment: tracking
                  the "cone of uncertainty"},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {337--340},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859065},
  doi          = {10.1145/1858996.1859065},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/AroonvatanapornSB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BagheriSS10,
  author       = {Hamid Bagheri and
                  Yuanyuan Song and
                  Kevin J. Sullivan},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Architectural style as an independent variable},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {159--162},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859026},
  doi          = {10.1145/1858996.1859026},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BagheriSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Balint10,
  author       = {Mihai Balint},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Automatic inference of abstract type behavior},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {499--504},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859097},
  doi          = {10.1145/1858996.1859097},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Balint10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BalzSG10,
  author       = {Moritz Balz and
                  Michael Striewe and
                  Michael Goedicke},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Tool support for continuous maintenance of state machine models in
                  program code},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {175--176},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859033},
  doi          = {10.1145/1858996.1859033},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/BalzSG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BavotaLMO10,
  author       = {Gabriele Bavota and
                  Andrea De Lucia and
                  Andrian Marcus and
                  Rocco Oliveto},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {A two-step technique for extract class refactoring},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {151--154},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859024},
  doi          = {10.1145/1858996.1859024},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/BavotaLMO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BeckerG10,
  author       = {Michael Becker and
                  Volker Gruhn},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Automated model grouping},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {493--498},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859096},
  doi          = {10.1145/1858996.1859096},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BeckerG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BergerSLWC10,
  author       = {Thorsten Berger and
                  Steven She and
                  Rafael Lotufo and
                  Andrzej Wasowski and
                  Krzysztof Czarnecki},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Variability modeling in the real: a perspective from the operating
                  systems domain},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859010},
  doi          = {10.1145/1858996.1859010},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BergerSLWC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BiegelD10,
  author       = {Benjamin Biegel and
                  Stephan Diehl},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {{JCCD:} a flexible and extensible {API} for implementing custom code
                  clone detectors},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {167--168},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859029},
  doi          = {10.1145/1858996.1859029},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BiegelD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BorgesGL10,
  author       = {Rafael V. Borges and
                  Artur S. d'Avila Garcez and
                  Lu{\'{\i}}s C. Lamb},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Integrating model verification and self-adaptation},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {317--320},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859060},
  doi          = {10.1145/1858996.1859060},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BorgesGL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Bosch10,
  author       = {Jan Bosch},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Keynote address: toward compositional software engineering},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1858997},
  doi          = {10.1145/1858996.1858997},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Bosch10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BoucherCHBD10,
  author       = {Quentin Boucher and
                  Andreas Classen and
                  Patrick Heymans and
                  Arnaud Bourdoux and
                  Laurent Demonceau},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Tag and prune: a pragmatic approach to software product line implementation},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {333--336},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859064},
  doi          = {10.1145/1858996.1859064},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BoucherCHBD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BruneliereCJM10,
  author       = {Hugo Bruneliere and
                  Jordi Cabot and
                  Fr{\'{e}}d{\'{e}}ric Jouault and
                  Fr{\'{e}}d{\'{e}}ric Madiot},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {MoDisco: a generic and extensible framework for model driven reverse
                  engineering},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {173--174},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859032},
  doi          = {10.1145/1858996.1859032},
  timestamp    = {Sun, 20 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BruneliereCJM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BuseW10,
  author       = {Raymond P. L. Buse and
                  Westley Weimer},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Automatically documenting program changes},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {33--42},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859005},
  doi          = {10.1145/1858996.1859005},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BuseW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Chen10,
  author       = {Xiaofan Chen},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Extraction and visualization of traceability relationships between
                  documents and source code},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {505--510},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859098},
  doi          = {10.1145/1858996.1859098},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Chen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CoorayMRK10,
  author       = {Deshan Cooray and
                  Sam Malek and
                  Roshanak Roshandel and
                  David Kilgore},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {RESISTing reliability degradation through proactive reconfiguration},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {83--92},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859011},
  doi          = {10.1145/1858996.1859011},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/CoorayMRK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DuleySK10,
  author       = {Adam Duley and
                  Chris Spandikow and
                  Miryung Kim},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {A program differencing algorithm for verilog {HDL}},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {477--486},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859093},
  doi          = {10.1145/1858996.1859093},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/DuleySK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FattoriPMM10,
  author       = {Aristide Fattori and
                  Roberto Paleari and
                  Lorenzo Martignoni and
                  Mattia Monga},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Dynamic and transparent analysis of commodity production systems},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {417--426},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859085},
  doi          = {10.1145/1858996.1859085},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/FattoriPMM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GabrysiakGS10,
  author       = {Gregor Gabrysiak and
                  Holger Giese and
                  Andreas Seibel},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Deriving behavior of multi-user processes from interactive requirements
                  validation},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {355--356},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859073},
  doi          = {10.1145/1858996.1859073},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/GabrysiakGS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GermanMI10,
  author       = {Daniel M. Germ{\'{a}}n and
                  Yuki Manabe and
                  Katsuro Inoue},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {A sentence-matching method for automatic license identification of
                  source code files},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {437--446},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859088},
  doi          = {10.1145/1858996.1859088},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/GermanMI10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GibiecCC10,
  author       = {Marek Gibiec and
                  Adam Czauderna and
                  Jane Cleland{-}Huang},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Towards mining replacement queries for hard-to-retrieve traces},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {245--254},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859046},
  doi          = {10.1145/1858996.1859046},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/GibiecCC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Green10,
  author       = {Cordell Green},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Keynote address: the actual implementation will be derived from the
                  formal specification -- KBSA, 1983},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {183--184},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1858998},
  doi          = {10.1145/1858996.1858998},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Green10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HahnleBBR10,
  author       = {Reiner H{\"{a}}hnle and
                  Marcus Baum and
                  Richard Bubel and
                  Marcel Rothe},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {A visual interactive debugger based on symbolic execution},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {143--146},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859022},
  doi          = {10.1145/1858996.1859022},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/HahnleBBR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HalleEBB10,
  author       = {Sylvain Hall{\'{e}} and
                  Taylor Ettema and
                  Chris Bunch and
                  Tevfik Bultan},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Eliminating navigation errors in web applications via model checking
                  and runtime enforcement of navigation state machines},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {235--244},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859044},
  doi          = {10.1145/1858996.1859044},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/HalleEBB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HarelMSB10,
  author       = {David Harel and
                  Shahar Maoz and
                  Smadar Szekely and
                  Daniel Barkan},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {PlayGo: towards a comprehensive tool for scenario based programming},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {359--360},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859075},
  doi          = {10.1145/1858996.1859075},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/HarelMSB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HeJBGW10,
  author       = {Ru He and
                  Paul Jennings and
                  Samik Basu and
                  Arka P. Ghosh and
                  Huaiqing Wu},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {A bounded statistical approach for model checking of unbounded until
                  properties},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {225--234},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859043},
  doi          = {10.1145/1858996.1859043},
  timestamp    = {Wed, 27 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HeJBGW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HilliardMMP10,
  author       = {Rich Hilliard and
                  Ivano Malavolta and
                  Henry Muccini and
                  Patrizio Pelliccione},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Realizing architecture frameworks through megamodelling techniques},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {305--308},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859057},
  doi          = {10.1145/1858996.1859057},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HilliardMMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HineSV10,
  author       = {Cameron M. Hine and
                  Jean{-}Guy Schneider and
                  Steven Versteeg},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Reac2o: a runtime for enterprise system models},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {177--178},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859034},
  doi          = {10.1145/1858996.1859034},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HineSV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HirschHG10,
  author       = {Christian Hirsch and
                  John G. Hosking and
                  John C. Grundy},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {VikiBuilder: end-user specification and generation of visual wikis},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {13--22},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859002},
  doi          = {10.1145/1858996.1859002},
  timestamp    = {Thu, 28 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HirschHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Holotescu10,
  author       = {Casandra Holotescu},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Error-avoiding adaptors for black-box software components},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {487--492},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859095},
  doi          = {10.1145/1858996.1859095},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Holotescu10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HolzerTVS10,
  author       = {Andreas Holzer and
                  Christian Schallhart and
                  Michael Tautschnig and
                  Helmut Veith},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {How did you specify your test suite},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {407--416},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859084},
  doi          = {10.1145/1858996.1859084},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HolzerTVS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HooimeijerW10,
  author       = {Pieter Hooimeijer and
                  Westley Weimer},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Solving string constraints lazily},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {377--386},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859080},
  doi          = {10.1145/1858996.1859080},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HooimeijerW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HuangPWXM10,
  author       = {LiGuo Huang and
                  Daniel Port and
                  Liang Wang and
                  Tao Xie and
                  Tim Menzies},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Text mining in supporting software systems risk assurance},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {163--166},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859027},
  doi          = {10.1145/1858996.1859027},
  timestamp    = {Fri, 05 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HuangPWXM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/IvanovOSV10,
  author       = {Dinko Ivanov and
                  Marin Orlic and
                  Cristina Cerschi Seceleanu and
                  Aneta Vulgarakis},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {{REMES} tool-chain: a set of integrated tools for behavioral modeling
                  and analysis of embedded systems},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {361--362},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859076},
  doi          = {10.1145/1858996.1859076},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/IvanovOSV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KamalrudinGH10,
  author       = {Massila Kamalrudin and
                  John C. Grundy and
                  John G. Hosking},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Tool support for essential use cases to better capture software requirements},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {255--264},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859047},
  doi          = {10.1145/1858996.1859047},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/KamalrudinGH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KessentiniVS10,
  author       = {Marouane Kessentini and
                  St{\'{e}}phane Vaucher and
                  Houari A. Sahraoui},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Deviance from perfection is a better criterion than closeness to evil
                  when identifying risky code},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {113--122},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859015},
  doi          = {10.1145/1858996.1859015},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KessentiniVS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KhalekK10,
  author       = {Shadi Abdul Khalek and
                  Sarfraz Khurshid},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Automated {SQL} query generation for systematic testing of database
                  engines},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {329--332},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859063},
  doi          = {10.1145/1858996.1859063},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KhalekK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KhatchadourianM10,
  author       = {Raffi Khatchadourian and
                  Benjamin Muskalla},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Enumeration refactoring: a tool for automatically converting Java
                  constants to enumerated types},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {181--182},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859036},
  doi          = {10.1145/1858996.1859036},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KhatchadourianM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KimBK10,
  author       = {Chang Hwan Peter Kim and
                  Don S. Batory and
                  Sarfraz Khurshid},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Eliminating products to test in a software product line},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {139--142},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859021},
  doi          = {10.1145/1858996.1859021},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KimBK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KimKP10,
  author       = {Suntae Kim and
                  Dae{-}Kyoo Kim and
                  Sooyong Park},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Tool support for quality-driven development of software architectures},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {127--130},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859018},
  doi          = {10.1145/1858996.1859018},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KimKP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KimYS10,
  author       = {KyungHee Kim and
                  Tuba Yavuz{-}Kahveci and
                  Beverly A. Sanders},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {{JRF-E:} using model checking to give advice on eliminating memory
                  model-related bugs},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {215--224},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859042},
  doi          = {10.1145/1858996.1859042},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KimYS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KocaguneliGMYK10,
  author       = {Ekrem Kocaguneli and
                  Gregory Gay and
                  Tim Menzies and
                  Ye Yang and
                  Jacky W. Keung},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {When to use data from other projects for effort estimation},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {321--324},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859061},
  doi          = {10.1145/1858996.1859061},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KocaguneliGMYK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Lamsweerde10,
  author       = {Axel van Lamsweerde},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Keynote address: model engineering for model-driven engineering},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {365--366},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1858999},
  doi          = {10.1145/1858996.1858999},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Lamsweerde10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LawallL10,
  author       = {Julia Lawall and
                  David Lo},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {An automated approach for finding variable-constant pairing bugs},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {103--112},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859014},
  doi          = {10.1145/1858996.1859014},
  timestamp    = {Mon, 17 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LawallL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Letarte10,
  author       = {Dominic Letarte},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Model checking graph representation of precise boolean inter-procedural
                  flow analysis},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {511--516},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859099},
  doi          = {10.1145/1858996.1859099},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Letarte10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiHG10,
  author       = {Wanchun Li and
                  Mary Jean Harrold and
                  Carsten G{\"{o}}rg},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Detecting user-visible failures in {AJAX} web applications by analyzing
                  users' interaction behaviors},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {155--158},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859025},
  doi          = {10.1145/1858996.1859025},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/LiHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiangWWWXM10,
  author       = {Guangtai Liang and
                  Ling Wu and
                  Qian Wu and
                  Qianxiang Wang and
                  Tao Xie and
                  Hong Mei},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Automatic construction of an effective training set for prioritizing
                  static analysis warnings},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {93--102},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859013},
  doi          = {10.1145/1858996.1859013},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/LiangWWWXM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiuZHJM10,
  author       = {Xuanzhe Liu and
                  Qi Zhao and
                  Gang Huang and
                  Zhi Jin and
                  Hong Mei},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {iMashup: assisting end-user programming for the service-oriented web},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {285--288},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859052},
  doi          = {10.1145/1858996.1859052},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/LiuZHJM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LoM10,
  author       = {David Lo and
                  Shahar Maoz},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Scenario-based and value-based specification mining: better together},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {387--396},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859081},
  doi          = {10.1145/1858996.1859081},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/LoM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LunguRL10,
  author       = {Mircea Lungu and
                  Romain Robbes and
                  Michele Lanza},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Recovering inter-project dependencies in software ecosystems},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {309--312},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859058},
  doi          = {10.1145/1858996.1859058},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LunguRL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ManganoBDNH10,
  author       = {Nicolas Mangano and
                  Alex Baker and
                  Mitch Dempsey and
                  Emily Oh Navarro and
                  Andr{\'{e}} van der Hoek},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Software design sketching with calico},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {23--32},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859003},
  doi          = {10.1145/1858996.1859003},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/ManganoBDNH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ManiSDS10,
  author       = {Senthil Mani and
                  Vibha Singhal Sinha and
                  Pankaj Dhoolia and
                  Saurabh Sinha},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Automated support for repairing input-model faults},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {195--204},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859039},
  doi          = {10.1145/1858996.1859039},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/ManiSDS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MelissonMRRS10,
  author       = {R{\'{e}}mi M{\'{e}}lisson and
                  Philippe Merle and
                  Daniel Romero and
                  Romain Rouvoy and
                  Lionel Seinturier},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Reconfigurable run-time support for distributed service component
                  architectures},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {171--172},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859031},
  doi          = {10.1145/1858996.1859031},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/MelissonMRRS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MontrieuxJHYST10,
  author       = {Lionel Montrieux and
                  Jan J{\"{u}}rjens and
                  Charles B. Haley and
                  Yijun Yu and
                  Pierre{-}Yves Schobbens and
                  Hubert Toussaint},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Tool support for code generation from a UMLsec property},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {357--358},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859074},
  doi          = {10.1145/1858996.1859074},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/MontrieuxJHYST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MorinMFTBJ10,
  author       = {Brice Morin and
                  Tejeddine Mouelhi and
                  Franck Fleurey and
                  Yves Le Traon and
                  Olivier Barais and
                  Jean{-}Marc J{\'{e}}z{\'{e}}quel},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Security-driven model-based dynamic adaptation},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {205--214},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859040},
  doi          = {10.1145/1858996.1859040},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/MorinMFTBJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NgocO10,
  author       = {Do Thi Bich Ngoc and
                  Mizuhito Ogawa},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Checking roundoff errors using counterexample-guided narrowing},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {301--304},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859056},
  doi          = {10.1145/1858996.1859056},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/NgocO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NohrerE10,
  author       = {Alexander N{\"{o}}hrer and
                  Alexander Egyed},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {{C2O:} a tool for guided decision-making},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {363--364},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859077},
  doi          = {10.1145/1858996.1859077},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/NohrerE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PasareanuR10,
  author       = {Corina S. Pasareanu and
                  Neha Rungta},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Symbolic PathFinder: symbolic execution of Java bytecode},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {179--180},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859035},
  doi          = {10.1145/1858996.1859035},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/PasareanuR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Paulheim10,
  author       = {Heiko Paulheim},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Seamlessly integrated, but loosely coupled: building user interfaces
                  from heterogeneous components},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {123--126},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859017},
  doi          = {10.1145/1858996.1859017},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/Paulheim10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PhamNNN10,
  author       = {Nam H. Pham and
                  Tung Thanh Nguyen and
                  Hoan Anh Nguyen and
                  Tien N. Nguyen},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Detection of recurring software vulnerabilities},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {447--456},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859089},
  doi          = {10.1145/1858996.1859089},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/PhamNNN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/QiRL10,
  author       = {Dawei Qi and
                  Abhik Roychoudhury and
                  Zhenkai Liang},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Test generation to expose changes in evolving programs},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {397--406},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859083},
  doi          = {10.1145/1858996.1859083},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/QiRL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RajeevSSR10,
  author       = {A. C. Rajeev and
                  Prahladavaradan Sampath and
                  K. C. Shashidhar and
                  S. Ramesh},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {CoGenTe: a tool for code generator testing},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {349--350},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859070},
  doi          = {10.1145/1858996.1859070},
  timestamp    = {Mon, 03 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/RajeevSSR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RamonCM10,
  author       = {{\'{O}}scar S{\'{a}}nchez Ram{\'{o}}n and
                  Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
                  Jes{\'{u}}s Garc{\'{\i}}a Molina},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Model-driven reverse engineering of legacy graphical user interfaces},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {147--150},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859023},
  doi          = {10.1145/1858996.1859023},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/RamonCM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RatanotayanonCS10,
  author       = {Sukanya Ratanotayanon and
                  Hye Jung Choi and
                  Susan Elliott Sim},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Using transitive changesets to support feature location},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {341--344},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859066},
  doi          = {10.1145/1858996.1859066},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/RatanotayanonCS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RederE10,
  author       = {Alexander Reder and
                  Alexander Egyed},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Model/analyzer: a tool for detecting, visualizing and fixing design
                  errors in {UML}},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {347--348},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859069},
  doi          = {10.1145/1858996.1859069},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/RederE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SchulteFW10,
  author       = {Eric M. Schulte and
                  Stephanie Forrest and
                  Westley Weimer},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Automated program repair through the evolution of assembly code},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {313--316},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859059},
  doi          = {10.1145/1858996.1859059},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/SchulteFW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ShaikhCWM10,
  author       = {Asadullah Shaikh and
                  Robert Claris{\'{o}} and
                  Uffe Kock Wiil and
                  Nasrullah Memon},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Verification-driven slicing of {UML/OCL} models},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {185--194},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859038},
  doi          = {10.1145/1858996.1859038},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/ShaikhCWM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ShangAH10,
  author       = {Weiyi Shang and
                  Bram Adams and
                  Ahmed E. Hassan},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {An experience report on scaling tools for mining software repositories
                  using MapReduce},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {275--284},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859050},
  doi          = {10.1145/1858996.1859050},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/ShangAH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SimmondsC10,
  author       = {Jocelyn Simmonds and
                  Marsha Chechik},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {RuMoR: monitoring and recovery for {BPEL} applications},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {345--346},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859068},
  doi          = {10.1145/1858996.1859068},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/SimmondsC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SindhgattaNSVR10,
  author       = {Renuka Sindhgatta and
                  Nanjangud C. Narendra and
                  Bikram Sengupta and
                  Karthik Visweswariah and
                  Arthur G. Ryman},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Timesheet assistant: mining and reporting developer effort},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {265--274},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859049},
  doi          = {10.1145/1858996.1859049},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/SindhgattaNSVR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SridharaHMPV10,
  author       = {Giriprasad Sridhara and
                  Emily Hill and
                  Divya Muppaneni and
                  Lori L. Pollock and
                  K. Vijay{-}Shanker},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Towards automatically generating summary comments for Java methods},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {43--52},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859006},
  doi          = {10.1145/1858996.1859006},
  timestamp    = {Thu, 06 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/SridharaHMPV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Staats10,
  author       = {Matt Staats},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {The influence of multiple artifacts on the effectiveness of software
                  testing},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {517--522},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859100},
  doi          = {10.1145/1858996.1859100},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Staats10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TajalliGEM10,
  author       = {Hossein Tajalli and
                  Joshua Garcia and
                  George Edwards and
                  Nenad Medvidovic},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {{PLASMA:} a plan-based layered architecture for software model-driven
                  adaptation},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {467--476},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859092},
  doi          = {10.1145/1858996.1859092},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/TajalliGEM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TaleghaniA10,
  author       = {Ali Taleghani and
                  Joanne M. Atlee},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Search-carrying code},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {367--376},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859079},
  doi          = {10.1145/1858996.1859079},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/TaleghaniA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TanejaLMXT10,
  author       = {Kunal Taneja and
                  Nuo Li and
                  Madhuri R. Marri and
                  Tao Xie and
                  Nikolai Tillmann},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {MiTV: multiple-implementation testing of user-input validators for
                  web applications},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {131--134},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859019},
  doi          = {10.1145/1858996.1859019},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/TanejaLMXT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TanejaZX10,
  author       = {Kunal Taneja and
                  Yi Zhang and
                  Tao Xie},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {{MODA:} automated test generation for database applications via mock
                  objects},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {289--292},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859053},
  doi          = {10.1145/1858996.1859053},
  timestamp    = {Wed, 12 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/TanejaZX10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TrezentosLO10,
  author       = {Paulo Trezentos and
                  In{\^{e}}s Lynce and
                  Arlindo L. Oliveira},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Apt-pbo: solving the software dependency problem using pseudo-boolean
                  optimization},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {427--436},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859087},
  doi          = {10.1145/1858996.1859087},
  timestamp    = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/TrezentosLO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VierhauserGERH10,
  author       = {Michael Vierhauser and
                  Paul Gr{\"{u}}nbacher and
                  Alexander Egyed and
                  Rick Rabiser and
                  Wolfgang Heider},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Flexible and scalable consistency checking on product line variability
                  models},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {63--72},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859009},
  doi          = {10.1145/1858996.1859009},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/VierhauserGERH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VisserG10,
  author       = {Willem Visser and
                  Jaco Geldenhuys},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Impendulo: debugging the programmer},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {351--352},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859071},
  doi          = {10.1145/1858996.1859071},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/VisserG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangLCZMY10,
  author       = {Xiaoyin Wang and
                  David Lo and
                  Jiefeng Cheng and
                  Lu Zhang and
                  Hong Mei and
                  Jeffrey Xu Yu},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Matching dependence-related queries in the system dependence graph},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {457--466},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859091},
  doi          = {10.1145/1858996.1859091},
  timestamp    = {Tue, 09 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/WangLCZMY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WoollardMPM10,
  author       = {David Woollard and
                  Chris Mattmann and
                  Daniel Popescu and
                  Nenad Medvidovic},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Kadre: domain-specific architectural recovery for scientific software
                  systems},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {325--328},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859062},
  doi          = {10.1145/1858996.1859062},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/WoollardMPM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Xing10,
  author       = {Zhenchang Xing},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Model comparison with GenericDiff},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {135--138},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859020},
  doi          = {10.1145/1858996.1859020},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Xing10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XingSLD10,
  author       = {Zhenchang Xing and
                  Jun Sun and
                  Yang Liu and
                  Jin Song Dong},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {SpecDiff: debugging formal specifications},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {353--354},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859072},
  doi          = {10.1145/1858996.1859072},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/XingSLD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/YangWRN10,
  author       = {Hui Yang and
                  Alistair Willis and
                  Anne N. De Roeck and
                  Bashar Nuseibeh},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Automatic detection of nocuous coordination ambiguities in natural
                  language requirements},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {53--62},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859007},
  doi          = {10.1145/1858996.1859007},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/YangWRN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhengZLX10,
  author       = {Wujie Zheng and
                  Qirun Zhang and
                  Michael R. Lyu and
                  Tao Xie},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Random unit-test generation with MUT-aware sequence recommendation},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {293--296},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859054},
  doi          = {10.1145/1858996.1859054},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/ZhengZLX10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2010,
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996},
  doi          = {10.1145/1858996},
  isbn         = {978-1-4503-0116-9},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics