ChunghaSung / JSdep
Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".
☆11Updated 5 years ago
Alternatives and similar repositories for JSdep:
Users that are interested in JSdep are comparing it to the libraries listed below
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- CoREBench: Errors in Find, Grep, Make☆14Updated 9 years ago
- Code Search Based Automated Repair Technique☆9Updated 4 years ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Updated 10 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year
- ☆9Updated 5 years ago
- Static Analyzer and Verifier☆47Updated 5 months ago
- The Cloud9 main repository☆52Updated 11 years ago
- ☆14Updated last year
- D4: Fast Concurrency Debugging with Parallel Differential Analysis☆18Updated 5 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆11Updated 7 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆18Updated 6 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Updated 10 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆16Updated 6 months ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 4 years ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆26Updated 6 years ago
- srcML Toolkit☆130Updated this week
- An empirical study on patch correctness☆15Updated 2 years ago
- Interactive Control Flow Graph Visualization.☆32Updated 3 years ago
- Tool for mutation testing of C programs☆20Updated 4 years ago
- A tool for learning bug patterns.☆11Updated 8 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- automated testing for JavaScript☆36Updated 7 years ago
- Static analysis tool to slice python programs☆36Updated 8 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Updated 2 years ago
- Static Slicer for LLVM☆66Updated 9 years ago
- ☆51Updated 9 years ago
- OpenCL extension for csmith.☆24Updated 8 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 5 months ago