1. A process for mastering security evolution in the development lifecycle

   • Michael Felderer
   • Basel Katt

   Introduction 07 March 2015 Pages: 245 - 250

   

2. Security risk analysis of system changes exemplified within the oil and gas domain

   • Atle Refsdal
   • Bjørnar Solhaug
   • Ketil Stølen

   ESE 01 October 2014 Pages: 251 - 266

   

3. Restoring security of evolving software models using graph transformation

   • Jens Bürger
   • Jan Jürjens
   • Sven Wenzel

   ESE 27 December 2014 Pages: 267 - 289

   

4. Policy ignorant caller-side inline reference monitoring

   • Dries Vanoverberghe
   • Frank Piessens

   ESE 19 September 2014 Pages: 291 - 303

   

5. A systematic classification of security regression testing approaches

   • Michael Felderer
   • Elizabeta Fourneret

   ESE 21 January 2015 Pages: 305 - 319

   

6. Workflows for quantitative data analysis in the social sciences

   • Kenneth J. Turner
   • Paul S. Lambert

   Regular Paper 27 April 2014 Pages: 321 - 338

   

7. Incremental test case generation using bounded model checking: an application to automatic rating

   • Grzegorz Anielak
   • Grzegorz Jakacki
   • Sławomir Lasota

   Regular Paper Open access 15 May 2014 Pages: 339 - 349

   

8. Statistical model checking for biological systems

   • Alexandre David
   • Kim G. Larsen
   • Sean Sedwards

   Regular Paper 01 July 2014 Pages: 351 - 367