Sciweavers

917 search results - page 44 / 184
» Structural Testing of Component-Based Systems
Sort
View
CORR
2010
Springer
210views Education» more  CORR 2010»
13 years 9 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
ICYCS
2008
IEEE
14 years 3 months ago
Computer Ability Assisted Assessment System for Large-Scale Heterogeneous Distributed Environments
In 21 century, an era of information and internet, it is essential for universities to develop their education in order to be focused. Testing online has unparalleled advantages i...
Qing Wu, Wen Ding, Weihua Hu, Bishui Zhou, Tianzho...
GECCO
2006
Springer
162views Optimization» more  GECCO 2006»
14 years 14 days ago
Improving evolutionary real-time testing
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
Marouane Tlili, Stefan Wappler, Harmen Sthamer
GLVLSI
2002
IEEE
108views VLSI» more  GLVLSI 2002»
14 years 1 months ago
Protected IP-core test generation
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
Alessandro Fin, Franco Fummi
SIAMSC
2008
118views more  SIAMSC 2008»
13 years 8 months ago
Splitting Methods Based on Algebraic Factorization for Fluid-Structure Interaction
We discuss in this paper the numerical approximation of fluid-structure interaction (FSI) problems dealing with strong added-mass effect. We propose new semi-implicit algorithms ba...
Santiago Badia, Annalisa Quaini, Alfio Quarteroni