Automated Replication of Tuple Spaces via Static Analysis.

Aline Uwimbabazi Omar Inverso Rocco De Nicola

Published in: FSEN (2021)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
fault tolerant
java card
symbolic execution
regular expressions
test generation
abstract interpretation
peer to peer
reverse engineering
data mining
learning algorithm
artificial intelligence
software engineering