Work

Generating Test Cases for Real-Time Systems Based on Symbolic Models

Year: 2013

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/tse.2013.13

Authors: Wilkerson L. Andrade, Patricia D.L. Machado

Institution: Universidade Federal de Campina Grande

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Conselho Nacional de Desenvolvimento Científico e Tecnológico

OpenAlex ID: W2162001502

FWCI: 11.29

Cites: 36

Cited by: 15

Related to: 10