Login / Signup
A Progress Bar for the JPF Search Using Program Executions.
Kaiyuan Wang
Hayes Converse
Milos Gligoric
Sasa Misailovic
Sarfraz Khurshid
Published in:
ACM SIGSOFT Softw. Eng. Notes (2018)
Keyphrases
</>
search algorithm
search space
search strategies
search strategy
search efficiency
data sets
genetic algorithm
databases
machine learning
search methods
solution space
exhaustive search
computer programs
semantic search
search based software testing