Volume 24, Issue 3, May 2012

ISSN: 0934-5043 (Print) 1433-299X (Online)

In this issue (7 articles)

  1. Editorial

    Editorial

    Jim Woodcock Page 303
    Download PDF (44KB)

  2. No Access

    OriginalPaper

    John McCarthy (1927–2011)

    Cliff B. Jones Pages 305-306
    Get Access

  3. No Access

    Original Article

    Using fold-in and fold-out in the architecture recovery of software systems

    Michele Risi, Giuseppe Scanniello, Genoveffa Tortora Pages 307-330
    Look Inside Get Access

  4. No Access

    Original Article

    Testing interruptions in reactive systems

    Wilkerson L. Andrade, Patrícia D. L. Machado Pages 331-353
    Look Inside Get Access

  5. No Access

    Original Article

    Concolic testing of the multi-sector read operation for flash storage platform software

    Moonzoo Kim, Yunho Kim, Yunja Choi Pages 355-374
    Look Inside Get Access

  6. No Access

    Original Article

    Verifying compiled file system code

    Jan Tobias Mühlberg, Gerald Lüttgen Pages 375-391
    Look Inside Get Access

  7. No Access

    Original Article

    Temporal-logic property preservation under Z refinement

    John Derrick, Graeme Smith Pages 393-416
    Look Inside Get Access