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 条
  • [21] Recent Advances in Automatic Black-Box Testing
    Mariani, Leonardo
    Pezze, Mauro
    Zuddas, Daniele
    ADVANCES IN COMPUTERS, VOL 99, 2015, 99 : 157 - 193
  • [22] AutoBlackTest: A Tool for Automatic Black-Box Testing
    Mariani, Leonardo
    Pezze, Mauro
    Riganelli, Oliviero
    Santoro, Mauro
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1013 - 1015
  • [23] Evolving a Test Oracle in Black-Box Testing
    Wang, Farn
    Wu, Jung-Hsuan
    Huang, Chung-Hao
    Chang, Kai-Hsiang
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2011, 6603 : 310 - 325
  • [24] A stochastic theory of black-box software testing
    Meinke, Karl
    ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, 2006, 4060 : 578 - 595
  • [25] Testing Framework for Black-box AI Models
    Aggarwal, Aniya
    Shaikh, Samiulla
    Hans, Sandeep
    Haldar, Swastik
    Ananthanarayanan, Rema
    Saha, Diptikalyan
    2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021), 2021, : 81 - 84
  • [26] Black-Box Testing of Financial Virtual Assistants
    Itkin, Iosif
    Treshcheva, Elena
    Konnova, Luba
    Braslavski, Pavel
    Yavorskiy, Rostislav
    COMPANION OF THE 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS-C 2020), 2020, : 684 - 685
  • [27] Black-Box Testing of Deep Neural Networks
    Byun, Taejoon
    Rayadurgam, Sanjai
    Heimdahl, Mats P. E.
    2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), 2021, : 309 - 320
  • [28] Effective black-box testing with genetic algorithms
    Last, Mark
    Eyal, Shay
    Kandel, Abraham
    HARDWARE AND SOFTWARE VERIFICATION AND TESTING, 2006, 3875 : 134 - 148
  • [29] Some Algebraic Structures Arising From Black-box Automata
    Cirulis, Janis
    BALTIC JOURNAL OF MODERN COMPUTING, 2021, 9 (04): : 403 - 420
  • [30] Deterministic approaches for solving practical black-box global optimization problems
    Kvasov, Dmitri E.
    Sergeyev, Yaroslav D.
    ADVANCES IN ENGINEERING SOFTWARE, 2015, 80 : 58 - 66
12345