A case study of concolic testing tools and their limitations
X Qu, B Robinson - 2011 International Symposium on …, 2011 - ieeexplore.ieee.org
Automatic testing, in particular test input generation, has become increasingly popular in the
research community over the past ten years. In this paper, we conduct a survey on existing …
research community over the past ten years. In this paper, we conduct a survey on existing …
A Case Study of Concolic Testing Tools and their Limitations
X Qu, B Robinson - 2011 International Symposium on Empirical Software … - infona.pl
Automatic testing, in particular test input generation, has become increasingly popular in the
research community over the past ten years. In this paper, we conduct a survey on existing …
research community over the past ten years. In this paper, we conduct a survey on existing …
[PDF][PDF] A Case Study of Concolic Testing Tools and Their Limitations
X Ïu, B Robinson - researchgate.net
I. INTRODUCTION method in which a programmer tests if individual units of to verify that
later changes, such as refactoring, do not cause existing code to break. Therefore, unit test …
later changes, such as refactoring, do not cause existing code to break. Therefore, unit test …
[PDF][PDF] A Case Study of Concolic Testing Tools and Their Limitations
X Ïu, B Robinson - academia.edu
I. INTRODUCTION method in which a programmer tests if individual units of to verify that
later changes, such as refactoring, do not cause existing code to break. Therefore, unit test …
later changes, such as refactoring, do not cause existing code to break. Therefore, unit test …
A Case Study of Concolic Testing Tools and their Limitations
X Qu, B Robinson - 2011 International Symposium on Empirical …, 2011 - computer.org
Automatic testing, in particular test input generation, has become increasingly popular in the
research community over the past ten years. In this paper, we conduct a survey on existing …
research community over the past ten years. In this paper, we conduct a survey on existing …
A Case Study of Concolic Testing Tools and their Limitations
X Qu, B Robinson - Proceedings of the 2011 International Symposium …, 2011 - dl.acm.org
Automatic testing, in particular test input generation, has become increasingly popular in the
research community over the past ten years. In this paper, we conduct a survey on existing …
research community over the past ten years. In this paper, we conduct a survey on existing …
[PDF][PDF] A Case Study of Concolic Testing Tools and Their Limitations
X Ïu, B Robinson - researchgate.net
I. INTRODUCTION method in which a programmer tests if individual units of to verify that
later changes, such as refactoring, do not cause existing code to break. Therefore, unit test …
later changes, such as refactoring, do not cause existing code to break. Therefore, unit test …