Deterministic black-box identity testing π-ordered algebraic branching programs

被引：0
|
作者：
Jansen, Maurice [1 ]
Qiao, Youming [2 ]
Jayalal Sarma, M.N. [3 ]
机构：
[1] School of Informatics, University of Edinburgh, United Kingdom
[2] Institute for Theoretical Computer Science, Tsinghua University, China
[3] Department of Computer Science and Engineering, Indian Institute of Technology Madras, India
来源：
Leibniz International Proceedings in Informatics, LIPIcs | 2010年 / 8卷
关键词：
Number:; 60553001; Acronym:; NSFC; Sponsor: National Natural Science Foundation of China; 61073174; 61033001;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Polynomials
引用
收藏
页码：296 / 307
相关论文
共 50 条
  • [31] Generating expected results for automated black-box testing
    Schroeder, PJ
    Faherty, P
    Korel, B
    ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 139 - 148
  • [32] Property-Driven Testing of Black-Box Functions
    Sharma, Arnab
    Melnikov, Vitalik
    Huellermeier, Eyke
    Wehrheim, Heike
    IEEE/ACM 10TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2022), 2022, : 113 - 123
  • [33] WebRTC Quality Assessment: Dangers of Black-box Testing
    Cinar, Yusuf
    Melvin, Hugh
    2014 10TH INTERNATIONAL CONFERENCE ON DIGITAL TECHNOLOGIES (DT), 2014, : 31 - 35
  • [34] FACTS: Automated Black-Box Testing of FinTech Systems
    Wang, Qingshun
    Gu, Lintao
    Xue, Minhui
    Xu, Lihua
    Niu, Wenyu
    Dou, Liang
    He, Liang
    Xie, Tao
    ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, : 839 - 844
  • [35] Boundary-guided Black-box Fairness Testing
    Yin, Ziliiang
    Zhao, Wentian
    Song, Tian
    2024 IEEE 48TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE, COMPSAC 2024, 2024, : 1230 - 1239
  • [36] Evolutionary functional black-box testing in an industrial setting
    Tanja E. J. Vos
    Felix F. Lindlar
    Benjamin Wilmes
    Andreas Windisch
    Arthur I. Baars
    Peter M. Kruse
    Hamilton Gross
    Joachim Wegener
    Software Quality Journal, 2013, 21 : 259 - 288
  • [37] Black-box Test Data Generation for GUI Testing
    Darvish, Ali
    Chang, Carl K.
    2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, : 133 - 138
  • [38] Evolutionary functional black-box testing in an industrial setting
    Vos, Tanja E. J.
    Lindlar, Felix F.
    Wilmes, Benjamin
    Windisch, Andreas
    Baars, Arthur I.
    Kruse, Peter M.
    Gross, Hamilton
    Wegener, Joachim
    SOFTWARE QUALITY JOURNAL, 2013, 21 (02) : 259 - 288
  • [39] Black-box testing based on colorful taint analysis
    Kai Chen
    DengGuo Feng
    PuRui Su
    YingJun Zhang
    Science China Information Sciences, 2012, 55 : 171 - 183
  • [40] Black-box testing based on colorful taint analysis
    Chen Kai
    Feng DengGuo
    Su PuRui
    Zhang YingJun
    SCIENCE CHINA-INFORMATION SCIENCES, 2012, 55 (01) : 171 - 183
12345