Automated Test Generation with SAL (2005)

by Grégoire Hamon, Leonardo de Moura, John Rushby