Using advanced tools to automate the design, generation and execution of formal qualification testing | IEEE Conference Publication | IEEE Xplore