Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system.

Mariano Ceccato Paolo Tonella

Published in: ICSM (2010)

Keyphrases

static analysis
dynamic analysis
source code
reverse engineering
java card
symbolic execution
abstract interpretation
malicious code
regular expressions
concurrency control
test suite
test generation
databases
open source
knowledge base
artificial intelligence
data sets