6 citations · 13 across the 6 of their papers we have counts for
Showing 2016Show all
2 papers · 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…
cs.PL2016★ 3 cited
A Practical Approach to Interval Refinement for math.h/cmath Functions
Roberto Bagnara, Michele Chiari, Roberta Gori +1
Verification of C++ programs has seen considerable progress in several areas, but not for programs that use these languages' mathematical libraries. The reason is that all librarie…