Parametric Trace Slicing and Monitoring.

Feng Chen Grigore Rosu

Published in: TACAS (2009)

Keyphrases

monitoring system
real time
learning algorithm
evolutionary algorithm
plan execution
network monitoring
health monitoring
execution traces