IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming

Authors:
J. Doyle;C. Meudec
Affiliations:
Institute of Technology Carlow, Carlow, Ireland;Institute of Technology Carlow, Carlow, Ireland
Venue:
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Year:
2003

Citing 4
Cited 1

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Software testing techniques (2nd ed.)

Software testing techniques (2nd ed.)
Symbolic execution and program testing

Communications of the ACM
Java Virtual Machine Specification

Java Virtual Machine Specification

On structurally testing Java programs effectively

Proceedings of the 3rd international symposium on Principles and practice of programming in Java

Quantified Score

Hi-index	0.00

Visualization

Abstract

A fundamental area of software engineering that remains a challenge is the delivery of software with the minimum of remaining defects. The principal technique currently used in the software industry for the verification and validation of software is dynamic software testing where the software under consideration is actually executed using test data. The actual generation of test data for the purpose of automated software testing is still however mainly a manual task. This problem is further compounded for Java programmers because testing criteria can be imposed at the Java Bytecode level rather than at the source level. To alleviate these difficulties an Interactive Bytecode Inspection System (IBIS) has been developed that allows examination of the Java Bytecode and the automatic generation and execution of test data.