Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems.
Howard S. CohlAndré Greiner-PetterMoritz SchubotzPublished in: CICM (2018)
Keyphrases
- computer algebra systems
- computer algebra
- theorem prover
- theorem proving
- search based testing
- data driven
- connectionist models
- symbolic representation
- semi automated
- test cases
- sensitivity analysis
- fully automated
- neural network
- decision trees
- high level
- test data generation
- symbolic data
- automated analysis
- horn clauses
- knowledge representation
- source code
- fully automatic
- test set