Login / Signup

ASE: A Value Set Decision Procedure for Symbolic Execution.

Alireza S. AbyanehChristoph M. Kirsch
Published in: ASE (2021)
Keyphrases
  • case study
  • relational databases
  • open source
  • source code
  • pattern matching