Search dblp for Publications

export results for "toc:db/journals/ase/ase19.bht:"

 download as .bib file

@article{DBLP:journals/ase/BagheriEG12,
  author       = {Ebrahim Bagheri and
                  Faezeh Ensan and
                  Dragan Gasevic},
  title        = {Decision support for the software product line domain engineering
                  lifecycle},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {3},
  pages        = {335--377},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-011-0099-7},
  doi          = {10.1007/S10515-011-0099-7},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/BagheriEG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Ben-AsherGHZ12,
  author       = {Yosi Ben{-}Asher and
                  Tomer Gal and
                  Gadi Haber and
                  Marcel Zalmanovici},
  title        = {Refactoring techniques for aggressive object inlining in Java applications},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {1},
  pages        = {97--136},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-011-0096-x},
  doi          = {10.1007/S10515-011-0096-X},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Ben-AsherGHZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BenerM12,
  author       = {Ayse Basar Bener and
                  Tim Menzies},
  title        = {Guest editorial: learning to organize testing},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {2},
  pages        = {137--140},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-011-0095-y},
  doi          = {10.1007/S10515-011-0095-Y},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/BenerM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DengLR12,
  author       = {Xianghua Deng and
                  Jooyong Lee and
                  Robby},
  title        = {Efficient and formal generalized symbolic execution},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {3},
  pages        = {233--301},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-011-0089-9},
  doi          = {10.1007/S10515-011-0089-9},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/DengLR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DennisFWB12,
  author       = {Louise A. Dennis and
                  Michael Fisher and
                  Matthew P. Webster and
                  Rafael H. Bordini},
  title        = {Model checking agent programming languages},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {1},
  pages        = {5--63},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-011-0088-x},
  doi          = {10.1007/S10515-011-0088-X},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/DennisFWB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DuleySK12,
  author       = {Adam Duley and
                  Chris Spandikow and
                  Miryung Kim},
  title        = {Vdiff: a program differencing algorithm for Verilog hardware description
                  language},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {4},
  pages        = {459--490},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-012-0107-6},
  doi          = {10.1007/S10515-012-0107-6},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/DuleySK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Hall12,
  author       = {Robert J. Hall},
  title        = {Editorial: {ASE} 2011 conference trip report},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {1},
  pages        = {1--3},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-011-0097-9},
  doi          = {10.1007/S10515-011-0097-9},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Hall12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Hall12a,
  author       = {Robert J. Hall},
  title        = {Editorial: analysis in software engineering},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {3},
  pages        = {231--232},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-012-0101-z},
  doi          = {10.1007/S10515-012-0101-Z},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Hall12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Hall12b,
  author       = {Robert J. Hall},
  title        = {Editorial: selected topics in {ASE}},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {4},
  pages        = {379--380},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-012-0110-y},
  doi          = {10.1007/S10515-012-0110-Y},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Hall12b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/HeSYLW12,
  author       = {Zhimin He and
                  Fengdi Shu and
                  Ye Yang and
                  Mingshu Li and
                  Qing Wang},
  title        = {An investigation on the feasibility of cross-project defect prediction},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {2},
  pages        = {167--199},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-011-0090-3},
  doi          = {10.1007/S10515-011-0090-3},
  timestamp    = {Mon, 01 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/HeSYLW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/HooimeijerW12,
  author       = {Pieter Hooimeijer and
                  Westley Weimer},
  title        = {StrSolve: solving string constraints lazily},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {4},
  pages        = {531--559},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-012-0111-x},
  doi          = {10.1007/S10515-012-0111-X},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/HooimeijerW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/KimYS12,
  author       = {KyungHee Kim and
                  Tuba Yavuz{-}Kahveci and
                  Beverly A. Sanders},
  title        = {{JRF-E:} using model checking to give advice on eliminating memory
                  model-related bugs},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {4},
  pages        = {491--530},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-012-0109-4},
  doi          = {10.1007/S10515-012-0109-4},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/KimYS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LedruPBM12,
  author       = {Yves Ledru and
                  Alexandre Petrenko and
                  Sergiy Boroday and
                  Nadine Mandran},
  title        = {Prioritizing test cases with string distances},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {1},
  pages        = {65--95},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-011-0093-0},
  doi          = {10.1007/S10515-011-0093-0},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/LedruPBM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LiZWZ12,
  author       = {Ming Li and
                  Hongyu Zhang and
                  Rongxin Wu and
                  Zhi{-}Hua Zhou},
  title        = {Sample-based software defect prediction with active and semi-supervised
                  learning},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {2},
  pages        = {201--230},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-011-0092-1},
  doi          = {10.1007/S10515-011-0092-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/LiZWZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LiparasAF12,
  author       = {Dimitris Liparas and
                  Lefteris Angelis and
                  Robert Feldt},
  title        = {Applying the Mahalanobis-Taguchi strategy for software defect diagnosis},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {2},
  pages        = {141--165},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-011-0091-2},
  doi          = {10.1007/S10515-011-0091-2},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/LiparasAF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LoM12,
  author       = {David Lo and
                  Shahar Maoz},
  title        = {Scenario-based and value-based specification mining: better together},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {4},
  pages        = {423--458},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-012-0103-x},
  doi          = {10.1007/S10515-012-0103-X},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/LoM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/ManganoH12,
  author       = {Nicolas Mangano and
                  Andr{\'{e}} van der Hoek},
  title        = {The design and evaluation of a tool to support software designers
                  at the whiteboard},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {4},
  pages        = {381--421},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-012-0104-9},
  doi          = {10.1007/S10515-012-0104-9},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/ManganoH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/ShahamiriWIH12,
  author       = {Seyed Reza Shahamiri and
                  Wan M. N. Wan{-}Kadir and
                  Suhaimi Ibrahim and
                  Siti Zaiton Mohd Hashim},
  title        = {Artificial neural networks as multi-networks automated test oracle},
  journal      = {Autom. Softw. Eng.},
  volume       = {19},
  number       = {3},
  pages        = {303--334},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10515-011-0094-z},
  doi          = {10.1007/S10515-011-0094-Z},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/ShahamiriWIH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics