Using fold-in and fold-out in the architecture recovery of software systems Michele RisiGiuseppe ScannielloGenoveffa Tortora Original Article 25 August 2011 Pages: 307 - 330
Testing interruptions in reactive systems Wilkerson L. AndradePatrícia D. L. Machado Original Article 15 September 2011 Pages: 331 - 353
Concolic testing of the multi-sector read operation for flash storage platform software Moonzoo KimYunho KimYunja Choi Original Article 02 October 2011 Pages: 355 - 374
Verifying compiled file system code Jan Tobias MühlbergGerald Lüttgen Original Article 20 August 2011 Pages: 375 - 391
Temporal-logic property preservation under Z refinement John DerrickGraeme Smith Original Article 25 May 2011 Pages: 393 - 416