Work

Automatic generation of compact formal properties for effective error detection

Year: 2013

Type: conference-paper

Source: International Conference on Hardware/Software Codesign and System Synthesis

DOI: 10.1109/codes-isss.2013.6659015

Authors: Michele Bertasi, Giuseppe Di Guglielmo, Graziano Pravadelli

Institutions: University of Verona, Columbia University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4251980647

FWCI: 0.89

Cites: 27

Cited by: 19

Related to: 10