Symbolic Testing and the DISSECT Symbolic Evaluation System

Authors:
W. E. Howden
Affiliations:
Department of Applied Physics and Information Science, University of California
Venue:
IEEE Transactions on Software Engineering
Year:
1977

Citing 0
Cited 17

Feasible test path selection by principal slicing

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Symbolic interpretation and tracing of PASCAL-programs

ICSE '78 Proceedings of the 3rd international conference on Software engineering
Constraint based structural testing criteria

Journal of Systems and Software
Code-coverage guided prioritized test generation

Information and Software Technology
Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques

Empirical Software Engineering
System Test Planning of Software: An Optimization Approach

IEEE Transactions on Software Engineering
Test Data Generation of Bytecode by CLP Partial Evaluation

Logic-Based Program Synthesis and Transformation
Symbolic execution in algorithm design

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Generating test data for distributed software using the chaining approach

Information and Software Technology
Symbiosis of static analysis and program testing

FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Coverage criteria for state based specifications

Formal methods and testing
Symbolic execution for software testing in practice: preliminary assessment

Proceedings of the 33rd International Conference on Software Engineering
Concolic testing and constraint satisfaction

SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
Directed symbolic execution

SAS'11 Proceedings of the 18th international conference on Static analysis
Abstracting path conditions

Proceedings of the 2012 International Symposium on Software Testing and Analysis
aPET: a test case generation tool for concurrent objects

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Diversity oriented test data generation using metaheuristic search techniques

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Symbolic testing and a symbolic evaluation system called DISSECT are described. The principle features of DISSECT are outlined. The results of two classes of experiments in the use of symbolic evaluadon are summarized. Several classes of program errors are defined and the reliability of symbolic testing in finding bugs is related to the classes of errors. The relationship of symbolic evaluation systems like DISSECT to classes of program errors and to other kinds of program testing and program analysis tools is also discussed. Desirable improvements in DISSECT, whose importance was revealed by the experiments, are mentioned.