Work

Using LTL rewriting to improve the performance of model-checker based test-case generation

Year: 2007

Type: conference-paper

DOI: 10.1145/1291535.1291542

Authors: Gordon Fraser, Franz Wotawa

Institution: Graz University of Technology

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2005176430

FWCI: 2.635

Cites: 29

Cited by: 21

Related to: 10