State merging for concolic testing of event-driven applications

JOURNAL ARTICLE

Year: 2025 Journal: Science of Computer Programming Vol: 242 Pages: 103264-103264 Publisher: Elsevier BV

DOI: 10.1016/j.scico.2025.103264

Keywords:

Computer science Concolic testing Event (particle physics) State (computer science) Programming language Symbolic execution Software

Metrics

Cited By

8.25

FWCI (Field Weighted Citation Impact)

Refs

0.86

Citation Normalized Percentile

Is in top 1%

Is in top 10%

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