BOOK-CHAPTER
Versatile Binary-Level Concolic Testing
Keywords:
Computer science Concolic testing Firmware Embedded system Symbolic execution Code coverage Operating system Kernel (algebra) Software Computer architecture
Metrics
1
Cited By
0.60
FWCI (Field Weighted Citation Impact)
36
Refs
0.70
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Software Testing and Debugging Techniques
Physical Sciences → Computer Science → Software
Software Reliability and Analysis Research
Physical Sciences → Computer Science → Software
Radiation Effects in Electronics
Physical Sciences → Engineering → Electrical and Electronic Engineering
Related Documents
BOOK-CHAPTER
CRETE: A Versatile Binary-Level Concolic Testing Framework
Bo ChenChristopher HavlicekZhenkun YangKai CongRaghudeep KannavaraFei Xie
Lecture notes in computer science Year: 2018 Pages: 281-298
JOURNAL ARTICLE
Grey-Box Concolic Testing on Binary Code
Jaeseung ChoiJoonun JangChoongwoo HanSang Kil
Year: 2019
JOURNAL ARTICLE
Incremental Concolic Testing of Register-Transfer Level Designs
Hasini WitharanaAruna JayasenaPrabhat Mishra
Journal: ACM Transactions on Design Automation of Electronic Systems Year: 2024 Vol: 29 (3)Pages: 1-23