Generating test sequences using symbolic execution for event-driven real-time systems

Nam Hee Lee, Sung Deok Cha

Research output: Contribution to journalArticle

6 Citations (Scopus)

Fingerprint Dive into the research topics of 'Generating test sequences using symbolic execution for event-driven real-time systems'. Together they form a unique fingerprint.

Engineering & Materials Science