Computing summaries of string loops in C for better testing and refactoring (2019)

First Author: Kapus T
Attributed to:  Improving Symbolic Execution via Targeted Program Transformations funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1145/3314221.3314610

Publication URI: http://dx.doi.org/10.1145/3314221.3314610

Type: Conference/Paper/Proceeding/Abstract