1992 search results - page 205 / 399 » Model Based Testing with Labelled Transition Systems |
144
Voted
TCBB
2008
15 years 3 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
142
Voted
MSR
2010
ACM
15 years 5 months ago
2010
ACM
-- A bug-tracking system such as Bugzilla contains bug reports (BRs) collected from various sources such as development teams, testing teams, and end users. When bug reporters subm...
160
Voted
ICALP
1997
Springer
15 years 8 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
138
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
124
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
A top-down task-dependent model guides attention to likely target locations in cluttered scenes. Here, a novel biologically plausible top-down auditory attention model is presente...