Janina Voigt

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Dynamically Changing

Genetic Algorithm

High Resolution

Top Venues

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Janina Voigt, Alan Mycroft
Dynamic Alias Protection with Aliasing Contracts. APLAS (2013)
Janina Voigt, Warwick Irwin, Neville Churcher
Comparing and Evaluating Existing Software Contract Tools. ENASE (Selected Papers) (2011)
Janina Voigt, Warwick Irwin, Neville Churcher
A Critical Comparison of Existing Software Contract Tools. ENASE (2011)
Janina Voigt, Warwick Irwin, Neville Churcher
Class Encapsulation and Object Encapsulation - An Empirical Study. ENASE (2010)