메뉴 건너뛰기




Volumn , Issue , 2006, Pages 60-67

An improved distance heuristic function for directed software model checking

Author keywords

[No Author keywords available]

Indexed keywords

DISTANCE DATA; DISTANCE HEURISTIC FUNCTIONS; ERROR LOCATION; SOFTWARE MODEL CHECKING;

EID: 34547282726     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FMCAD.2006.5     Document Type: Conference Paper
Times cited : (7)

References (15)
  • 1
    • 35248827669 scopus 로고    scopus 로고
    • T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, Software verification with Blast, in Proceedings of the 10th International Workshop on Model Checking of Software (SPIN), ser. Lecture Notes in Computer Science, T. Ball and S. Rajamani, Eds., 2648, Portland, OR, May 2003, pp. 235-239.
    • T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, "Software verification with Blast," in Proceedings of the 10th International Workshop on Model Checking of Software (SPIN), ser. Lecture Notes in Computer Science, T. Ball and S. Rajamani, Eds., vol. 2648, Portland, OR, May 2003, pp. 235-239.
  • 2
    • 70350760682 scopus 로고    scopus 로고
    • T. Ball and S. Rajamani, The SLAM toolkit, in 13th Annual Conference on Computer Aided Verification (CAV 2001), ser. Lecture Notes in Computer Science, G. Berry, H. Comon, and A. Finkel, Eds., 2102. Paris, France: Springer-Verlag, July 2001, pp. 260-264.
    • T. Ball and S. Rajamani, "The SLAM toolkit," in 13th Annual Conference on Computer Aided Verification (CAV 2001), ser. Lecture Notes in Computer Science, G. Berry, H. Comon, and A. Finkel, Eds., vol. 2102. Paris, France: Springer-Verlag, July 2001, pp. 260-264.
  • 4
    • 77954500284 scopus 로고    scopus 로고
    • Bogor: An extensible and highly-modular model checking framework
    • September
    • Robby, M. B. Dwyer, and J. Hatcliff, "Bogor: An extensible and highly-modular model checking framework," ACM SIGSOFT Software Engineering Notes, vol. 28, no. 5, pp. 267-276, September 2003.
    • (2003) ACM SIGSOFT Software Engineering Notes , vol.28 , Issue.5 , pp. 267-276
    • Robby, M.B.D.1    Hatcliff, J.2
  • 5
    • 84947232436 scopus 로고    scopus 로고
    • T. Ball and S. K. Rajamani, Bebop: A symbolic model checker for boolean programs, in 7th International SPIN Workshop, ser. Lecture Notes in Computer Science, K. Havelund, J. Penix, and W. Visser, Eds., 1885. Springer, August 2000, pp. 113-130. [Online]. Available: citeseer.nj.nec.com/bal100bebop.html
    • T. Ball and S. K. Rajamani, "Bebop: A symbolic model checker for boolean programs," in 7th International SPIN Workshop, ser. Lecture Notes in Computer Science, K. Havelund, J. Penix, and W. Visser, Eds., vol. 1885. Springer, August 2000, pp. 113-130. [Online]. Available: citeseer.nj.nec.com/bal100bebop.html
  • 7
    • 31644443731 scopus 로고    scopus 로고
    • Directed error detection in C++ with the assembly-level model checker StEAM
    • Proceedings of 11th International SPIN Workshop, Barcelona, Spain, Springer
    • P. Leven, T. Mehler, and S. Edelkamp, "Directed error detection in C++ with the assembly-level model checker StEAM," in Proceedings of 11th International SPIN Workshop, Barcelona, Spain, ser. Lecture Notes in Computer Science, vol. 2989. Springer, 2004, pp. 39-56.
    • (2004) ser. Lecture Notes in Computer Science , vol.2989 , pp. 39-56
    • Leven, P.1    Mehler, T.2    Edelkamp, S.3
  • 8
    • 26944447100 scopus 로고    scopus 로고
    • Model checking machine code with the GNU debugger
    • 12th International SPIN Workshop, San Francisco, USA: Springer, August
    • E. G. Mercer and M. Jones, "Model checking machine code with the GNU debugger," in 12th International SPIN Workshop, ser. Lecture Notes in Computer Science, vol. 3639. San Francisco, USA: Springer, August 2005, pp. 251-265.
    • (2005) ser. Lecture Notes in Computer Science , vol.3639 , pp. 251-265
    • Mercer, E.G.1    Jones, M.2
  • 9
    • 0031622741 scopus 로고    scopus 로고
    • Validation with guided search of the state space
    • Online, Available
    • C. Yang and D. Dill, "Validation with guided search of the state space," in 35th Design Automation Conference (DAC98), 1998, pp. 599-604. [Online]. Available: http://citeseer.nj.nec.com/yang98validation.html
    • (1998) 35th Design Automation Conference (DAC98) , pp. 599-604
    • Yang, C.1    Dill, D.2
  • 10
    • 84894638887 scopus 로고    scopus 로고
    • Directed explicit model checking with HSF-SPIN
    • Proc. of the 7th International SPIN Workshop, Springer-Verlag
    • S. Edelkamp, A. Lluch-Lafuente, and S. Leue, "Directed explicit model checking with HSF-SPIN," in Proc. of the 7th International SPIN Workshop, ser. Lecture Notes in Computer Science, no. 2057. Springer-Verlag, 2001.
    • (2001) ser. Lecture Notes in Computer Science , Issue.2057
    • Edelkamp, S.1    Lluch-Lafuente, A.2    Leue, S.3
  • 11
    • 33244477860 scopus 로고    scopus 로고
    • Guided model checking with a bayesian meta-heuristic
    • K. Seppi, M. Jones, and P. Lamborn, "Guided model checking with a bayesian meta-heuristic." Fundam. Inform., vol. 70, no. 1-2, pp. 111-126, 2006.
    • (2006) Fundam. Inform , vol.70 , Issue.1-2 , pp. 111-126
    • Seppi, K.1    Jones, M.2    Lamborn, P.3
  • 14
    • 0035001143 scopus 로고    scopus 로고
    • The right algorithm at the right time: Comparing data flow analysis algorithms for finite state verification
    • Online, Available
    • J. M. Cobleigh, L. A. Clarke, and L. J. Osterweil, "The right algorithm at the right time: Comparing data flow analysis algorithms for finite state verification," in International Conference on Software Engineering, 2001, pp. 37-46. [Online]. Available: citeseer.ist.psu.edu/ cobleigh01right.html
    • (2001) International Conference on Software Engineering , pp. 37-46
    • Cobleigh, J.M.1    Clarke, L.A.2    Osterweil, L.J.3
  • 15
    • 34250663814 scopus 로고    scopus 로고
    • A Context-Sensitive Structural Heuristic for Guided Search Model Checking
    • Long Beach, California, USA, November
    • N. Rungta and E. G. Mercer, "A Context-Sensitive Structural Heuristic for Guided Search Model Checking," in 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA, November 2005, pp. 410-413.
    • (2005) 20th IEEE/ACM International Conference on Automated Software Engineering , pp. 410-413
    • Rungta, N.1    Mercer, E.G.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.