4079 search results - page 491 / 816 » Differential Testing for Software |
142
Voted
CHI
2004
ACM
16 years 5 months ago
2004
ACM
Heuristics have become an accepted and widely used adjunct method of usability evaluation in Internet and software development. This report introduces Heuristic Evaluation for Pla...
165
click to vote
RSP
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
128
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Several general purpose benchmark generators are now available in the literature. They are convenient tools in dynamic continuous optimization as they can produce test instances w...
161
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
136
Voted
NIPS
2004
15 years 6 months ago
2004
The NIPS 2003 workshops included a feature selection competition organized by the authors. We provided participants with five datasets from different application domains and calle...