Volume 23, Issue 1 | Automated Software Engineering

Search all Automated Software Engineering articles

Volume 23, Issue 1

March 2016

Special Issue: Selected Topics in Automated Software Engineering (Part 3)

Issue Editors:

Tim Menzies,
Corina Pasareanu

5 articles in this issue

Editorial introduction
Robert J. Hall
EditorialNotes 08 January 2016 Pages: 1 - 2
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel
Tegawendé F. Bissyandé
Laurent Réveillère
Gilles Muller
OriginalPaper 22 May 2014 Pages: 3 - 41
Diversity maximization speedup for localizing faults in single-fault and multi-fault programs
Xin Xia
Liang Gong
Hongyu Zhang
OriginalPaper 06 September 2014 Pages: 43 - 75
Differential precondition checking: a language-independent, reusable analysis for refactoring engines
Jeffrey L. Overbey
Ralph E. Johnson
Munawar Hafiz
OriginalPaper 25 December 2014 Pages: 77 - 104
Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach
Dietmar Jannach
Thomas Schmitz
OriginalPaper 12 February 2014 Pages: 105 - 144