Pages that link to "Item:Q4593040"
From MaRDI portal
The following pages link to Assertion-based analysis via slicing with<tt>ABETS</tt>(system description) (Q4593040):
Displaying 6 items.
- ABETS (Q43696) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Inferring safe Maude programs with ÁTAME (Q1662189) (← links)
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system (Q2209262) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- Symbolic Analysis of Maude Theories with Narval (Q5108507) (← links)