Assertion-based analysis via slicing withABETS(system description) | Publicación