ChunghaSung / JSdepLinks
Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".
☆10Updated 6 years ago
Alternatives and similar repositories for JSdep
Users that are interested in JSdep are comparing it to the libraries listed below
Sorting:
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Updated 7 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- Semantic program repair system for C programs☆100Updated 2 years ago
- This is java implementation of Graspan.☆20Updated last year
- An empirical study on patch correctness☆15Updated 2 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 7 months ago
- Map2Check: Finding Software Vulnerabilities☆29Updated 4 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆18Updated 6 years ago
- An LLVM-based formal verification frontend for C programs.☆24Updated 3 years ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆54Updated 7 years ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆26Updated 6 years ago
- Dynamic Program Slicing in LLVM Compiler☆142Updated 7 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- ☆11Updated 4 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆21Updated 3 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 10 years ago
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago
- Artifact for the OOPSLA 17 DejaVu Paper☆10Updated 8 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Updated 10 years ago
- Public-facing course info for program analysis materials.☆42Updated last month
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- ☆12Updated 6 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- Tool for analyzing git log messages and diffs.☆22Updated 4 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- ☆26Updated 4 years ago
- ☆20Updated 6 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- ☆14Updated last year