Property-based software engineering measurement | IEEE Journals & Magazine | IEEE Xplore