activity
20162023
most citedCorrect Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification

6 citations · 13 across the 6 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2016

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages

Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti +1

NPATH is a metric introduced by Brian A. Nejmeh in [13] that is aimed at overcoming some important limitations of McCabe's cyclomatic complexity. Despite the fact that the declared…