Assertion-based analysis via slicing with ABETS (system description). We present ABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs. ABETS uses slicing to automatically create reduced versions of both a run’s execution trace and executed program, reduced versions in which any information that is not relevant to the bug currently being diagnosed is removed. In addition, ABETS employs runtime assertion checking to automate the identification of bugs so that whenever an assertion is violated, the system automatically infers accurate slicing criteria from the failure. We summarize the main services provided by ABETS, which also include a novel assertion-based facility for program repair that generates suitable program fixes when a state invariant is violated. Finally, we provide an experimental evaluation that shows the performance and effectiveness of the system.
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Alpuente, M.; Ballis, D.; Sapiña, J.: Efficient safety enforcement for Maude programs via program specialization in the \textsfÁTAME system (2020)
- Alpuente, María; Escobar, Santiago; Sapina, Julia; Ballis, Demis: Symbolic analysis of Maude theories with Narval (2019)
- Alpuente, M.; Frechina, F.; Sapiña, J.; Ballis, D.: Assertion-based analysis via slicing with (\mathsfABETS) (system description) (2016)