Volume 22, Issue 4 | Automated Software Engineering

Search all Automated Software Engineering articles

Volume 22, Issue 4

December 2015

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

Issue Editors:

Tim Menzies,
Corina Pasareanu

5 articles in this issue

Guest editorial: special multi-issue on selected topics in automated software engineering
Tim Menzies
Corina Pasareanu
OriginalPaper 29 July 2015 Pages: 437 - 438
Program-input generation for testing database applications using existing database states
Kai Pan
Xintao Wu
Tao Xie
OriginalPaper 08 July 2014 Pages: 439 - 473
Unfolding based automated testing of multithreaded programs
Kari Kähkönen
Olli Saarikivi
Keijo Heljanko
OriginalPaper 03 May 2014 Pages: 475 - 515
Scalable and scope-bounded software verification in Varvel
Franjo Ivančić
Gogul Balakrishnan
Mustafa Hussain
OriginalPaper 20 August 2014 Pages: 517 - 559
To what extent could we detect field defects? An extended empirical study of false negatives in static bug-finding tools
Ferdian Thung
Lucia
Premkumar T. Devanbu
OriginalPaper 19 September 2014 Pages: 561 - 602