Skip to main content
TDSEHub
Explore LSL Pipelines and their SRMs
Hello World (JDK Collections)

quickstart, example

Explore the 'Hello World' quickstart example

Base64 Encode/Decode (Maven Artifacts)

example

Explore how Maven artifacts can be used as part of stimulus matrices

Mutation Testing with LASSO

example

Explore how Mutation Testing can be used. The example demonstrates mutation testing based on an implementation of a bounded queue

Generate with OpenAI gpt4-o-mini

example

Explore how OpenAI's GPT models can be used with LASSO to prompt for code solutions and tests. The functionality sought after is taken from the HumanEval benchmark (e.g., coding problem HumanEval_13_greatest_common_divisor)

Generate with Ollama (llama3.1)

example

Explore how Ollama and compatible models can be used with LASSO to prompt for code solutions and tests. The functionality sought after is taken from the HumanEval benchmark (e.g., coding problem HumanEval_13_greatest_common_divisor)

Parameterized Sequence Sheets

example

Explore how sequence sheets can be parameterized (here using an example of Stack implementations)

Type-aware Test Mutation

example

Explore how existing sequence sheets can be mutated

Differential GAI with many Test Generators and LLMs (LLAMA and DeepSeek-R1)

dgai, example

Explore how LASSO can be used to realized Differential GAI

Replication of HumanEval-J/MBPP-J Benchmark

benchmark, replication, humaneval, mbpp, example

Explore how LASSO can be used to replicate studies and reuse their designs, here based on the example of HumanEval-J (MultiPL-E)

Diversity-driven Test Generation with EvoSuite and HumanEval-J

evosuite, benchmark, humaneval, example

Explore how EvoSuite automated unit test generation can be used in LASSO with HumanEval-J (MultiPL-E) to realize diversity-driven test generation

Code Clone Detection with Nicad6.2

code clone, nicad, example

Explore how Nicad's code clone detection can be used in LASSO to filter SRMs