Typestate: A programming language concept for enhancing software reliability
IEEE Transactions on Software Engineering
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
High Performance Compilers for Parallel Computing
High Performance Compilers for Parallel Computing
The verifying compiler: A grand challenge for computing research
Journal of the ACM (JACM)
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
SAS'07 Proceedings of the 14th international conference on Static Analysis
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
Program analysis and verification techniques have made great strides, yet, as every researcher in the field will admit it is easy to find a program and property for which a given technique is not cost-effective. Investigating the conventional wisdom that programs are mostly correct, we have observed that even failed program analyses usually produce a wealth of information about the parts of the program that operate correctly. Leveraging this information can help focus subsequent analysis and verification activities to make them more cost-effective.