Tailoring programs for static analysis via program transformation | 0 | 0.34 | 2020 |
Building Reusable Repertoires for Stochastic Self-* Planners | 0 | 0.34 | 2020 |
Lightweight multi-language syntax transformation with parser parser combinators | 2 | 0.38 | 2019 |
Striking gold in software repositories?: an econometric study of cryptocurrencies on GitHub | 1 | 0.37 | 2019 |
Towards s/engineer/bot: principles for program repair bots | 1 | 0.35 | 2019 |
A panel data set of cryptocurrency development activity on GitHub | 0 | 0.34 | 2019 |
Cross-Architecture Lifter Synthesis. | 0 | 0.34 | 2018 |
Semantic crash bucketing. | 7 | 0.48 | 2018 |
Static automated program repair for heap properties. | 9 | 0.44 | 2018 |
Defending against the attack of the micro-clones | 3 | 0.39 | 2016 |
Lowering the USB fuzzing barrier by transparent two-way emulation | 0 | 0.34 | 2014 |