1518 search results - page 205 / 304 » Cryptographic Test Correction |
CHI
2005
ACM
16 years 1 months ago
2005
ACM
The Cognitive Walkthrough for the Web (CWW) is a partially automated usability evaluation method for identifying and repairing website navigation problems. Building on five earlie...
193
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
ICSE
2004
IEEE-ACM
16 years 24 days ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
105
Voted
ICSE
2007
IEEE-ACM
16 years 24 days ago
2007
IEEE-ACM
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
85
Voted
ICSE
2008
IEEE-ACM
16 years 24 days ago
2008
IEEE-ACM
One time-consuming task in the development of software is debugging. Recent work in fault localization crosschecks traces of correct and failing execution traces, it implicitly se...