CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution
Catala (Merigoux et al. 2021) is a recent domain specific language that aims to simplify translation of legal statutes describing algorithmic decision processes (e.g., tax law or social benefits) into executable code. Its semantics is based on the default calculus, which makes apparent cases where a law – or the Catala implementation thereof – fails to account of a situation, either because a rule is lacking or because two rules of equal importance apply at the same time.
We present work in progress on CUTECat, a concolic testing engine for Catala programs. This engine aims to identify all of Catala domain-specific errors – and in particular errors related to the default calculus – while also yielding an output that can be easily understood, and therefore reviewed by lawyers.
Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change
11:00 - 12:30 | Author Presentations with DiscussantsProLaLa at IBR East Chair(s): Sarah Lawsky Northwestern University Four presenters will share work they’ve submitted that is either already published elsewhere or in progress. Two discussants will lead a conversation about the works. Presentation of short papers will be followed by a discussion prompt corresponding to a question or topic for which the authors are specifically requesting feedback. | ||
11:00 20mTalk | Metamorphic Debugging for Accountable Software ProLaLa Saeid Tizpaz-Niari University of Texas at El Paso, Shiva Darian University of Colorado Boulder, Ashutosh Trivedi University of Colorado Boulder Pre-print | ||
11:20 10mTalk | Large Language Models for Executable Tax Code Generation ProLaLa | ||
11:45 20mTalk | Cross-Disciplinarity in Contemporary Code-Driven Legal Informatics ProLaLa | ||
12:05 10mTalk | CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution ProLaLa Pierre Goutagny Inria and University of Lille, Aymeric Fromherz Inria, Raphaël Monat Inria and University of Lille |