Constructive Membership Testing in Black-Box Classical Groups

被引：0
|
作者：
Ambrose, Sophie [1 ]
Murray, Scott H. [2 ]
Praeger, Cheryl E. [1 ]
Schneider, Csaba [3 ]
机构：
[1] Univ Western Australia, Sch Math & Stat, 35 Stirling Highway, Crawley, WA 6009, Australia
[2] Univ Canberra, Fac Informat Sci & Engn, Canberra, ACT 2601, Australia
[3] Univ Lisbon, Ctr Algebra, P-1699 Lisbon, Portugal
来源：
MATHEMATICAL SOFTWARE - ICMS 2010 | 2010年 / 6327卷
基金：
澳大利亚研究理事会;
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：54 / +
页数：3
相关论文
共 50 条
  • [41] Using MC/DC as a Black-Box Testing Technique
    Vilkomir, Sergiy
    Baptista, John
    Das, Gourav
    2017 IEEE 28TH ANNUAL SOFTWARE TECHNOLOGY CONFERENCE (STC), 2017,
  • [42] RESTTESTGEN: Automated Black-Box Testing of RESTful APIs
    Viglianisi, Emanuele
    Dallago, Michael
    Ceccato, Mariano
    2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2020), 2020, : 142 - 152
  • [43] Automated black-box testing with abstract VDM oracles
    Aichernig, BK
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 250 - 259
  • [44] Black-Box Testing and Auditing of Bias in ADM Systems
    Krafft, Tobias D.
    Hauer, Marc P.
    Zweig, Katharina
    MINDS AND MACHINES, 2024, 34 (02)
  • [45] CovDroid: A Black-Box Testing Coverage System for Android
    Yeh, Chao-Chun
    Huang, Shih-Kun
    IEEE 39TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC 2015), VOL 3, 2015, : 447 - 452
  • [46] THE MATHEMATICAL WORLD IN THE BLACK-BOX - SIGNIFICANCE OF THE BLACK-BOX AS A MEDIUM OF MATHEMATIZING
    MAASS, J
    SCHLOGLMANN, W
    CYBERNETICS AND SYSTEMS, 1988, 19 (04) : 295 - 309
  • [47] A Set Membership approach to black-box optimization for time-varying problems
    Sabug, Lorenzo, Jr.
    Ruiz, Fredy
    Fagiano, Lorenzo
    IFAC PAPERSONLINE, 2023, 56 (02): : 3966 - 3971
  • [48] On secure multi-party computation in black-box groups
    Desmedt, Yvo
    Pieprzyk, Josef
    Steinfeld, Ron
    Wang, Huaxiong
    ADVANCES IN CRYPTOLOGY - CRYPTO 2007, PROCEEDINGS, 2007, 4622 : 591 - +
  • [49] Recognising simplicity of black-box groups by constructing involutions and their centralisers
    Parker, Christopher W.
    Wilson, Robert A.
    JOURNAL OF ALGEBRA, 2010, 324 (05) : 885 - 915
  • [50] INSIDE THE BLACK-BOX
    HORGAN, J
    IEEE SPECTRUM, 1986, 23 (11) : 65 - 65
12345