Editorial message : special track on software verification and testing
Jun Pang, Mohammad Reza Mousavi · TU/e Research Portal · 2012
The main topics of the special track include, but are not limited to: tools and techniques for verification of large scale software systems; real world applications and case studies applying software verification; static and runtime analysis; abstract interpretation; model checking; theorem proving; refinement and correct by construction development; model-based testing; verification-based testing; run-time verification; symbolic execution and partial evaluation; analysis methods for dependable systems; and software certification and proof carrying code.