Combining testing and correctness verification in software reliability assessment | IEEE Conference Publication | IEEE Xplore