Work

Symbolic mining of temporal specifications

Year: 2008

Type: conference-paper

Source: ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI: 10.1145/1368088.1368096

Authors: Mark Gabel, Zhendong Su

Institution: University of California, Davis

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2165575313

FWCI: 4.779

Cites: 28

Cited by: 91

Related to: 10