A methodology for testing of information system under uncertainty | IEEE Conference Publication | IEEE Xplore