Sciweavers

855 search results - page 52 / 171
» Integration Testing of Composite Applications
Sort
View
FORMATS
2009
Springer
14 years 2 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
CORR
2008
Springer
87views Education» more  CORR 2008»
13 years 7 months 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
ICSE
2007
IEEE-ACM
14 years 7 months 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
14 years 1 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
CSCLP
2004
Springer
13 years 11 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...