Login / Signup
François Cheynier
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
Computationally Expensive
Specification Language
Databases
Symbolic Execution
Top Venues
ICST
CoRR
</>
Publications
</>
Sébastien Bardin
,
Nikolai Kosmatov
,
François Cheynier
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria.
ICST
(2014)
Sébastien Bardin
,
Nikolai Kosmatov
,
François Cheynier
Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria.
CoRR
(2013)