Parameterized Search Heuristic Prediction for Concolic Execution.
Farnoushsadat NilizadehHamid DashtbaniMaryam MouzaraniPublished in: APSEC (2023)
Keyphrases
- search algorithm
- search strategies
- search space
- search effort
- prediction accuracy
- beam search
- search procedure
- heuristic function
- search queries
- search procedures
- prediction algorithm
- heuristic search algorithms
- prediction error
- pattern databases
- heuristic search
- dynamic programming
- forward search
- search tools
- execution model
- admissible heuristics
- greedy search
- search heuristics
- heuristic functions
- search efficiency
- search problems
- neural network
- heuristic methods
- prediction model
- tabu search
- optimal solution
- information retrieval