A Formal Model for Detecting Bugs by Symbolic Execution of Programs.

A. Yu. Gerasimov Daniil O. Kuts Alexander A. Novikov

Published in: Program. Comput. Softw. (2020)

Keyphrases

formal model
symbolic execution
static analysis
source code
test data generation
test generation
test cases
specification language
open source
formal models
software systems
software projects
regular expressions
data flow
security properties
general purpose
case study
software development