Bottom-up methodology for test preparation and refinement | IEEE Conference Publication | IEEE Xplore