Sciweavers

5439 search results - page 148 / 1088
» Patterns: from system design to software testing
Sort
View
ICSE
2007
IEEE-ACM
15 years 10 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
XPU
2004
Springer
15 years 3 months ago
Suitability of FIT User Acceptance Tests for Specifying Functional Requirements: Developer Perspective
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...
Grigori Melnik, Kris Read, Frank Maurer
SIGSOFT
2009
ACM
15 years 11 months ago
Synthesizing partial component-level behavior models from system specifications
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
PR
2008
108views more  PR 2008»
14 years 10 months ago
From dynamic classifier selection to dynamic ensemble selection
In handwritten pattern recognition, the multiple classifier system has been shown to be useful for improving recognition rates. One of the most important tasks in optimizing a mul...
Albert Hung-Ren Ko, Robert Sabourin, Alceu de Souz...
DAC
2000
ACM
15 years 11 months ago
Self-test methodology for at-speed test of crosstalk in chip interconnects
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
Xiaoliang Bai, Sujit Dey, Janusz Rajski