4095 search results - page 180 / 819 » How to test a tree |
GECCO
2005
Springer
14 years 4 months ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
IEEEARES
2009
IEEE
14 years 5 months ago
2009
IEEE
—The security assessment of the ICT components of critical infrastructures is nowadays a prominent problem. Risk assessment methodologies require, in order to be effective, to be...
ISSRE
2005
IEEE
14 years 4 months ago
2005
IEEE
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...
UML
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
FSTTCS
2006
Springer
14 years 2 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...