4079 search results - page 183 / 816 » Differential Testing for Software |
FATES
2006
Springer
14 years 27 days ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
ISESE
2006
IEEE
14 years 3 months ago
2006
IEEE
Controlled experiments are a key approach to evaluate and evolve our understanding of software engineering technologies. However, defining and running a controlled experiment is a...
WCET
2007
13 years 10 months ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...
XPU
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We conducted a survey on Executable Acceptance Test Driven Development (or: Story Test Driven Development). The results show that there is often a substantial delay betwe...
ICSM
1999
IEEE
14 years 1 months ago
1999
IEEE
Test case prioritization techniques schedule test cases for execution in an order that attempts to maximize some objective function. A variety of objective functions are applicabl...