388 search results - page 7 / 78 » Guiding random test generation with program analysis |
135
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
128
Voted
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
182
Voted
PTS
2010
15 years 14 days ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
138
Voted
SPIN
2010
Springer
15 years 29 days ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
132
click to vote
ISPW
2007
IEEE
15 years 8 months ago
2007
IEEE
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...