Statistical debugging using compound boolean predicates

被引:0
|
作者
University of Wisconsin, Madison [1 ]
机构
来源
ACM Int. Symp. Softw. Test. Anal. | 2007年 / 5-15期
关键词
Boolean algebra - Computer software - Feedback - Learning systems - Statistical methods;
D O I
10.1145/1273463.1273467
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [1] Statistical Debugging Using a Hierarchical Model of Correlated Predicates
    Parsa, Saeed
    Asadi-Aghbolaghi, Maryam
    Vahidi-Asl, Mojtaba
    ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2011, 7002 : 251 - 256
  • [2] Performance debugging using parallel performance predicates
    Crovella, Mark E.
    LeBlanc, Thomas J.
    SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1993, 28 (12):
  • [3] TESTING AND DEBUGGING DISTRIBUTED PROGRAMS USING GLOBAL PREDICATES
    VENKATESAN, S
    DATHAN, B
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (02) : 163 - 177
  • [4] Boolean unification with predicates
    Eberhard, Sebastian
    Hetzl, Stefan
    Weller, Daniel
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 109 - 128
  • [5] Debugging sequential circuits using Boolean Satisfiability
    Ali, MF
    Veneris, A
    Safarpour, S
    Abadir, M
    Drechsler, R
    Smith, A
    5TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2005, : 44 - 49
  • [6] Debugging sequential circuits using Boolean satisfiability
    Ali, MF
    Veneris, A
    Safarpour, S
    Drechsler, R
    Smith, A
    Abadir, M
    ICCAD-2004: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2004, : 204 - 209
  • [7] DEFINABLE PREDICATES IN BOOLEAN ALGEBRAS
    WEESE, M
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (03): : 257 - 278
  • [8] Fault diagnosis and logic debugging using Boolean satisfiability
    Veneris, A
    4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2003, : 60 - 65
  • [9] Fault diagnosis and logic debugging using Boolean satisfiability
    Smith, A
    Veneris, A
    Ali, MF
    Viglas, A
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2005, 24 (10) : 1606 - 1621
  • [10] THE BOOLEAN-ALGEBRA OF PREDICATES
    KUHNRICH, M
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (04): : 355 - 360