Testing Functional Black-Box Programs Without a Specification.
Neil WalkinshawPublished in: Machine Learning for Dynamic Software Analysis (2018)
Keyphrases
- black box
- test cases
- white box
- integration testing
- white box testing
- test case generation
- state transition
- black boxes
- provably correct
- software testing
- symbolic execution
- formal verification
- unit testing
- hybrid systems
- specification language
- control flow
- functional language
- control program
- test set
- database
- test data generation
- formal specification
- high level
- java programs
- testing process
- logic programs
- relational databases
- artificial intelligence