Browse > Article

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

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