4079 search results - page 488 / 816 » Differential Testing for Software |
151
click to vote
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
130
Voted
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
135
Voted
KBSE
2006
IEEE
15 years 11 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
165
click to vote
ECLIPSE
2006
ACM
15 years 11 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
158
click to vote
MSR
2006
ACM
15 years 11 months ago
2006
ACM
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...