Automated unit testing of large industrial embedded software using concolic testing

Y Kim, Y Kim, T Kim, G Lee, Y Jang… - 2013 28th IEEE/ACM …, 2013 - ieeexplore.ieee.org
Current testing practice in industry is often ineffective and slow to detect bugs, since most
projects utilize manually generated test cases. Concolic testing alleviates this problem by …
被引用次数：65 相关文章

Automated unit testing of large industrial embedded software using concolic testing

Y Kim, Y Kim, T Kim, G Lee, Y Jang, M Kim - 2013 28th IEEE/ACM International … - infona.pl
Current testing practice in industry is often ineffective and slow to detect bugs, since most
projects utilize manually generated test cases. Concolic testing alleviates this problem by …

Automated Unit Testing of Large Industrial Embedded Software Using Concolic Testing

Y Kim, Y Kim, T Kim, G Lee, Y Jang… - 28th IEEE/ACM …, 2013 - koasas.kaist.ac.kr
Current testing practice in industry is often ineffective and slow to detect bugs, since most
projects utilize manually generated test cases. Concolic testing alleviates this problem by …

Automated unit testing of large industrial embedded software using concolic testing

Y Kim, Y Kim, T Kim, G Lee, Y Jang, M Kim - Proceedings of the 28th …, 2013 - dl.acm.org
Current testing practice in industry is often ineffective and slow to detect bugs, since most
projects utilize manually generated test cases. Concolic testing alleviates this problem by …

Automated unit testing of large industrial embedded software using concolic testing

Y Kim, Y Kim, T Kim, G Lee, Y Jang… - 2013 IEEE/ACM 28th …, 2013 - computer.org
Current testing practice in industry is often ineffective and slow to detect bugs, since most
projects utilize manually generated test cases. Concolic testing alleviates this problem by …
[PDF] psu.edu

[PDF][PDF] Automated Unit Testing of Large Industrial Embedded Software using Concolic Testing

Y Kim, Y Kim, T Kim, G Lee, Y Jang, M Kim - Citeseer
Current testing practice in industry is often ineffective and slow to detect bugs, since most
projects utilize manually generated test cases. Concolic testing alleviates this problem by …