Automated Program Debugging Using Static Analysis and Constraint Satisfaction.

DOI Web Site 10 References
  • Ajiro Yasuhiro
    Graduate School of Science and Engineering, Waseda University
  • Cho Kenta
    Graduate School of Science and Engineering, Waseda University:(Present Address)S&S Research Laboratories, Toshiba Corporation
  • Ueda Kazunori
    School of Science and Engineering, Waseda University

Bibliographic Information

Other Title
  • 静的解析と制約充足によるプログラム自動デバッグ
  • セイテキ カイセキ ト セイヤク ジュウソク ニヨル プログラム ジドウ デバ

Search this article

Abstract

<p></p>

Journal

  • Computer Software

    Computer Software 15 (1), 1_54-1_58, 1998-01-16

    Japan Society for Software Science and Technology

References(10)*help

See more

Details 詳細情報について

Report a problem

Back to top