Automatic Testing for Robustness Violations

  • Christof Fetzer
  • Zhen Xiao


Detecting programming errors in component-based systems can be difficult and very expensive. Due to the trend in outsourcing the development of software, companies are deploying more third-party software for mission critical systems. Hence, there is an increased need to assess the robustness and security of software. The traditional way of supporting component-oriented programming is to provide components in the form of shared libraries. In this chapter we describe a tool called HEALERS that can detect programming errors and security vulnerabilities in third-party libraries without source code access. A major advantage of our approach is that it is highly automated and could be used by component users who have little knowledge about the internals of a library.


Automatic Test Test Case Generator Library Function Programming Error Security Vulnerability 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Christof Fetzer
    • 1
  • Zhen Xiao
    • 2
  1. 1.Dresden University of TechnologyDresdenGermany
  2. 2.AT&T Labs—ResearchFlorham ParkUSA

Personalised recommendations