Sciweavers

725 search results - page 107 / 145
» Robustness testing for software components
Sort
View
TSE
2008
165views more  TSE 2008»
13 years 10 months ago
A Systematic Study of Failure Proximity
Software end users are the best testers, who keep revealing bugs in software that has undergone rigorous in-house testing. In order to leverage their testing efforts, failure repor...
Chao Liu 0001, Xiangyu Zhang, Jiawei Han
ECOOP
2007
Springer
14 years 5 months ago
Aspect-Based Introspection and Change Analysis for Evolving Programs
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
Kevin J. Hoffman, Murali Krishna Ramanathan, Patri...
ISSTA
2000
ACM
14 years 3 months ago
Testability, fault size and the domain-to-range ratio: An eternal triangle
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...
Martin R. Woodward, Zuhoor A. Al-Khanjari
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
14 years 5 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
DIAL
2006
IEEE
243views Image Analysis» more  DIAL 2006»
14 years 4 months ago
AGORA: the Interactive Document Image Analysis Tool of the BVH Project
In this paper, we describe how meta-data of indexation can be extracted from historical document images using an interactive process with a software called AGORA. The algorithms i...
Jean-Yves Ramel, S. Busson, M. L. Demonet