Prof. Atif M. Memon, PH.D. College Park, MD, USA

This volume of Advances in Computers is the 113th in this series. This series, which has been continuously published since 1960, presents in each volume four to seven chapters describing new developments in software, hardware, or uses of computers. For each volume, I invite leaders in their respective fields of computing to contribute a chapter about recent advances.

Volume 113 focuses on three main topics. Chapters 14 discuss specific advances in software development; Chapters 5 and 6 discuss advances in symbolic execution, an important technique for checking programs; and Chapter 7 discusses important advances in replicating experiments in software engineering research. More specifically, ...

Get Advances in Computers now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.