len-bass / dosebookLinks
☆24Updated last year
Alternatives and similar repositories for dosebook
Users that are interested in dosebook are comparing it to the libraries listed below
Sorting:
- Tool to visualize executions of multi-threaded systems☆13Updated 5 years ago
- ☆13Updated 5 years ago
- TLA+ programs☆9Updated 7 years ago
- A reading/viewing list about the theory and practice of performance engineering☆31Updated 5 years ago
- Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".☆10Updated 6 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 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…☆74Updated 3 years ago
- D4: Fast Concurrency Debugging with Parallel Differential Analysis☆18Updated 5 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Updated 5 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 4 years ago
- Arnold source code☆46Updated 6 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- Repository of the DevOps course at KTH Royal Institute of Technology DD2482☆195Updated last week
- Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urnsediva-320638☆137Updated 10 months ago
- Small numerical simulator example☆55Updated last year
- ☆34Updated 2 years ago
- A course on advanced object-oriented design and programming☆10Updated 4 months ago
- Reading the linearizability paper with TLA+☆49Updated 3 years ago
- PIRA - Automatic Instrumentation Refinement☆16Updated last year
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆29Updated 3 years ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 6 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Updated 7 years ago
- Chiron Framework for PAVT Teaching☆19Updated 3 months ago
- A MAL language that demonstrates the Maven project structure☆23Updated 3 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 5 years ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Updated 4 years ago
- Distributed termination detection on a ring, due to Shmuel Safra:☆52Updated 11 months ago
- With this tool, projects can be compiled easily for fuzzing with AFL or for static code analysis with tools like CBMC. One-line-scan hook…☆21Updated 2 years ago
- ☆14Updated 3 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Updated 5 years ago