cuplv / chimpcheck
Combinator Library for writing test generators and test properties for Android Apps
☆12Updated 5 years ago
Alternatives and similar repositories for chimpcheck:
Users that are interested in chimpcheck are comparing it to the libraries listed below
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- (Abstract) Abstract Machine Experiments using Scala☆34Updated 4 years ago
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- A constraint solver abstraction layer for Java☆21Updated last year
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Scala library for parsing and printing the SMT-LIB format☆44Updated 2 years ago
- automated testing for JavaScript☆36Updated 7 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆80Updated 4 months ago
- Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes☆16Updated 5 years ago
- Efficient Mutation Testing for Java☆38Updated 2 years ago
- Inconsistent code detection for Java.☆14Updated 7 years ago
- Lecture material for DeepSpec Summer School 2017☆87Updated 3 years ago
- The Princess Theorem Prover☆26Updated this week
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆25Updated 2 months ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Dynamic Symbolic Execution of Android Apps☆22Updated 9 years ago
- A tool for Model Based Testing☆47Updated 2 years ago
- ☆14Updated 7 years ago
- Pluggable type-checking for Java☆20Updated this week
- WASP was superseded by: https://github.com/OCamlPro/owi☆14Updated 5 months ago
- An overview of property-based testing functionality☆58Updated 2 weeks ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- a concolic testing engine for Java☆102Updated 7 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- An SMT Solver for string constraints☆37Updated this week
- Main distribution of Petablox☆36Updated 7 years ago
- ☆46Updated 7 months ago
- A dynamic symbolic analysis tool for Java☆116Updated 5 years ago