Research on technique of software testing based on fault tree analysis | IEEE Conference Publication | IEEE Xplore