Merge remote-tracking branch 'origin/main'

LICENSE

build.gradle

gradle.properties

pages/docs/fuzzing.md

pages/docs/img/openapi.png

pages/docs/img/parser.png

pages/docs/index.md

pages/docs/uml.md

pages/mkdocs.yml

src/main/jastadd/InferParameter.jrag

src/main/jastadd/RandomRequestGenerator.jrag

src/main/jastadd/Reference.jrag

...de/tudresden/inf/st/openapi/HttpURLConnectionExample.java

src/main/java/de/tudresden/inf/st/openapi/ListAPIs.java

src/main/java/de/tudresden/inf/st/openapi/OpenAPIMain.java

src/main/resources/3.0/api-with-examples.json

src/main/resources/3.0/api-with-examples.yaml

src/main/resources/3.0/callback-example.json

src/main/resources/3.0/callback-example.yaml

src/main/resources/3.0/link-example.json