Statistics for A framework for machine-assisted software architecture validation