Efficient Test Generation for Dynamic Behaviors Leveraging Token-Level Input Commonalities

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.