Year: 2025
Type: conference-paper
Abstract: Software in the wild exhibits various computational efforts, such as dynamic behaviors arising from runtime invocations and nondeterministic behaviors introduced by probabilistic algorithms. These efforts complicate software testing because they require meaningful inputs for invocation, introduce additional branching decisions at runtime, and produce divergent outcomes for identical inputs.
Authors: Yuxin Qiu, Qian Zhang
Institution: University of California, Riverside
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
OpenAlex ID: W4412704037
