Work

Automatic Extraction of Assertions from Execution Traces of Behavioural Models

Year: 2015

Type: conference-paper

Source: Design, Automation, and Test in Europe

DOI: 10.7873/date.2015.0110

Authors: Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli

Institutions: University of Verona, EDALab (Italy)

Language: English

Topic: Embedded Systems Design Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4249914973

FWCI: 3.611

Cites:

Cited by: 49

Related to: 10