Sciweavers

2302 search results - page 56 / 461
» Testing as Abstraction
Sort
View
ICCS
2005
Springer
15 years 11 months ago
Model-Based Statistical Testing of a Cluster Utility
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
W. Thomas Swain, Stephen L. Scott
DATE
2009
IEEE
105views Hardware» more  DATE 2009»
16 years 10 days ago
Enrichment of limited training sets in machine-learning-based analog/RF test
Abstract— This paper discusses the generation of informationrich, arbitrarily-large synthetic data sets which can be used to (a) efficiently learn tests that correlate a set of ...
Haralampos-G. D. Stratigopoulos, Salvador Mir, Yio...
163
Voted
FMCO
2006
Springer
109views Formal Methods» more  FMCO 2006»
15 years 9 months ago
Model-Based Testing of Environmental Conformance of Components
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
Lars Frantzen, Jan Tretmans
DBSEC
2008
137views Database» more  DBSEC 2008»
15 years 7 months ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...
163
Voted
IJSEKE
2006
122views more  IJSEKE 2006»
15 years 5 months ago
A Tool to Automatically Map Implementation-based Testing Techniques to Classes
hibiting the characteristics of abstraction, encapsulation, genericity, inheritance, polymorphism, concurrency and exception handling. To address the difficulty of testing the feat...
Peter J. Clarke, Junhua Ding, Djuradj Babich, Bria...