On Structured Digraphs and Program Testing.
Simeon C. NtafosS. Louis HakimiPublished in: IEEE Trans. Computers (1981)
Keyphrases
- test cases
- symbolic execution
- test suite
- test data
- real world
- concurrent programs
- software testing
- computer programs
- search based software testing
- data sets
- set of test cases
- advanced research projects agency
- control program
- program execution
- test generation
- directed graph
- programming language
- case study
- decision trees
- website
- metadata
- information systems
- computer vision
- artificial intelligence