Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation.
Ryusei MoriMasaki NakamuraPublished in: ICST Workshops (2017)
Keyphrases
- test case generation
- test cases
- software testing
- test data generation
- object oriented systems
- formal specification
- test suite
- control flow
- high level
- case study
- machine translation
- transition systems
- software systems
- artificial intelligence
- cooperative
- reactive systems
- simulated annealing algorithm
- specification language
- static analysis
- information systems
- java programs
- data sets
- software engineering
- neural network
- object oriented
- databases