?
Intelligent Systems Reference Library; Challenges of Software Verification ,
3
Local Completeness in Abstract Interpretation:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
4
A Formal Framework to Measure the Incompleteness of Abstrac..:
, In:
?
5
Analysis, Verification and Transformation for Declarative P..
Lecture Notes in Computer Science, 13160
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
11
Abstract interpretation repair:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
12
Property-Driven Code Obfuscations Reinterpreting Jones-Opti..:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
13