Assisting the definition and execution of test suites for complex systems | IEEE Conference Publication | IEEE Xplore