FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution.
Jaehan YoonSooyoung ChaPublished in: Proc. ACM Softw. Eng. (2024)
Keyphrases
- search strategy
- feature engineering
- symbolic execution
- dependency parsing
- search algorithm
- search strategies
- search space
- static analysis
- test generation
- text classification
- machine learning
- specification language
- test data generation
- natural language processing
- effective pruning
- source code
- labeled data
- speech processing
- feature selection
- real world
- data flow
- signal processing
- heuristic search
- databases
- general purpose
- software engineering
- semi supervised
- information extraction
- evolutionary algorithm
- feature space
- neural network