View in EDS HTML Full Text PDF Full Text

Improving lazy abstraction for SCR specifications through constraint relaxation.

Saved in:
Bibliographic Details
Title: Improving lazy abstraction for SCR specifications through constraint relaxation.
Authors: Degiovanni, Renzo1,2, rdegiovanni@dc.exa.unrc.edu.ar, Ponzio, Pablo1,2, Aguirre, Nazareno1,2, Frias, Marcelo2,3
Source: Software Testing: Verification & Reliability; Mar2018, Vol. 28 Issue 2, p1-1, 28p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:09600833
DOI:10.1002/stvr.1657