Work

RDBG: a Reactive Programs Extensible Debugger

Year: 2016

Type: conference-paper

Abstract: Debugging reactive programs requires to provide a lot of inputs -- at each reaction step. Moreover, because a reactive system reacts to an environment it tries to control, providing realistic inputs can be hard. The same considerations apply for automatic testing. This work take advantage on previous work on automated testing of reactive programs that close this feedback loop.

Source: International Workshop on Software and Compilers for Embedded Systems (SCOPES)

DOI: 10.1145/2906363.2906372

Author: Erwan Jahier

Institutions: Centre National de la Recherche Scientifique, Verimag, Université Grenoble Alpes

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2315998946

FWCI: 0.201

Cites: 26

Cited by: 7

Related to: 10