Distributed software testing with specification.

Carl K. Chang, Cheng-Chung Song, Rong-Fa Wang

Browse the full COMPSAC paper archive.