Issue 3/2015
ESE (pp245-319)
Content (8 Articles)
Introduction
A process for mastering security evolution in the development lifecycle
Michael Felderer, Basel Katt
ESE
Security risk analysis of system changes exemplified within the oil and gas domain
Atle Refsdal, Bjørnar Solhaug, Ketil Stølen
ESE
Restoring security of evolving software models using graph transformation
Jens Bürger, Jan Jürjens, Sven Wenzel
ESE
A systematic classification of security regression testing approaches
Michael Felderer, Elizabeta Fourneret
Regular Paper
Workflows for quantitative data analysis in the social sciences
Kenneth J. Turner, Paul S. Lambert
Open Access
Regular Paper
Incremental test case generation using bounded model checking: an application to automatic rating
Grzegorz Anielak, Grzegorz Jakacki, Sławomir Lasota
Regular Paper
Statistical model checking for biological systems
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards