Sciweavers

615 search results - page 38 / 123
» Automated Test Case Generation from Dynamic Models
Sort
View
EUC
2004
Springer
14 years 1 months ago
Experimental Assessment of Scenario-Based Multithreading for Real-Time Object-Oriented Models: A Case Study with PBX Systems
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
Saehwa Kim, Michael Buettner, Mark Hermeling, Seon...
KBSE
2002
IEEE
14 years 19 days ago
SeDiTeC - Testing Based on Sequence Diagrams
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
Falk Fraikin, Thomas Leonhardt
FASE
2007
Springer
14 years 1 months ago
Contract-Driven Development
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
Bertrand Meyer
IDA
2003
Springer
14 years 28 days ago
Learning Dynamic Bayesian Networks from Multivariate Time Series with Changing Dependencies
Abstract. Many examples exist of multivariate time series where dependencies between variables change over time. If these changing dependencies are not taken into account, any mode...
Allan Tucker, Xiaohui Liu
ISBI
2004
IEEE
14 years 8 months ago
Grid-Enabled Automatic Construction of A Two-Chamber Cardiac PDM from a Large Database of Dynamic 3D Shapes
Point Distribution Modelling (PDM) is an efficient generative technique that can be used to incorporate statistical shape priors into image analysis methods like Active Shape Mode...
Alejandro F. Frangi, Loic Boisrobert, Marcos Lauce...