Work

Capturing program models with BISM

Year: 2022

Type: conference-paper

Abstract: In this paper, we present an extension of the Java bytecode instrumentation tool BISM that captures and prepares a model that abstracts the program behavior at the intra-procedural level. We analyze program methods we are interested in monitoring and construct a control-flow graph automaton where the states represent actions of the program that produce events. Directed towards monitoring general behavioral properties at runtime, the resulting model is presented for the users to write static analyzers and combine both static and runtime verification.

Source: ACM Symposium on Applied Computing

DOI: 10.1145/3477314.3507239

Authors: Chukri Soueidi, Yliès Falcone

Institution: 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: W4229020158

FWCI: 0.52

Cites: 19

Cited by: 3

Related to: 10