Sign in

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).

Mohammad AfzalSupratik ChakrabortyAvriti ChauhanBharti ChimdyalwarPriyanka DarkeAshutosh GuptaShrawan KumarCharles Babu MDivyesh UnadkatR. Venkatesh
Published in: TACAS (2) (2020)
Keyphrases
  • test generation
  • symbolic execution
  • test cases
  • test sequences
  • design automation
  • quality assurance
  • static analysis
  • high level
  • mutation testing
  • software testing
  • test data generation
  • database
  • computer vision
  • data flow