![](/img/cover-not-exists.png)
Improving lazy abstraction for SCR specifications through constraint relaxation
Degiovanni, Renzo, Ponzio, Pablo, Aguirre, Nazareno, Frias, MarceloLanguage:
english
Journal:
Software Testing, Verification and Reliability
DOI:
10.1002/stvr.1657
Date:
January, 2018
File:
PDF, 2.55 MB
english, 2018