Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform.

Yunho Kim, Moonzoo Kim, Nam Dang

Browse the full ICTAC paper archive.