BOOK-CHAPTER
Abstraction-driven Concolic Testing
Przemysław DacaAshutosh GuptaThomas A. Henzinger
Year: 2015 Lecture notes in computer science Pages: 328-347 Publisher: Springer Science+Business Media
Keywords:
Concolic testing Computer science Fuzz testing Code coverage Abstraction Model checking Test case Cover (algebra) Programming language Symbolic execution Theoretical computer science Algorithm Machine learning Software
Metrics
33
Cited By
3.21
FWCI (Field Weighted Citation Impact)
43
Refs
0.92
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Software Testing and Debugging Techniques
Physical Sciences → Computer Science → Software
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Software Reliability and Analysis Research
Physical Sciences → Computer Science → Software
Related Documents
JOURNAL ARTICLE
Concolic Fault Abstraction
Chanseok OhMartin SchäfDaniel Schwartz‐NarbonneThomas Wies
Year: 2014 Vol: 3 Pages: 135-144
JOURNAL ARTICLE
State merging for concolic testing of event-driven applications
Maarten VandercammenCoen De Roover
Journal: Science of Computer Programming Year: 2025 Vol: 242 Pages: 103264-103264
JOURNAL ARTICLE
Quantum Concolic Testing
Shangzhou XiaJianjun ZhaoFuyuan ZhangXiaoyu Guo
Journal: Proceedings of the ACM on software engineering. Year: 2025 Vol: 2 (ISSTA)Pages: 1146-1166