Volume 19, Issue 4 | Automated Software Engineering

Search all Automated Software Engineering articles

Volume 19, Issue 4

December 2012

Special Issue: Selected Topics in Automated Software Engineering

6 articles in this issue

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