Reply to: "Property-based software engineering measurement" | IEEE Journals & Magazine | IEEE Xplore