A Framework for Automated Combinatorial Test Generation, Execution, and Fault Characterization | IEEE Conference Publication | IEEE Xplore