6293 search results - page 234 / 1259 » Information Flow Testing |
135
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
We present an error catch and analysis (ECA) system for semiconductor memories. The system consists of a test algorithm generator called TAGS, a fault simulator called RAMSES, and...
146
click to vote
TSE
2010
15 years 2 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
153
click to vote
ASSETS
2008
ACM
15 years 6 months ago
2008
ACM
Accessibility auditors have to choose a method when evaluating accessibility: expert review (a.k.a. conformance testing), user testing, subjective evaluations, barrier walkthrough...
140
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
128
Voted
AC
2006
Springer
15 years 4 months ago
2006
Springer
In this chapter, we characterize problems for web applications, examine existing testing techniques that are potentially applicable to the web environment, and introduce a strateg...