Sciweavers

855 search results - page 52 / 171
» Integration Testing of Composite Applications
Sort
View
99
Voted
FORMATS
2009
Springer
15 years 7 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
69
Voted
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 2 days ago
An Integrated Circuit Compatible Compact Package for Thermal Gas Flowmeters
An original packaging method suitable for integrated thermal mass flow sensors is presented. The method consists in the application of a plastic transparent adapter to the chip su...
P. Bruschi, V. Nurra, M. Piotto
85
Voted
ICSE
2007
IEEE-ACM
16 years 18 days ago
Korat: A Tool for Generating Structurally Complex Test Inputs
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
Aleksandar Milicevic, Sasa Misailovic, Darko Marin...
SGAI
2005
Springer
15 years 6 months ago
Generating Feedback Reports for Adults Taking Basic Skills Tests
SkillSum is an Artificial Intelligence (AI) and Natural Language Generation (NLG) system that produces short feedback reports for people who are taking online tests which check th...
Ehud Reiter, Sandra Williams, Lesley Crichton
104
Voted
CSCLP
2004
Springer
15 years 4 months ago
Constraint-Based Approaches to the Covering Test Problem
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our propo...
Brahim Hnich, Steven David Prestwich, Evgeny Selen...