Sciweavers

1079 search results - page 56 / 216
» Predictive testing: amplifying the effectiveness of software...
Sort
View
OOPSLA
2007
Springer
15 years 3 months ago
From developer's head to developer tests: characterization, theories, and preventing one more bug
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...
David Saff
POPL
2006
ACM
15 years 10 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
HCI
2007
14 years 11 months ago
Language Issues in Cross Cultural Usability Testing: A Pilot Study in China
Language effect (Chinese vs. English), and power distance between evaluator and user in usability test were investigated. 12 participants from China, Swede, and Denmark formed 7 ev...
Xianghong Sun, Qingxin Shi
SIGIR
2008
ACM
14 years 9 months ago
Ambiguous queries: test collections need more sense
Although there are many papers examining ambiguity in Information Retrieval, this paper shows that there is a whole class of ambiguous word that past research has barely explored....
Mark Sanderson
ICST
2011
IEEE
14 years 1 months ago
Tailored Shielding and Bypass Testing of Web Applications
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...
Tejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, B...