Linear and structural event sequence analysis

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 98-106

  Howden, W E ^a   Shi, G M ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

analysis; comments; event sequence; event structures; validation

Indexed keywords

DATA HANDLING;

ANALYSIS; COMMENTS; EVENT SEQUENCE; EVENT STRUCTURES; VALIDATION;

SOFTWARE TESTING;

EID: 84864973866     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226307     Document Type: Conference Paper

References (8)

1. E.M. Clarke, E.A. Emerson, and A.P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, 8(2), April 1986.
2. L. Clarke, and M. Dwyer, Data flow analysis for verifying properties of concurrent programs, Proceedings FSE 94, ACM, November, 1994.
3. W.E. Howden and G.M. Shi, CDA: A system for understanding the dynamic properties of data processing programs, Proceedings of Symposium on Assessment of Quality Software Development Tools, IEEE, 1992.
4. W.E. Howden and G.M. Shi, Integration verification using QDA object property and event sequence analysis methods, CSE Technical Report, UCSD, La Jolla, 1994.
5. W.E. Howden and Cheron Vail, An informal verification of a critical system, Proceedings Fifth International Conference on Software Engineering and its Applications, CIGREF, Toulouse, 1992.
6. W.E. Howden and Bruce Wieand, QDA: A method for systematic informal program analysis, IEEE Transactions on Software Engineering, June, 1994.
7. K.M. Olender and L.J. Osterweil, Cecil: a sequencing constraint language for automatic static analysis generation, IEEE Transactions on Software Engineering, 16, March, 1990.
8. R.N. Taylor, A general purpose algorithm for analyzing concurrent programs, CACM, v. 26, May, 1983.