auto-code-etri / autocodeLinks
☆33Updated last month
Alternatives and similar repositories for autocode
Users that are interested in autocode are comparing it to the libraries listed below
Sorting:
- ☆28Updated last month
- A database of real-world C/C++ defaults to experiment in software engineering research☆58Updated last year
- NEST Data☆49Updated 4 years ago
- ☆35Updated last year
- ☆63Updated 3 months ago
- Spectrum-based Fault Localization Engine☆28Updated last year
- The repo for V0Finder (Security 21)☆26Updated 4 years ago
- ☆11Updated last year
- ☆55Updated this week
- The Sparrow Static Analyzer☆127Updated 4 years ago
- ☆14Updated 2 years ago
- ☆14Updated 2 years ago
- ☆26Updated 2 years ago
- ☆15Updated 2 years ago
- ☆16Updated 3 weeks ago
- Public version of CNEPS☆23Updated 11 months ago
- Artifact of a paper “Fonte: Finding Bug Inducing Commits From Failures” (ICSE'23)☆12Updated last year
- ☆48Updated last year
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆55Updated 2 years ago
- american fuzzy lop - a security-oriented fuzzer☆10Updated last year
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆17Updated 6 months ago
- A public repository for the class, "Software Security" at Seoul National University (SNU)☆13Updated 4 years ago
- ☆48Updated 3 weeks ago
- ☆29Updated 11 months ago
- ☆24Updated last month
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39Updated 2 years ago
- ☆30Updated 4 years ago
- We propose a novel DL-based mutation technique (LEAM), which adapts the syntax-guided encoder-decoder architecture to build two sub-model…☆29Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 5 months ago
- ☆15Updated 3 months ago