id: 70933982
dt: a
an: 70933982
au: Kim, Yunho; Kim, Moonzoo
ti: SCORE: a scalable concolic testing tool for reliable embedded software
so: SIGSOFT FSE, 420-423 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/2025113.2025180