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

Versatile Binary-Level Concolic Testing

Bo ChenFei Xie

Year: 2024 Pages: 1365-1388
JOURNAL ARTICLE

Concolic testing

Koushik Sen

Year: 2007 Pages: 571-572
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
© 2026 ScienceGate Book Chapters — All rights reserved.