On structurally testing Java programs effectively

Authors:
N. Malevris
Affiliations:
Athens University of Economics and Business
Venue:
Proceedings of the 3rd international symposium on Principles and practice of programming in Java
Year:
2004

Citing 6
Cited 0

Reducing the effects of infeasible paths in branch testing

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
An experimental evaluation of a symbolic execution system

Software Engineering Journal
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs

IEEE Transactions on Software Engineering
Symbolic execution and program testing

Communications of the ACM
A Unified Symbolic Execution System

AICCSA '01 Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications
IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming

PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software testing remains the basic means of locating errors in program code. Although there is no single testing method that can isolate all sources of errors, practitioners usually adhere to these techniques in order to establish a high level of confidence at the predelivery phase. Structural testing constitutes the most popular dynamic testing method that exercises the software with test data. Most commercial tools employ this technique as the basis in order to establish a level of confidence in the software under test. In this paper a method to perform structural testing effectively is presented which also reduces the incidence of infeasible paths.