Work

CLARVA: Model-based Residual Verification of Java Programs

Year: 2020

Type: conference-paper

Source: International Conference on Model-Driven Engineering and Software Development

DOI: 10.5220/0008966603520359

Authors: Shaun Azzopardi, Christian Colombo, Gordon Pace

Institution: University of Malta

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W3011395855

FWCI: 1.148

Cites:

Cited by: 8

Related to: 10