Work

Improving Model-Checkers for Software Testing

Year: 2007

Type: conference-paper

Source: Proceedings of the ... International Conference on Quality Software/Proceedings

DOI: 10.1109/qsic.2007.4385477

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: W2097145708

FWCI: 1.129

Cites: 39

Cited by: 9

Related to: 10