90 followers
Abstract Interpretation + Symbolic Execution = Value Range Analysis (Dernehl, Hansen, Kowalewski) https://t.co/SXSa77cWZP #sefm16 #staf16
Abstract Interpretation + Symbolic Execution = Value Range Analysis (Dernehl, Hansen, Kowalewski) https://t.co/SXSa77cWZP #sefm16 #staf16