Sciweavers

840 search results - page 64 / 168
» Test suite oscillations
Sort
View
HOTSWUP
2009
ACM
15 years 4 months ago
Efficient Systematic Testing for Dynamically Updatable Software
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...
Christopher M. Hayden, Eric A. Hardisty, Michael W...
99
Voted
DBSEC
2008
137views Database» more  DBSEC 2008»
15 years 1 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 ...
103
Voted
IJSEKE
2006
122views more  IJSEKE 2006»
15 years 15 days 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...
109
Voted
ICST
2009
IEEE
15 years 7 months ago
WS-TAXI: A WSDL-based Testing Tool for Web Services
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
Cesare Bartolini, Antonia Bertolino, Eda Marchetti...
114
Voted
IWANN
2009
Springer
15 years 7 months ago
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
Karnig Derderian, Mercedes G. Merayo, Robert M. Hi...