Login / Signup

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.

Sergiy A. VilkomirJonathan P. Bowen
Published in: Formal Aspects Comput. (2006)
Keyphrases
  • control flow
  • software testing
  • software engineering
  • data flow
  • floating point
  • intelligent systems