Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics.

Saranya Natarajan David Broman

Published in: FDL (2020)

Keyphrases

flow graph
flow graphs
random walk
temporal dimension
information flow
temporal relations
shortest path

temporal information
petri net
programming language
spatio temporal
temporal databases
temporal data

spatial and temporal
formal semantics
logic programming
general purpose
temporal reasoning
temporal constraints

semantic information
software systems
software testing
markov chain
distributed memory machines
data mining