"The Optimization of a Symbolic Execution Engine for Detecting Runtime Errors."

István Kádár (2017)

Details and statistics

DOI: 10.14232/ACTACYB.23.2.2017.9

access: closed

type: Journal Article

metadata version: 2017-11-20

a service of  Schloss Dagstuhl - Leibniz Center for Informatics