A Formal Model for Defect Detection Using Symbolic Program Execution
Proceedings of the Institute for System Programming of the RAS
doi 10.15514/ispras-2019-31(6)-2
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2019
Authors
Publisher
Institute for System Programming of the Russian Academy of Sciences