Automatic and configurable instrumentation of C programs with temporal assertion checkers.

Martial Chabot Kévin Mazet Laurence Pierre

Published in: MEMOCODE (2015)

Keyphrases

spatial and temporal
temporal consistency
semi automatic
temporal databases
fully automatic
temporal data
temporal information
real time
learning algorithm
temporal constraints
temporal patterns
computer programs
automatic programming
data sets
temporal relationships