Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost.
Malte MuesFalk HowarPublished in: ASE (2021)
Keyphrases
- data driven
- formative evaluation
- cost effectiveness
- high accuracy
- computer aided
- user interface
- error rate
- high cost
- engineering design
- meta level
- minimum cost
- high level abstraction
- genetic algorithm
- design solutions
- assessment tool
- design tools
- evaluation method
- cost sensitive
- precision and recall
- combinatorial optimization
- software architecture
- building blocks
- computational cost