4079 search results - page 507 / 816 » Differential Testing for Software |
122
click to vote
SEKE
2007
Springer
15 years 11 months ago
2007
Springer
— We present a statistical approach for software agents to learn ontology concepts from peer agents by asking them whether they can reach consensus on significant differences bet...
146
click to vote
VLSI
2007
Springer
15 years 11 months ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
125
click to vote
CHI
2006
ACM
15 years 11 months ago
2006
ACM
Earlier research on gender effects with software features intended to help problem-solvers in end-user debugging environments has shown that females are less likely to use unfamil...
135
click to vote
ESCIENCE
2005
IEEE
15 years 10 months ago
2005
IEEE
Security is a critical component of grid systems and while there are numerous software components and tools that provide some capabilities relating to security, there are few comp...
146
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...