Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

통합된 버그잡는 기술들 : SLAM과 Bandera

  • Published : 2003.01.01
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. Proceedings of the ACM Symposium on Principals of Programming Languages Abstract interpretation: a unified lattice model for the static analysis of programs by construction or approximation of fixpoints P. Cousot;R. Cousot
  2. Journal of Logic and Computation v.2 no.4 Abstract Interpretation Frameworks P. Cousot;R. Cousot
  3. Proceedings of International Conference on Software Engineering Tool~supported program abstraction for finite~state verification M. Dwyer;J. Hatcliff;R. Joehanes;S. Laubach;C. Pasareanu;Robby, W. Visser;H. Zheng
  4. Model Checking E. M. Clarke;O. Grumberg;D. Peled
  5. Ph.D. thesis, Stanford University Techniques for Program Verification G. Nelson
  6. Research Report 159, Compaq System Research Center Extended Static Checking D. Detlefs;R. Leino;G. Nelson;J. B. Saxe
  7. Proceedings of the ACM Symposium on Principals of Programming Languages The SLAM project: debugging system software via static analysis T. Bell;S. K. Rajamani
  8. Technical report MSR-TR-2001-21 SLIC: A Specification Language for Interface Checking (of C) T. Ball;S. K. Rajamani
  9. Proceedings of Conference on Programming Language Design and Implementation Automatic Predicate Abstraction of C Programs T. Ball;T. Millstein;S. K. Rajamani
  10. Proceedings of Workshop on Program Analysis for Software Tools and Engineering Bebop: A Path-sensitive Interprocedural Dataflow Engine T. Ball;S. K. Rajamani
  11. Technical report MSR-TR-2002-09 Generating Abstract Explanations of Spurious Counterexamples in C Programs T. Ball;S. K. Rajamani
  12. Proceedings of International Conference on Software Engineering Verification of Time Partitioning in the DEOS real-time Scheduling Kernel J. Penix;W. Visser;E. Engstrom;A. Larson;N. Weininger
  13. Proceedings of the ACM SIGPLAN Partial Evaluation and Program Manipulation Slicing Software for Model Construction M. B. Dwyer;J. Hatcliff;H. Zheng
  14. Proceedings of Conference on Programming Language Design and Implementation Extended static checking for Java C. Flanagan;K. R. M. Leino;M. Lillibridge;G. Nelson;J. B. Saxe;R. Stata
  15. Computer-Aided Verification Temporal-Safety Proofs for Systems Code T. A. Henzinger;R. Jhala;R. Majumdar;G. C. Necula;G. Sutre;W. Weimer
  16. Workshop on Advances in Verification Java PathFinder - A second generation of a Java model checker G. Brat;K. Havelund;S. Park;W. Visser
  17. Proceedings of the International Conference on Software Engineering Bandera: Extracting Finite~state Models from Java Source Code J. Corbett;M. Dwyer;J. Hatcliff;C. Pasareanu;Robby;S. Laubach;H. Zheng