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:
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Updated 7 years ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆56Updated 7 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- Slicing tool for c++ programs using clang AST.☆18Updated 4 years ago
- Static analysis tool to slice python programs☆38Updated 8 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- Python Symbolic Execution☆73Updated 6 years ago
- ☆15Updated 2 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 11 years ago
- ☆34Updated 2 years ago
- ☆10Updated 5 years ago
- Semantic program repair system for C programs☆101Updated 3 years ago
- This is java implementation of Graspan.☆20Updated last year
- Tool for analyzing git log messages and diffs.☆22Updated 4 years ago
- LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…☆77Updated 3 years ago
- ☆26Updated 4 years ago
- D4: Fast Concurrency Debugging with Parallel Differential Analysis☆18Updated 5 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆99Updated 4 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆20Updated 8 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Updated last year
- C++ template meta-programmable framework for authoring Pintools☆37Updated 5 years ago
- An empirical study on patch correctness☆15Updated 3 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Updated 10 years ago
- Dynamic Program Slicing in LLVM Compiler☆142Updated 7 years ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Updated 11 years ago
- A unification-based alias analysis and related tools☆35Updated last year
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 9 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆18Updated 2 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Updated 4 years ago