Login / Signup
PrePost@IFM
Publications
2016
Sönke Holthusen
,
Sophie Quinton
,
Ina Schaefer
,
Johannes Schlatow
,
Martin Wegner
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates.
PrePost@IFM
(2016)
Oleg Sokolsky
,
Teng Zhang
,
Insup Lee
,
Michael McDougall
Monitoring Assumptions in Assume-Guarantee Contracts.
PrePost@IFM
(2016)
Vignir Gudmundsson
,
Mikael Lindvall
,
Luca Aceto
,
Johann Bergthorsson
,
Dharmalingam Ganesan
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App.
PrePost@IFM
(2016)
Annalizz Vella
,
Adrian Francalanza
Preliminary Results Towards Contract Monitorability.
PrePost@IFM
(2016)
Nafi Diallo
,
Wided Ghardallou
,
Ali Mili
Program Repair by Stepwise Correctness Enhancement.
PrePost@IFM
(2016)
volume 208, 2016
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016.
PrePost@IFM
208 (2016)