Work

Time-Optimal Real-Time Test Case Generation Using Uppaal

Year: 2004

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-24617-6_9

Authors: Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, Arne Skou

Institutions: Uppsala University, Aalborg University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1895974704

FWCI: 4.941

Cites: 20

Cited by: 98

Related to: 10