Structural conformance checking with design tests: An evaluation of usability and scalability | IEEE Conference Publication | IEEE Xplore