Automated replication of tuple spaces via static analysis.

Rocco De Nicola Luca Di Stefano Omar Inverso Aline Uwimbabazi

Published in: Sci. Comput. Program. (2022)

Keyphrases

static analysis
dynamic analysis
source code
java card
distributed databases
malicious code
test generation
fault tolerant
regular expressions
symbolic execution
abstract interpretation
test suite
data sets
real world
case study
open source