devikasondhi

ARAT-RL

guava

Google core libraries for Java

javadoc-extractor

jflap-lib

An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.

nltk

NLTK Source

RegexGenerator

This project contains the source code of a tool for generating regular expressions for text extraction: 1. automatically, 2. based only on examples of the desired behavior, 3. without any external hint about how the target regex should look like

SAT-bench

A benchmark suit for SAT solvers

crosslibTest-study

Contains the dataset prepared and the results obtained in the study

DocDependency

Artifacts for the study on 'On Indirectly Dependent Documentation in the Context of Code Evolution: A Study'

EvoMaster

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 Web APIs, like REST, GraphQL and RPC (e.g., gRPC and Thrift).

devikasondhi/guava

Google core libraries for Java

devikasondhi/javadoc-extractor

devikasondhi/jflap-lib

An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.

devikasondhi/nltk

NLTK Source

devikasondhi/RegexGenerator

This project contains the source code of a tool for generating regular expressions for text extraction: 1. automatically, 2. based only on examples of the desired behavior, 3. without any external hint about how the target regex should look like

devikasondhi/SAT-bench

A benchmark suit for SAT solvers