Jackie Launay

Publication Activity (10 Years)

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

Top Topics

Quality Assurance

Design Automation

Symbolic Execution

Top Venues

Publications

Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean Baptiste Gning
Automated test generation for synchronous controllers. AST@ICSE (2016)