Sciweavers

615 search results - page 20 / 123
» Automated Test Case Generation from Dynamic Models
Sort
View
EUROMICRO
2009
IEEE
15 years 4 months ago
Dynamic Software Architecture Development: Towards an Automated Process
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
14 years 11 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
72
Voted
ICPR
2008
IEEE
15 years 10 months ago
Dual generative models for human motion estimation from an uncalibrated monocular camera
We propose a new approach to estimate gait kinematics from image sequences taken by a monocular uncalibrated camera. This approach involves two generative models for gait represen...
Guoliang Fan, Xin Zhang
ISSTA
2000
ACM
15 years 2 months ago
UML-Based integration testing
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
Jean Hartmann, Claudio Imoberdorf, Michael Meising...
ELPUB
2006
ACM
15 years 3 months ago
Automated Building of OAI Compliant Repository from Legacy Collection
In this paper, we report on our experience with the creation of an automated, human-assisted process to extract metadata from documents in a large (>100,000), dynamically growi...
Jianfeng Tang, Kurt Maly, Steven J. Zeil, Mohammad...