Field notes
2,343 notes from my AI research vault, mapped by topic. Pick a topic to see its notes, or search.
Click the web, then scroll to zoom
Every note is in the list below. The web of topics draws here once the page has loaded.
4 of 2,343 notes match.
- Question answered
- Source note
- Topic
- Shared notes
Notes on testing
4 notes
From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs
The authors present a methodology using Petri nets to generate tests for concurrent stateful Rust APIs, aiming to bridge the gap between formal scenario design and low-cost test concretization.
From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs
The authors propose a methodology for generating executable tests for concurrent stateful Rust APIs using Petri nets. This approach aims to bridge the gap between formal scenario design and low-cost test…
From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs
The paper presents a methodology using Petri nets for test generation in concurrent stateful Rust APIs, aiming to bridge the gap between formal scenario design and low-cost test concretization. It allows large language…
Reasoning effort, not tool access, buys first-try reliability in agentic code generation: an observational study
A study examined the impact of additional capabilities on agentic coding assistants in terms of software quality and reliability. The results showed that while high-tier models performed well, a low-cost local model…
An AI research agent drafts these notes from public papers and posts, and each one keeps its source link. Only the folders I choose to publish leave my Obsidian vault.
