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)
A functional approach to program testing and analysis
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Typestate: A programming language concept for enhancing software reliability
IEEE Transactions on Software Engineering
Functional program testing and analysis
Functional program testing and analysis
Data flow analysis of recursive procedures
ACM SIGPLAN Notices
ACM Transactions on Programming Languages and Systems (TOPLAS)
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Validating programs without specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Integrated concurrency analysis in a software development enviornment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A mechanism for environment integration
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
Comments Analysis and Programming Errors
IEEE Transactions on Software Engineering
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
Fast Algorithms for Solving Path Problems
Journal of the ACM (JACM)
Abstract data types and software validation
Communications of the ACM
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
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
LCLint: a tool for using specifications to check code
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
A flexible architecture for building data flow analyzers
Proceedings of the 18th international conference on Software engineering
Putting static analysis to work for verification: A case study
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Compiler and tool support for debugging object protocols
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Continuous self-evaluation for the self-improvement of software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
A conservative algorithm for computing the flow of permissions in Java programs
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Using the observer design pattern for implementation of data flow analyses
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and 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
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Flow analysis for verifying properties of concurrent software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Static object trace extraction for programs with pointers
Journal of Systems and Software - Special issue: Software reverse engineering
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software support for building end-user programming environments in the automation domain
Proceedings of the 4th international workshop on End-user software engineering
FLAVERS: a finite state verification technique for software systems
IBM Systems Journal
Programming assistance based on contracts and modular verification in the automation domain
Proceedings of the 2010 ACM Symposium on Applied Computing
Hi-index | 0.00 |
This paper describes a system that automatically performs static interprocedural sequencing analysis from programmable constraint specifications. We describe the algorithms used for interprocedural analysis, relate the problems arising from the analysis of real-world programs, and show how these difficulties were overcome. Finally, we sketch the architecture of our prototype analysis system (called Cesar) and describe our experiences to date with its use, citing performance and error detection characteristics.