Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6872760 | Electronic Notes in Theoretical Computer Science | 2018 | 13 Pages |
Abstract
Program analysis plays a key part in improving modern software. Static (sound) analyses produce globally correct, but often pessimistic results while dynamic (complete) analyses yield highly precise results but with limited coverage. We present the Fuzzy set abstraction which generalizes previous work based on 3-valued logic. Our abstraction allows for hybrid analysis where static results are refined dynamically through the use of fuzzy control systems.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Jacob Lidman, Josef Svenningsson,