Login / Signup
Lydie Terras
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Software Testing
Markov Chain
Cooperative
Reactive Systems
Top Venues
IDT
</>
Publications
</>
Lydie Terras
,
Yannick Teglia
,
Michel Agoyan
,
Régis Leveugle
Taking into account indirect jumps or calls in continuous control-flow checking.
IDT
(2016)