Model-Driven Software Measurement Framework: A Case Study

  • Authors:

  • Beatriz Mora;Felix Garcia;Francisco Ruiz;Mario Piattini

  • Affiliations:

  • -;-;-;-

  • Venue:
  • QSIC '09 Proceedings of the 2009 Ninth International Conference on Quality Software
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Static analysis works well at checking defects that clearly map to source code constructs. Model checking can find defects of deadlocks and routing loops that are not easily detected by static analysis, but faces the problem of state explosion. This ...