Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics.
Saranya NatarajanDavid BromanPublished 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