Automated test case generation for FBD programs implementing reactor protection system software.
Eunkyoung JeeDonghwan ShinSung Deok ChaJang-Soo LeeDoo-Hwan BaePublished in: Softw. Test. Verification Reliab. (2014)
Keyphrases
- test case generation
- java programs
- software testing
- test cases
- test data generation
- object oriented systems
- test suite
- software development
- software systems
- source code
- static analysis
- software engineering
- object oriented
- multi threaded
- computer systems
- software components
- relational databases
- genetic programming
- databases
- software maintenance
- quality assurance
- multi objective
- user interface
- training data