Timing Analysis of Event-Driven Programs with Directed Testing.

Mahdi Eslamimehr Hesam Samimi

Published in: WCET (2015)

Keyphrases

event driven
symbolic execution
information delivery
computer programs
markup language
real time
automatic programming
answer sets
database
static analysis
publish subscribe
databases
keywords
query processing
test cases
programming environment
case study