Sciweavers

588 search results - page 39 / 118
» Using UML Environment Models for Test Case Generation
Sort
View
84
Voted
DATE
2008
IEEE
174views Hardware» more  DATE 2008»
15 years 7 months ago
Calibration of Integrated CMOS Hall Sensors Using Coil-on-Chip in ATE Environment
Due to high demand for hall sensors mostly in the automotive and industrial applications, development and manufacturing of hall sensors in System-on-Chip (SoC) became more importa...
Mustafa Badaroglu, Guy Decabooter, Francois Laulan...
103
Voted
VAMOS
2009
Springer
15 years 7 months ago
Some Challenges of Feature-based Merging of Class Diagrams
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
Germain Saval, Jorge Pinna Puissant, Patrick Heyma...
CGVR
2008
15 years 1 months ago
Generating Smooth Virtual Reality Maps Using 3D Building Blocks
- In this paper, we describe a 3D modeling program called RMBL3D, Realistic Maps Built like Legos, which manipulates the architectural repetition in building structures to produce ...
Bradley J. Wimpey, Walter D. Potter
TAP
2008
Springer
93views Hardware» more  TAP 2008»
15 years 12 days ago
Pex-White Box Test Generation for .NET
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
Nikolai Tillmann, Jonathan de Halleux
109
Voted
APSEC
2004
IEEE
15 years 4 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu