Work

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

Year: 2008

Type: conference-paper

Source: Springer eBooks

Parent work: Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

DOI: 10.1007/978-3-540-78917-8_2

Authors: Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson

Institution: Microsoft (United States)

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1821489642

FWCI: 16.86

Cites: 54

Cited by: 243

Related to: 10