2419 search results - page 14 / 484 » A Formal Approach to Software Testing |
FASE
2000
Springer
13 years 11 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
INFORMATICALT
2010
13 years 6 months ago
2010
Software localization is one of important tasks to insure a successful computer user experience. The paper discusses how localization of the software dialog text can be accelerated...
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
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...
TOOLS
1999
IEEE
14 years 8 days ago
1999
IEEE
ISSRE
2002
IEEE
14 years 27 days ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...