133
Voted
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
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 t...