Title

Semi-proving: an integrated method for program proving, testing, and debugging

RIS ID

35592

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.

Please refer to publisher version or contact your library.

Share

COinS
 

Link to publisher version (DOI)

http://dx.doi.org/10.1109/TSE.2010.23