MC/DC vs. SPARKAda – A comparison between advanced test strategies and formal static analysis

PDF

Authors
  1. Painchaud, F.
  2. Michaud, F.
Corporate Authors
Defence R&D Canada - Valcartier, Valcartier QUE (CAN)
Abstract
Report Number
DRDC-VALCARTIER-SL-2010-258 — Scientific Literature
Date of publication
01 Aug 2010
Number of Pages
40
DSTKIM No
CA035028
CANDIS No
534651
Format(s):
Electronic Document(PDF)

Permanent link

Document 1 of 1

Date modified: