Message-Driven Test Case Generation Framework | IEEE Conference Publication | IEEE Xplore