Old Web
English
Sign In
Acemap
>
Paper
>
Automating Equivalence Partitioning in Test Case Generation with a Computer Algebra System
Automating Equivalence Partitioning in Test Case Generation with a Computer Algebra System
2009
Hattori Satoshi
Keywords:
Boundary-value analysis
Mathematics
Quotient algebra
Functional programming
Discrete mathematics
Equivalence partitioning
Algorithm
Symbolic computation
Automated theorem proving
Algebra
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]