Sciweavers

303 search results - page 9 / 61
» Robust Test Generation and Coverage for Hybrid Systems
Sort
View
ICST
2010
IEEE
14 years 10 months ago
TestFul: An Evolutionary Test Approach for Java
Abstract—This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary...
Luciano Baresi, Pier Luca Lanzi, Matteo Miraz
UTP
2010
14 years 9 months ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel
IJIT
2004
15 years 1 months ago
Software Test Data Generation using Ant Colony Optimization
State-based testing is frequently used in software testing. Test data generation is one of the key issues in software testing. A properly generated test suite may not only locate t...
Huaizhong Li, Chiou Peng Lam
FMICS
2006
Springer
15 years 3 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
EVOW
1999
Springer
15 years 3 months ago
Test Pattern Generation Under Low Power Constraints
A technique is proposed to reduce the peak power consumption of sequential circuits during test pattern application. High-speed computation intensive VLSI systems, as telecommunica...
Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Re...