Software—Practice & Experience
Omega A Data Flow Analysis Tool for the C Programming Language
IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
The Odin system: an object manager for extensible software environments
The Odin system: an object manager for extensible software environments
Functional program testing and analysis
Functional program testing and analysis
Elimination algorithms for data flow analysis
ACM Computing Surveys (CSUR)
Data flow analysis of recursive procedures
ACM SIGPLAN Notices
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Fast Algorithms for Solving Path Problems
Journal of the ACM (JACM)
A Static Analysis of CSP Programs
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Anomaly detection in concurrent programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
Constrained Expression: Toward Broad Applicability of Analysis Methods
Constrained Expression: Toward Broad Applicability of Analysis Methods
On the use of global optimization algorithms for the detection of semantic programming errors (setl, data flow, type finding)
Cecil/cesar: specification and static evaluation of sequencing constraints
Cecil/cesar: specification and static evaluation of sequencing constraints
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
Automatic verification of requirements implementation
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Functional vector generation for HDL models using linear programming and 3-satisfiability
DAC '98 Proceedings of the 35th annual Design Automation Conference
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Understanding process and the quest for deeper questions in software engineering research
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Heuristic-Based Model Refinement for FLAVERS
Proceedings of the 26th International Conference on Software Engineering
Condate: a proto-language at the confluence between checking and compiling
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
| Hi-index | 0.00 |
This paper relates experience with building and using a programmable sequencing analyzer based on data flow analysis algorithms. An earlier paper described both the motivation for and the specification of Cecil, a powerful language for defining constraints on the sequencing of events and gave an algorithm for mapping the sequencing specifications defined by Cecil to data flow analysis algorithms. In this paper, we sketch the architecture of Cesar, a system for carrying out the analysis of Cecil sequencing constraints, describe the problems arising in the analysis of real-world programs, and indicate how we resolved these problems. Finally, we describe our experience in using Cesar, citing speed and efficiency characteristics of the current implementation, and suggesting the error-detection features and powers of Cesar.