Improving lazy abstraction for SCR specifications through constraint relaxation

Publisher: John Wiley & Sons Inc

E-ISSN: 1099-1689|28|2|stvr.1657-stvr.1657

ISSN: 0960-0833

Source: SOFTWARE TESTING, VERIFICATION & RELIABILITY (ELECTRONIC), Vol.28, Iss.2, 2018-03, pp. : n/a-n/a

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract