Login / Signup

Mutation analysis with high-level decision diagrams.

Hanno HantsonJaan RaikMaksim JenihhinAnton ChepurovRaimund UbarGiuseppe Di GuglielmoFranco Fummi
Published in: LATW (2010)
Keyphrases
  • high level
  • data analysis
  • data sets
  • search space
  • computational complexity
  • domain specific
  • sufficient conditions
  • decision diagrams