Crossmark

A bounded constraint-based approach to aid in fault localization from a counterexample

Published Online: 2024-04-12

Published Print: 2025-06

Authors

Bekkouche, Mohammed
License Information

Text and Data Mining valid from 2024-04-12

Version of Record valid from 2024-04-12
More Information

Article History

Received: 2 November 2022

Accepted: 17 March 2024

First Online: 12 April 2024

Declarations

:

: The author has no relevant financial or non-financial interests to disclose.

Document is current