Login / Signup
Abstraction and refinement of mathematical functions toward SMT-based test-case generation.
Takuro Kutsuna
Yoshinao Ishii
Akihiro Yamamoto
Published in:
Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
</>
mathematical functions
test case generation
test cases
software testing
object oriented systems
test data generation
particle swarm optimisation
high level
test suite
java programs
search algorithm
objective function
open source
neural network
static analysis
test generation
artificial intelligence
machine learning