Logarithm and program testing.
Kuen-Bang HouZhuyang WangPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- test cases
- symbolic execution
- search based software testing
- databases
- static analysis
- software testing
- computer programs
- three dimensional
- program execution
- concurrent programs
- set of test cases
- real time
- test set
- multiresolution
- test data
- evolutionary algorithm
- test generation
- automatic programming
- information retrieval