Editorial: analysis in software engineering Robert J. Hall EditorialNotes 22 February 2012 Pages: 231 - 232
Efficient and formal generalized symbolic execution Xianghua DengJooyong LeeRobby OriginalPaper 09 June 2011 Pages: 233 - 301
Artificial neural networks as multi-networks automated test oracle Seyed Reza ShahamiriWan M. N. Wan-KadirSiti Zaiton Mohd Hashim OriginalPaper 24 September 2011 Pages: 303 - 334
Decision support for the software product line domain engineering lifecycle Ebrahim BagheriFaezeh EnsanDragan Gasevic OriginalPaper 19 January 2012 Pages: 335 - 377