6014 search results - page 58 / 1203 » Structural Testing with Use Cases |
SEDE
2010
13 years 7 months ago
2010
Test is a key activity for ensuring software quality. There is always pressure from project sponsor and management for software development team to commit to shorter schedule and ...
CCS
2008
ACM
13 years 12 months ago
2008
ACM
We describe the design and implementation of Privacy Oracle, a system that reports on application leaks of user information via the network traffic that they send. Privacy Oracle ...
MA
2010
Springer
13 years 8 months ago
2010
Springer
Quasi-independence is a common assumption for analyzing truncated data. To verify this condition, we consider a class of weighted log-rank type statistics that include existing te...
ISOLA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
We propose structured models for image labeling that take into account the dependencies among the image labels explicitly. These models are more expressive than independent label ...