Towards MC/DC Coverage of Properties Specification Patterns

Theoretical Aspects of Computing – ICTAC 2016 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-46750-4_10 ◽

2016 ◽

pp. 158-175 ◽

Cited By ~ 1

Author(s):

Ana C. V. de Melo ◽

Corina S. Păsăreanu ◽

Simone Hanazumi

Download Full-text