Automata Models for Effective Bug Pattern Description
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909720372051968 |
|---|---|
| author | Yaacov, Tom Weiss, Gera Amram, Gal Hayoun, Avi |
| author_facet | Yaacov, Tom Weiss, Gera Amram, Gal Hayoun, Avi |
| contents | Debugging complex systems is a crucial yet time-consuming task. This paper presents the use of automata learning and testing techniques to obtain concise and informative bug descriptions. We introduce the concepts of Failure Explanations (FE), Eventual Failure Explanations (EFE), and Early Detection (ED) to provide meaningful summaries of failing behavior patterns. By factoring out irrelevant information and focusing on essential test patterns, our approach aims to enhance bug detection and understanding. We evaluate our methods using various test patterns and real-world benchmarks, demonstrating their effectiveness in producing compact and informative bug descriptions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_11146 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Automata Models for Effective Bug Pattern Description Yaacov, Tom Weiss, Gera Amram, Gal Hayoun, Avi Software Engineering Debugging complex systems is a crucial yet time-consuming task. This paper presents the use of automata learning and testing techniques to obtain concise and informative bug descriptions. We introduce the concepts of Failure Explanations (FE), Eventual Failure Explanations (EFE), and Early Detection (ED) to provide meaningful summaries of failing behavior patterns. By factoring out irrelevant information and focusing on essential test patterns, our approach aims to enhance bug detection and understanding. We evaluate our methods using various test patterns and real-world benchmarks, demonstrating their effectiveness in producing compact and informative bug descriptions. |
| title | Automata Models for Effective Bug Pattern Description |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2507.11146 |