Mouna Tka Mnad

Publication Activity (10 Years)

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

Top Topics

Concurrent Programs

Symbolic Execution

Control Structures

Object Oriented Languages

Top Venues

Publications

Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean Baptiste Gning
Automated test generation for synchronous controllers. AST@ICSE (2016)
Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis
Synchronous Programs Testing Language (SPTL). ICCSA (1) (2014)