isa-group / IDLReasonerLinks
IDLReasoner: A MiniZinc-based Java library for analyzing IDL specifications
☆11Updated 3 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 week
- 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…☆650Updated last week
- Web Fuzzing Dataset (WFD): a set of web/enterprise applications for experimentation in automated system testing☆41Updated 2 weeks ago
- A model-based test case generator☆236Updated 2 weeks ago
- A framework for automated black-box testing of RESTful APIs.☆62Updated 2 weeks ago
- Combinatorial Testing of RESTful APIs☆22Updated 9 months ago
- TESTAR, automated testing through the Graphical User Interface☆48Updated this week
- ☆30Updated last year
- A tool for REST API test coverage computation☆21Updated last month
- This is the repo for the Model-based testing tool GraphWalker.☆352Updated last year
- Automatic test generation for Java☆583Updated this week
- ☆465Updated this week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆98Updated this week
- A Java-based framework for combinatorial test input generation, fault characterization and automated test execution.☆11Updated last year
- ☆12Updated 2 years ago
- ☆62Updated last year
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- A Prototype of Sapienz (Out-of-date and no longer supported)☆80Updated 8 years ago
- Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…☆15Updated 3 years ago
- Analyse package dependency networks at the call graph level☆96Updated 2 years ago
- Multi-Objective GP for Automated Repair of Java☆45Updated 3 years ago
- ☆17Updated last year
- Chidamber and Kemerer Java Metrics☆100Updated 11 months ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆86Updated last year
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆33Updated last week
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆211Updated 8 months ago
- WASP Research Arena for Software☆12Updated 3 years ago
- Owl Eyes: Spotting UI Display Issues via Visual Understanding☆11Updated 5 years ago
- A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research☆903Updated 2 months ago