Assertion-based analysis via slicing with ABETS

María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis. Assertion-based analysis via slicing with ABETS. TPLP, 16(5-6):515-532, 2016. [doi]

Abstract

Abstract is missing.