Login / Signup

Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions.

Jérémy MilhauBenoît FraikinMarc Frappier
Published in: IFM (2009)
Keyphrases
  • symbolic execution
  • general purpose
  • database
  • databases
  • error rate
  • data flow