Marc Boule

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 1

Top Topics

Symbolic Execution

Simulation Data

Quality Assurance

Mutation Testing

Top Venues

ACM Trans. Design Autom. Electr. Syst.

Publications