Login / Signup

On the Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations.

Petr Dmitrievich BorisovYury V. Kosolapov
Published in: Autom. Control. Comput. Sci. (2022)
Keyphrases
  • symbolic execution
  • specification language
  • data quality
  • test data generation
  • optimization algorithm
  • test generation
  • decision trees
  • general purpose
  • source code
  • domain independent
  • quality assessment
  • static analysis