Journal: Automated Software Engineering

Volume 19, Issue 4

379 -- 380Robert J. Hall. Editorial: selected topics in ASE
381 -- 421Nicolas Mangano, André van der Hoek. The design and evaluation of a tool to support software designers at the whiteboard
423 -- 458David Lo, Shahar Maoz. Scenario-based and value-based specification mining: better together
459 -- 490Adam Duley, Chris Spandikow, Miryung Kim. Vdiff: a program differencing algorithm for Verilog hardware description language
491 -- 530Kyunghee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders. JRF-E: using model checking to give advice on eliminating memory model-related bugs
531 -- 559Pieter Hooimeijer, Westley Weimer. StrSolve: solving string constraints lazily

Volume 19, Issue 3

231 -- 232Robert J. Hall. Editorial: analysis in software engineering
233 -- 301Xianghua Deng, Jooyong Lee, Robby. Efficient and formal generalized symbolic execution
303 -- 334Seyed Reza Shahamiri, Wan M. N. Wan-Kadir, Suhaimi Ibrahim, Siti Zaiton Mohd Hashim. Artificial neural networks as multi-networks automated test oracle
335 -- 377Ebrahim Bagheri, Faezeh Ensan, Dragan Gasevic. Decision support for the software product line domain engineering lifecycle

Volume 19, Issue 2

137 -- 140Ayse Basar Bener, Tim Menzies. Guest editorial: learning to organize testing
141 -- 165Dimitris Liparas, Lefteris Angelis, Robert Feldt. Applying the Mahalanobis-Taguchi strategy for software defect diagnosis
167 -- 199Zhimin He, Fengdi Shu, Ye Yang, Mingshu Li, Qing Wang. An investigation on the feasibility of cross-project defect prediction
201 -- 230Ming Li, Hongyu Zhang, Rongxin Wu, Zhi-Hua Zhou. Sample-based software defect prediction with active and semi-supervised learning

Volume 19, Issue 1

1 -- 3Robert J. Hall. Editorial: ASE 2011 conference trip report
5 -- 63Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini. Model checking agent programming languages
65 -- 95Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran. Prioritizing test cases with string distances
97 -- 136Yosi Ben-Asher, Tomer Gal, Gadi Haber, Marcel Zalmanovici. Refactoring techniques for aggressive object inlining in Java applications