Sign in

Automatic Generation of Debug Headers through BlackBox Equivalence Checking.

Vaibhav Kiran KurhePratik KariaShubhani GuptaAbhishek RoseSorav Bansal
Published in: CGO (2022)
Keyphrases
  • email
  • automatically generate
  • consistency checking
  • data sets
  • machine learning
  • genetic algorithm
  • knowledge base
  • data structure
  • temporal planner
  • interactive dynamic influence diagrams