Sciweavers

2527 search results - page 107 / 506
» A UML-Based Approach to System Testing
Sort
View
114
Voted
VTS
1999
IEEE
106views Hardware» more  VTS 1999»
15 years 8 months ago
RT-level TPG Exploiting High-Level Synthesis Information
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 9 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
138
Voted
AH
2008
Springer
15 years 10 months ago
Guaranteeing the Correctness of an Adaptive Tutoring System
Abstract. This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool...
Pilar Prieto Linillos, Sergio Gutiérrez San...
161
Voted
AMOST
2007
ACM
15 years 7 months ago
Achieving both model and code coverage with automated gray-box testing
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Till...
149
Voted
GECCO
2008
Springer
15 years 4 months ago
Particle filtering with particle swarm optimization in systems with multiplicative noise
We propose a Particle Filter model that incorporates Particle Swarm Optimization for predicting systems with multiplicative noise. The proposed model employs a conventional multio...
A. D. Klamargias, Konstantinos E. Parsopoulos, Phi...