We have 2 of 14 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.
A production-derived, white-box code-audit workflow whose instructions, edited files, tool logs, and expected checks are observable is examined, showing how a few omitted requirements can invalidate an otherwise complete artifact.
This work provides a bounded failure classification and empirical case study for white-box code auditing, and varies the surrounding context and classify where failures first become visible: lost requirements, editing drift, failed checking, or non-agent evaluator/runtime failures.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
