Login / Signup
PrePost@iFM
2017
2017
2017
Keyphrases
Publications
2017
Luke Chircop
,
Christian Colombo
,
Mark Micallef
Exploring the Link Between Test Suite Quality and Automatic Specification Inference.
PrePost@iFM
(2017)
Shaun Azzopardi
,
Christian Colombo
,
Gordon J. Pace
Control-Flow Residual Analysis for Symbolic Automata.
PrePost@iFM
(2017)
Ian Cassar
,
Adrian Francalanza
,
Claudio Antares Mezzina
,
Emilio Tuosto
Reliability and Fault-Tolerance by Choreographic Design.
PrePost@iFM
(2017)
Giles Reger
A Story of Parametric Trace Slicing, Garbage and Static Analysis.
PrePost@iFM
(2017)
Ian Cassar
,
Adrian Francalanza
,
Luca Aceto
,
Anna Ingólfsdóttir
A Survey of Runtime Monitoring Instrumentation Techniques.
PrePost@iFM
(2017)
Oscar Cornejo
,
Daniela Briola
,
Daniela Micucci
,
Leonardo Mariani
Fragmented Monitoring.
PrePost@iFM
(2017)
volume 254, 2017
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017.
PrePost@iFM
254 (2017)