An empirical framework for comparing effectiveness of testing and property-based formal analysis