A process for mastering security evolution in the development lifecycle Michael FeldererBasel Katt Introduction 07 March 2015 Pages: 245 - 250
Security risk analysis of system changes exemplified within the oil and gas domain Atle RefsdalBjørnar SolhaugKetil Stølen ESE 01 October 2014 Pages: 251 - 266
Restoring security of evolving software models using graph transformation Jens BürgerJan JürjensSven Wenzel ESE 27 December 2014 Pages: 267 - 289
Policy ignorant caller-side inline reference monitoring Dries VanoverbergheFrank Piessens ESE 19 September 2014 Pages: 291 - 303
A systematic classification of security regression testing approaches Michael FeldererElizabeta Fourneret ESE 21 January 2015 Pages: 305 - 319
Workflows for quantitative data analysis in the social sciences Kenneth J. TurnerPaul S. Lambert Regular Paper 27 April 2014 Pages: 321 - 338
Incremental test case generation using bounded model checking: an application to automatic rating Grzegorz AnielakGrzegorz JakackiSławomir Lasota Regular Paper Open access 15 May 2014 Pages: 339 - 349
Statistical model checking for biological systems Alexandre DavidKim G. LarsenSean Sedwards Regular Paper 01 July 2014 Pages: 351 - 367