Practical verification of decision-making in agent-based autonomous systems Louise A. DennisMichael FisherSandor M. Veres OriginalPaper Open access 06 September 2014 Pages: 305 - 359
Model inference for spreadsheets Jácome CunhaMartin ErwigJoão Saraiva OriginalPaper 03 September 2014 Pages: 361 - 392
AutoQuery: automatic construction of dependency queries for code search Shaowei WangDavid LoLingxiao Jiang OriginalPaper 25 September 2014 Pages: 393 - 425
Preserving architectural decisions through architectural patterns Minh Tu Ton ThatSalah SadouRégis Fleurquin OriginalPaper 30 October 2014 Pages: 427 - 467
Test data generation for path coverage of message-passing parallel programs based on co-evolutionary genetic algorithms Tian TianDunwei Gong OriginalPaper 19 November 2014 Pages: 469 - 500
An approach to prioritize code smells for refactoring Santiago A. VidalClaudia MarcosJ. Andrés Díaz-Pace OriginalPaper 14 December 2014 Pages: 501 - 532