Using sensitivity analysis to validate a state variable model of the software test process | IEEE Journals & Magazine | IEEE Xplore