Answers are grounded in this paper and cite their sources.
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of the software's implementation details. This paper applies the method to software components. An automated testing tool called CASCAT for Java components is presented. A case study of the tool shows the high fault detecting ability.
No takes yet. Share an insight, caveat, or question.
Kong et al. (2007) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: