Towards MC/DC Coverage of Properties Specification Patterns.

Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi

Browse the full ICTAC paper archive.