Work

Model-Based Mutation Testing of Real-Time Systems via Model Checking

Year: 2018

Type: conference-paper

Source: IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

DOI: 10.1109/icstw.2018.00029

Authors: Florian Lorber, Kim G. Larsen, Brian Nielsen

Institution: Aalborg University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2884024166

FWCI: 1.187

Cites: 29

Cited by: 12

Related to: 10