Concolic testing framework for industrial embedded software

T Kim, J Park, I Kulida, Y Jang - 2014 21st Asia-Pacific …, 2014 - ieeexplore.ieee.org
Recently, concolic testing has drawn a lot of attention from the research community as a
practical solution of overcoming limitations of manual test case generation. CONBOL, a …

Concolic Testing Framework for Industrial Embedded Software

T Kim, J Park, I Kulida, Y Jang - Proceedings of the 2014 21st Asia …, 2014 - dl.acm.org
Recently, concolic testing has drawn a lot of attention from the research community as a
practical solution of overcoming limitations of manual test case generation. CONBOL, a …

Concolic Testing Framework for Industrial Embedded Software

T Kim, J Park, I Kulida, Y Jang - 2014 21st Asia-Pacific Software Engineering … - infona.pl
Recently, concolic testing has drawn a lot of attention from the research community as a
practical solution of overcoming limitations of manual test case generation. CONBOL, a …

Concolic Testing Framework for Industrial Embedded Software

T Kim, J Park, I Kulida, Y Jang - 2014 21st Asia-Pacific Software …, 2014 - computer.org
Recently, concolic testing has drawn a lot of attention from the research community as a
practical solution of overcoming limitations of manual test case generation. CONBOL, a …