ASWEC   2015 Australian Software Engineering Conference
Wall of Fame | Most Viewed ASWEC-2015 Paper
5 years 2 months ago
Compositional Symbolic Execution Using Fine-Grained Summaries
Abstract—Compositional symbolic execution has been proposed as a way to increase the efficiency of symbolic execution. Essentially, when a function is symbolically executed, a s...
Yude Lin, Tim Miller, Harald Søndergaard
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source39
2Download preprint from source33
3Download preprint from source32
4Download preprint from source29
5Download preprint from source27
6Download preprint from source20
7Download preprint from source13
8Download preprint from source10