Andre Mis

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Database Machine

Symbolic Execution

Top Venues

Publications

Mattia Vivanti, Andre Mis, Alessandra Gorla, Gordon Fraser
Search-based data-flow test generation. ISSRE (2013)