SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools

Input sensitivity on the performance of configurable systems an empirical study

“…Does the paper propose a solution to generalize the performance model across inputs? We identified 15 papers [99,16,20,77,41,98,42,51,97,52,39,63,56,57,17] proposing contributions that may help in better managing the input sensitivity problem. However, most of them have not been designed to operate over actual inputs, but rather changes of computing environments [41,98,42,51,97,52,39].…”

“…However, most of them have not been designed to operate over actual inputs, but rather changes of computing environments [41,98,42,51,97,52,39]. Other works [99,16,20,77,57] only apply it to a specific domain (database [99], compilation [16], cloud computing [20,57,17] or programs analysis [77]) with open questions about applicability and effectiveness in other areas. We plan to confront these techniques on our dataset for multiple systems.…”