A data flow-based structural testing technique for FBD programs.
Eunkyoung JeeJunbeom YooSung Deok ChaDoo-Hwan BaePublished in: Inf. Softw. Technol. (2009)
Keyphrases
- data flow
- symbolic execution
- control flow
- object oriented software
- database machine
- software testing
- digital signal processing
- structural information
- databases
- object oriented
- data transfer
- static analysis
- bottle neck
- concurrent programs
- test generation
- test cases
- distributed systems
- low cost
- software engineering
- artificial intelligence