Chen, T. Yueh., Tse, T. H. & Zhou, Z. Quan. (2011). Semi-proving: an integrated method for program proving, testing, and debugging. IEEE Transactions on Software Engineering, 37 (1), 109-125.
Please refer to publisher version or contact your library.
Publication Details
Chen, T. Yueh., Tse, T. H. & Zhou, Z. Quan. (2011). Semi-proving: an integrated method for program proving, testing, and debugging. IEEE Transactions on Software Engineering, 37 (1), 109-125.