MC/DC coverage-oriented compiler optimization for symbolic execution

Autor:	Chendong Feng, Zhenbang Chen, Yi-jun Liu, Wei Dong
Rok vydání:	2018
Předmět:	Computer science 020204 information systems 0202 electrical engineering electronic engineering information engineering Optimizing compiler 020207 software engineering 02 engineering and technology Parallel computing Symbolic execution
Zdroj:	ICSE (Companion Volume)
DOI:	10.1145/3183440.3195102
Popis:	Compiler optimizations influence the effectiveness and efficiency of symbolic execution. In this extended abstract, we report our recent results of recommending compiler optimizations for symbolic execution w.r.t. MC/DC coverage. We carried out extensive experiments to study the influence of compiler optimizations on MC/DC coverage. Then, an SVM-based optimization recommendation method is designed and implementation. The preliminary experimental results are promising.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::29afa9400b6c3663f4878943cc48b423 https://doi.org/10.1145/3183440.3195102 Zobrazit plný text záznamu