4079 search results - page 562 / 816 » Differential Testing for Software |
146
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Effective bug localization is important for realizing automated debugging. One attractive approach is to apply statistical techniques on a collection of evaluation profiles of pr...
130
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
151
click to vote
AMOST
2007
ACM
15 years 8 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
128
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly smal...
215
click to vote
SENSYS
2010
ACM
15 years 2 months ago
2010
ACM
As sensor network technologies become more mature, they are increasingly being applied to a wide variety of applications, ranging from agricultural sensing to cattle, oceanic and ...