Sciweavers

648 search results - page 51 / 130
» Carving differential unit test cases from system test cases
Sort
View
ICST
2010
IEEE
13 years 6 months ago
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
Minh Duc Nguyen, Hélène Waeselynck, ...
SEMWEB
2009
Springer
14 years 3 months ago
Results of the Ontology Alignment Evaluation Initiative 2009
Abstract. Ontology matching consists of finding correspondences between ontology entities. OAEI campaigns aim at comparing ontology matching systems on precisely defined test cas...
Jérôme Euzenat, Alfio Ferrara, Laura ...
DATE
2003
IEEE
99views Hardware» more  DATE 2003»
14 years 2 months ago
RF-BIST: Loopback Spectral Signature Analysis
Built-In Self-Test (BIST) becomes important also for more complex structures like complete front-ends. In order to bring down the costs for the test overhead, Spectral Signature A...
Doris Lupea, Udo Pursche, Hans-Joachim Jentschel
CORR
2010
Springer
146views Education» more  CORR 2010»
13 years 6 months ago
Multi-Criteria Evaluation of Partitioning Schemes for Real-Time Systems
In this paper we study the partitioning approach for multiprocessor real-time scheduling. This approach seems to be the easiest since, once the partitioning of the task set has be...
Irina Lupu, Pierre Courbin, Laurent George, Jo&eum...
ICSM
2008
IEEE
14 years 3 months ago
Automated severity assessment of software defect reports
In mission critical systems, such as those developed by NASA, it is very important that the test engineers properly recognize the severity of each issue they identify during testi...
Tim Menzies, Andrian Marcus