JOURNAL ARTICLE

State merging for concolic testing of event-driven applications

Maarten VandercammenCoen De Roover

Year: 2025 Journal:   Science of Computer Programming Vol: 242 Pages: 103264-103264   Publisher: Elsevier BV
Keywords:
Computer science Concolic testing Event (particle physics) State (computer science) Programming language Symbolic execution Software

Metrics

1
Cited By
8.25
FWCI (Field Weighted Citation Impact)
49
Refs
0.86
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Software Testing and Debugging Techniques
Physical Sciences →  Computer Science →  Software
Distributed systems and fault tolerance
Physical Sciences →  Computer Science →  Computer Networks and Communications
Radiation Effects in Electronics
Physical Sciences →  Engineering →  Electrical and Electronic Engineering

Related Documents

BOOK-CHAPTER

Abstraction-driven Concolic Testing

Przemysław DacaAshutosh GuptaThomas A. Henzinger

Lecture notes in computer science Year: 2015 Pages: 328-347
JOURNAL ARTICLE

Concolic testing

Koushik Sen

Year: 2007 Pages: 571-572
BOOK-CHAPTER

Merging Event-Driven Process Chains

Florian GottschalkWil M. P. van der AalstM. H. Jansen-Vullers

Lecture notes in computer science Year: 2008 Pages: 418-426
© 2026 ScienceGate Book Chapters — All rights reserved.