Concolic testing

Related papers: 2

Top Cited Papers

Proceedings of the First NASA Formal Methods Symposium

Ewen Denney, Dimitra Giannakopoulou, Corina S. Păsăreanu

Citations: 6 • 2009

Poster: Combining Fuzzing with Concolic Execution for IoT Firmware Testing

Jihyeon Yu, Juhwan Kim, Yeohoon Yun, Joobeom Yun

Citations: 4 • 2023