Work

Using model-checkers to generate and analyze property relevant test-cases

Year: 2007

Type: article

Source: Software Quality Journal

DOI: 10.1007/s11219-007-9031-6

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

FWCI: 16.92

Cites: 29

Cited by: 28

Related to: 10