isa-group / IDLReasonerLinks
IDLReasoner: A MiniZinc-based Java library for analyzing IDL specifications
☆11Updated 4 years ago
Alternatives and similar repositories for IDLReasoner
Users that are interested in IDLReasoner are comparing it to the libraries listed below
Sorting:
- RESTest: Automated Black-Box Testing of RESTful Web APIs☆227Updated last month
- IDL: Inter-parameter Dependency Language☆19Updated last year
- The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise appl…☆656Updated this week
- Web Fuzzing Dataset (WFD): a set of web/enterprise applications for experimentation in automated system testing☆41Updated last month
- A framework for automated black-box testing of RESTful APIs.☆63Updated 2 weeks ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆212Updated 9 months ago
- An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.☆126Updated 2 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆86Updated last year
- Toradocu - automated generation of test oracles from Javadoc documentation☆44Updated last year
- Combinatorial Testing of RESTful APIs☆22Updated 10 months ago
- A tool for REST API test coverage computation☆21Updated last month
- TESTAR, automated testing through the Graphical User Interface☆50Updated 2 weeks ago
- Java Mutation Testing Framework Written in Python☆23Updated 4 months ago
- Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts☆20Updated 3 years ago
- Multi-Objective GP for Automated Repair of Java☆45Updated 3 years ago
- Automatic test generation for Java☆584Updated 2 weeks ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆71Updated 2 years ago
- A model-based test case generator☆236Updated 3 weeks ago
- EvoSuite - automated generation of JUnit test suites for Java classes☆893Updated 10 months ago
- ☆30Updated last year
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆44Updated 5 years ago
- ☆12Updated 2 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆97Updated last year
- ☆10Updated 3 years ago
- ☆59Updated 2 years ago
- ☆11Updated 2 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆102Updated last year
- ☆26Updated last week
- ☆23Updated 2 weeks ago
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆153Updated 2 years ago