388 search results - page 25 / 78 » Guiding random test generation with program analysis |
GECCO
2006
Springer
14 years 15 days ago
2006
Springer
1 Learnable Evolution Model (LEM) is a form of non-Darwinian evolutionary computation that employs machine learning to guide evolutionary processes. Its main novelty are new type o...
SIGSOFT
2009
ACM
14 years 3 months ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
EMSOFT
2006
Springer
14 years 16 days ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
BIRTHDAY
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
Automated cost-effective test strategies are needed to provide reliable, secure, and usable web applications. As a software maintainer updates an application, test cases must accu...