![](/img/cover-not-exists.png)
Tri-modal under-approximation for test generation
Bride, Hadrien, Julliand, Jacques, Masson, Pierre-AlainVolume:
132
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2016.07.003
Date:
December, 2016
File:
PDF, 1.15 MB
english, 2016