Login / Signup

Precise control flow reconstruction using boolean logic.

Thomas ReinbacherJörg Brauer
Published in: EMSOFT (2011)
Keyphrases
  • control flow
  • boolean logic
  • data flow
  • truth values
  • process model
  • software testing
  • workflow management systems
  • transition systems
  • data sets
  • multi agent systems
  • database
  • logic programming
  • modeling language