Concepedia

Author

François Cheynier

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Also Known As

Cheynier, François, Francois Cheynier, François Cheynier

2

Publications

27

Citations

1

H-Index

14

Concepts

All Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives
FC

About

François Cheynier is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in engineering, formal verification, and computer engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

26

2

Computer Engineering

1

1

26

3

Computer Science

1

1

26

4

Data Science

1

1

26

5

Software Analysis

1

1

26

François Cheynier

×

1

Publications

26

Citations

1

H-Index

YearCitations

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria

Sébastien Bardin, Nikolaï Kosmatov, François Cheynier

2014

26

Page 1