ksluckow / awesome-symbolic-execution Goto Github PK View Code? Open in Web Editor NEW 1.3K 1.3K 133.0 46 KB A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools. License: Creative Commons Zero v1.0 Universal awesome-list dynamic-analysis dynamic-symbolic-execution symbolic-execution Introduction ยท People ยท Discuss
[Cadar2013] Symbolic Execution for Software Testing: Three Decades Later This is an insightful survey paper with almost 1000 citation, I think it should not miss in this list.
Abandoned? Is this abandoned? No pull requests have been merged for years. In that case, could you archive the repository to signal that, so contributors don't potentially waste their time?
Viper / Silicon The verification toolset and intermediate language Viper uses a symbolic execution backend as a default: https://github.com/viperproject/silicon Silicon itself uses Z3.
Vue.js ๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
javascript JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Machine learning Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Facebook We are working to build community through open source technology. NB: members must have two-factor auth.