Semi-proving: an integrated method for program proving, testing, and debugging
Tsong Yueh Chen
T. H. TseFollow
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.
Since February 03, 2013
My Account |