Author

Lionel C. Briand

h-index 4 View on Semantic Scholar

We have 2 of 13 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

BeSpec: Behavior-Level Specification Alignment for Code Generation

BeSpec is presented, a behavioral model-based approach to specification alignment that treats the task description as partial evidence about the intended behavior of the correct program, and first builds an explicit behavioral model, which are checkable properties that valid outputs must satisfy.

Qinghua Xu, Guancheng Wang, Boxi Yu et al. · 0 citations

Preprint Jul 2026

TATG: Tracking-Aware Testing Objective for LLM-based Test Generation

TATG introduces a unified objective representation that captures testing requirements derived from static analysis and dynamic feedback that enables fine-grained tracking of satisfied and unresolved requirements throughout generation.

Guancheng Wang, Qinghua Xu, Lionel C. Briand · 0 citations