Work

Automatic test case generation from Simulink/Stateflow models using model checking

Year: 2013

Type: article

Source: Software Testing Verification and Reliability

DOI: 10.1002/stvr.1489

Authors: Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K.C. Shashidhar, S. Ramesh

Institution: General Motors (India)

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W1910316712

FWCI: 14.64

Cites: 54

Cited by: 47

Related to: 10