6 results found Sort:

WebFuzzing
EvoMaster WebFuzzing
94
565
lgpl-3.0
22
The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise applications. Currently targeting whitebox and blackbox testing of ...
grpc java rest fuzzer kotlin thrift fuzzing graphql rpc-api testing api-rest api-testing test-case-generation evolutionary-algorithms search-based-software-testing
Created 2017-05-25
11,333 commits to master branch, last one a day ago
NASA-SW-VnV
fret NASA-SW-VnV
56
344
other
22
A framework for the elicitation, specification, formalization and analysis of requirements.
autonomy aerospace requirements robotic-systems formal-verification consistency-checking test-case-generation safety-critical-systems probabilistic-requirements early-verification-validation
Created 2019-11-26
1,332 commits to master branch, last one 15 days ago
DES-Lab
AALpy DES-Lab
27
180
other
6
An Automata Learning Library Written in Python
kv dfa rpni lstar python alergia automata markov-chain model-mining model-learning automata-learning pushdown-automata equivalence-oracles model-based-testing context-free-grammar finite-state-machine test-case-generation probabilistic-automata markov-decision-processes
Created 2021-03-18
1,238 commits to master branch, last one 13 days ago
tianshanghong
GPT4Go tianshanghong
6
64
mit
2
GPT4Go: AI-Powered Test Case Generation for Golang 🧪
gpt-4 golang gpt4go openai chatgpt ai-testing chatgpt-go go-testing openai-api golang-test golang-tests golang-testing golang-utility code-generation test-automation test-generation software-testing ai-powered-testing test-case-generation
Created 2023-04-02
23 commits to main branch, last one 2 years ago
Tanmay-901
test-case-generator Tanmay-901
22
52
gpl-3.0
1
Test Case generator for competitive coding. Test case generator for competitive programming and potentially for software testing.
python python3 tkinter test-cases plug-n-play hacktoberfest tkinter-toolkit competitive-coding test-case-generator test-case-generation competitiveprogramming competitive-programming competitive-programming-contests competitive-programming-algorithms
Created 2020-12-18
172 commits to master branch, last one about a year ago
langston-barrett
tree-splicer langston-barrett
6
31
mit
2
Simple grammar-based test case generator
fuzzer black-box tree-sitter test-case-generation grammar-based-fuzzing grammar-based-testing
Created 2023-03-12
133 commits to main branch, last one 22 days ago