![](/img/cover-not-exists.png)
Automated workarounds from Java program specifications based on SAT solving
Uva, Marcelo, Ponzio, Pablo, Regis, Germán, Aguirre, Nazareno, Frias, Marcelo F.Volume:
20
Language:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-018-0503-8
Date:
November, 2018
File:
PDF, 802 KB
english, 2018