Static analysis of WCET in a satellite software subsystem.

Jorge Garrido Juan Zamorano Juan Antonio de la Puente

Published in: WCET (2013)

Keyphrases

static analysis
source code
dynamic analysis
symbolic execution
test suite
regular expressions
abstract interpretation
test generation
java card
software systems
test case generation
matching algorithm
test cases
data sets
open source
case study
real world
databases