Selected Extended Papers of VSTTE 2016

This special issue collects current efforts to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation.