Skip to content

Tri-modal under-approximation of event systems for test generation.

Hadrien Bride, Jacques Julliand, Pierre-Alain Masson

Year2015
ProceedingsSAC

Browse the full SAC paper archive.