Detection of high-level execution patterns in reactive behavior of control programs.

Herbert Prhofer, Roland Schatz, Christian Wirth

Browse the full ISSTA paper archive.