Login / Signup

A declarative framework for stateful analysis of execution traces.

Florian WiningerNaser Ezzati-JivanMichel R. Dagenais
Published in: Softw. Qual. J. (2017)
Keyphrases
  • execution traces
  • data analysis
  • query language
  • probabilistic model
  • human computer interaction