article

Free Access

Test Routines Based on Symbolic Logical Statements

Author:
Richard D. Eldred

Datamatic, Newton Highlands, Massachusetts

Datamatic, Newton Highlands, Massachusetts
View Profile

Authors Info & Claims

Journal of the ACM Volume 6 Issue 1pp 33–37https://doi.org/10.1145/320954.320957

Published:01 January 1959Publication History

Check for updates on crossmark

Journal of the ACM

First page image

Index Terms

Test Routines Based on Symbolic Logical Statements
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
2. Theory of computation
  1. Logic
    1. Constraint and logic programming

Recommendations

Test routines based on symbolic logical statements
ACM '58: Preprints of papers presented at the 13th national meeting of the Association for Computing Machinery
Read More
Model-Based Test Generation Using Evolutional Symbolic Grammar
TASE '12: Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering

We present a new model-based test generation approach using an extended symbolic grammar, which is used as a formal notation for enumerating test cases for communication and reactive systems. Our model-based test generation approach takes inputs a ...
Read More
Directed test generation using symbolic grammars
ESEC-FSE companion '07: The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers

We present CESI, an algorithm that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. CESI is a hybrid of two predominant techniques: specification-based enumerative test generation (...
Read More

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Published in

Journal of the ACM Volume 6, Issue 1
Jan. 1959
114 pages
ISSN:0004-5411
EISSN:1557-735X
DOI:10.1145/320954
Issue’s Table of Contents

Copyright © 1959 ACM
Sponsors
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
- Published: 1 January 1959
Published in jacm Volume 6, Issue 1

Permissions
Request permissions about this article.
Request Permissions

Check for updates
Qualifiers
- article
Conference
Funding Sources
Other Metrics
View Article Metrics

Article Metrics
- 142
  Total Citations
  View Citations
- 632
  Total Downloads
- Downloads (Last 12 months)47
- Downloads (Last 6 weeks)3
Other Metrics
View Author Metrics
Cited By
View all

PDF Format

View or Download as a PDF file.

eReader

View online with eReader.

View Issue’s Table of Contents