FIELD NOTES TOPIC
software testing
3 notes, newest first.
From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs
The paper proposes a methodology using Petri nets to generate tests for concurrent stateful Rust APIs, aiming to address issues with large language models (LLMs) in generating executable tests that may violate API…
SkillFuzz: Fuzzing Skill Composition for Implicit Intents Discovery in Open Skill Marketplaces
The paper presents SkillFuzz, an execution-free testing approach that helps detect unintended objectives (implicit intents) in large language model (LLM)-based agents operating on open skill marketplaces. SkillFuzz…
TestEvo-Bench: An Executable and Live Benchmark for Test and Code Co-Evolution
Researchers have developed TestEvo-Bench, a benchmark for testing software that evolves alongside code changes. The benchmark includes tasks mined from 152 open-source Java projects, with two tracks: test generation…
