51 search results - page 3 / 11 » Tool support for randomized unit testing |
VL
2005
IEEE
14 years 16 days ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
SPIN
2010
Springer
13 years 5 months 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 ...
GECCO
2005
Springer
14 years 14 days ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
ECOOP
2006
Springer
13 years 10 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
Following the agile philosophy that all core features of a system need an automated test harness, performance requirements also need such a check when they are essential for the s...