Formal Aspects of Computing

Concolic testing of the multi-sector read operation for flash storage platform software
Editorial
John McCarthy (1927–2011)
Temporal-logic property preservation under Z refinement
Testing interruptions in reactive systems
Using fold-in and fold-out in the architecture recovery of software systems
Verifying compiled file system code