498 search results - page 46 / 100 » Automated Software Test Data Generation for Complex Programs |
109
click to vote
ISSRE
2007
IEEE
15 years 3 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
124
Voted
ICAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Recent advances in hardware and software virtualization offer unprecedented management capabilities for the mapping of virtual resources to physical resources. It is highly desira...
123
Voted
AGILEDC
2007
IEEE
15 years 8 months ago
2007
IEEE
Test-Driven Development (TDD) is an agile practice that is widely accepted and advocated by most agile methods and methodologists. In this paper, we report on a post hoc analysis ...
125
Voted
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
121
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...