Dynamic symbolic execution has been shown an effective technique for automated test input generation. However, its scalability is limited due to the combinatorial explosion of the path space. We propose to take advantage of data flow analysis to better perform dynamic symbolic execution in the context of generating test inputs for maximum structural coverage. In particular, we utilize the chain...

Abstract. There has been much advancement in GPS receiver technology in recent years. GPS accuracy, especially the dynamic (moving) accuracy, is very important in precision agriculture for collecting data and controlling variable rate inputs. Typical applications of GPS receivers in agriculture include yield monitoring, parallel tracking and variable-rate application of fertilizer. Perhaps more...

In software testing, it is often desirable to find test inputs that exercise specific program features. To find these inputs by hand is extremely time-consuming, especially when the software is complex. Therefore, many attempts have been made to automate the process. Random test data generation consists of generating test inputs at random, in the hope that they will exercise the desired softwar...

In Software Testing, it is often desired to find test cases that exercise specific program features. But finding such test cases with hand can be extremely time-consuming, especially when the software is very complex. Many static and dynamic strategies have been proposed to solve these methods. Most of the earlier emphasis has been on using static constraint solving methods to find test cases w...

We present lazy expansion, a new algorithm for scalable test input generation using directed concolic execution. Lazy expansion is an instantiation of the counterexample-guided refinement paradigm from static software verification in the context of testing. Our algorithm works in two phases. It first explores, using concolic execution, an abstraction of the function under test by replacing each...

Dynamic Test Generation for Large Binary Programs