Applications of symbolic evaluation

The Journal of Systems and Software

Volumn 5, Issue 1, 1985, Pages 15-35

  Clarke, Lori A ^a   Richardson, Debra J ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM ANALYSIS; SYMBOLIC EVALUATION;

COMPUTER PROGRAMMING;

EID: 0022017909     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(85)90004-4     Document Type: Article

References (74)

1. EXDAMS—Extendable Debugging and Monitoring System
2. A Partial Evaluator and Its Use As A Programming Tool
3. The Mathlab Group, Project MAC
4. SELECT—A Formal System for Testing and Debugging Programs by Symbolic Execution
5. The Portable Mutation Testing Suite
6. Symbolic Evaluation and the Analysis of Programs
7. A System for Program Refinement
8. A System to Generate Test Data and Symbolically Execute Programs
9. Automatic Test Data Selection Techniques
10. Symbolic Evaluation Methods—Implementations and Applications
11. A Close Look at Domain Testing
12. A Rigorous Approach to Error-Sensitive Testing
13. The Application of Error-Sensitive Testing Strategies to Debugging
14. Using Symbolic Execution To Characterize Behavior
15. Programming by Abstract Demonstration
16. Hilbert's Tenth Problem is Unsolvable
17. A Probabilistic Remark on Algebraic Program Testing
18. An Interactive Program Verifier
19. Constraint Management in the ATTEST System
20. Performance Enhancement in a Well-Structured Pattern Matcher Through Partial Evaluation
21. An Experimental Program-Testing Facility
22. Assigning Meaning to Programs
23. Proof of a program: FIND
24. Error Sensitive Test Case Analysis (ESTCA)
25. Sensitive Test Data for Logical Expressions
26. On Two Problems in the Generation of Program Test Paths
27. Toward a Theory of Test Data Selection
28. Theory of Testing Computer Programs
29. Development and Application of a White Box Approach to Integration Testing
30. An Introduction to Proving the Correctness of Programs
31. Proof of a Program FIND
32. Methodology for the Generation of Program Test Data
33. Reliability of the Path Analysis Testing Strategy
34. Symbolic Testing and the DISSECT Symbolic Evaluation System
35. Algebraic Program Testing
36. An Evaluation of the Effectivenss of Symbolic Testing
37. An Approach to Program Testing
38. Testing Formal Specifications to Detect Design Errors
39. A Program Verifier
40. Symbolic Execution and Program Testing
41. A Data Flow Oriented Program Testing Strategy
42. A Session with Tinker: Interleaving Program Testing with Program Design
43. A View of Program Verification
44. Automated Generation of Test Cast Data-Sets
45. On Testing With Required Elements
46. Software Engineering
47. Pragmatic Techniques for Program Analysis and Verification
48. On the Automated Generation of Program Test Data
49. Data Flow Analysis Techniques for Test Data Selection
50. An Engineering Approach to Test Data Design
51. SYMPLR, SYmbolic Multivariate Polynomial Linearization and Reduction
52. Theoretical Consideration in Testing Programs by Demonstrating Consistency with Specifications
53. A Partition Analysis Method to Increase Program Reliability
54. Specifications for Partition Analysis
55. On the Effectivenss of the Partition Analysis Method
56. On the Use of Transcendentals for Program Testing
57. Pygmalion: A Creative Programming Environment
58. Automatic Generation of Self-Metric Software
59. SADAT—An Automated Testing Tool
60. A Method for Analyzing Loop Programs
61. Program Slicing
62. Theories of Program Testing and the Application of Revealing Subdomains
63. An Error-Based Testing Strategy
64. A Domain Strategy for Computer Program Testing
65. A Definition of AID: the ATTEST Interface Description Language
66. Path Selection for Symbolic Execution Systems
67. Testing for Perturbations of Program Statements