1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.PL2019
Explicit and Controllable Assignment Semantics
Dimitri Racordon, Didier Buchs
Despite the plethora of powerful software to spot bugs, identify performance bottlenecks or simply improve the overall quality of code, programming languages remain the first and m…
cs.PL2017
Extracting Formal Specifications to Strenghten Type Behaviour Testing
Dimitri Racordon, Didier Buchs
Testing has become an indispensable activity of software development, yet writing good and relevant tests remains a quite challenging task. One well-known problem is that it often…
cs.LO2015★ 1 cited
A CEGAR-like Approach for Cost LTL Bounds
Maximilien Colange, Dimitri Racordon, Didier Buchs
Qualitative formal verification, that seeks boolean answers about the behavior of a system, is often insufficient for practical purposes. Observing quantitative information is of i…