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☆229Updated 2 months ago
- IDL: Inter-parameter Dependency Language☆20Updated last year
- The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise appl…☆668Updated this week
- Web Fuzzing Dataset (WFD): a set of web/enterprise applications for experimentation in automated system testing☆42Updated last week
- A framework for automated black-box testing of RESTful APIs.☆62Updated last month
- A model-based test case generator☆236Updated last month
- This is the repo for the Model-based testing tool GraphWalker.☆358Updated last year
- A tool for REST API test coverage computation☆21Updated 3 months ago
- Tools for combinatorial testing developed by the NIST ACTS project☆75Updated 6 years ago
- Quality Automation Framework for web, mobileweb, mobile native and rest web-service using Selenium, webdrier, TestNG and Java Jersey☆264Updated last year
- TESTAR, automated testing through the Graphical User Interface☆51Updated this week
- AI Generation and Exploration in Test☆18Updated 7 years ago
- Test automation examples on Java with Maven.☆31Updated 4 months ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- A simple list of Software Testing Conferences and Workshops☆111Updated this week
- Self-healing library for Selenium Web-based tests☆139Updated 2 months ago
- Java implementation of Combinatorial Test Case Generation☆47Updated 2 years ago
- Test Automation Framework - TAF☆18Updated 3 years ago
- A skeleton project for Serenity BDD and Cucumber JVM☆198Updated last month
- A book about Serenity BDD☆42Updated 2 weeks ago
- RobotFramework-AI is a library that adds AI functionality to the Robot Framework. It can generate test data for you using the RealTestDat…☆37Updated last year
- ☆33Updated 2 weeks ago
- Extent Reporting Library, Java. Project has been sunset and being replaced by ChainTest.☆236Updated last year
- Clear and concise reporting for the Cucumber BDD and Karate JSON result format.☆287Updated last month
- Model Based Testing Tool☆34Updated 4 years ago
- Examples of the O'Reilly book "Hands-On Selenium WebDriver with Java"☆202Updated this week
- Tool which generates full picture of coverage of API tests based on OAS (Swagger) v2 and v3☆215Updated 2 years ago
- Self-healing library for Selenium Web-based tests☆197Updated 3 weeks ago
- The Open Source Test Automation Platform.☆357Updated this week
- Powerful Framework for UI Automation Testing on Java☆115Updated 2 weeks ago