Detecting feature interactions with CAESAR/ALDEBARAN

被引：1
|
作者：
Korver, H
机构：
来源：
SCIENCE OF COMPUTER PROGRAMMING | 1997年 / 29卷 / 1-2期
关键词：
ALDEBARAN; CAESAR; feature interaction; intelligent networks (IN); LOTOS;
D O I：
10.1016/S0167-6423(96)00037-8
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Bouma and Zuidweg (Dutch PTT) formalised a simple example of feature interaction between two telephone services in LOTOS. The interaction takes place between the Abbreviated Dialling and Originating Call Screening service in the IN CS-1 Global Functional Plane. This paper reports on the results that were gained by analysing the example in CAESAR/ALDEBARAN, which is an advanced LOTOS verification toolbox. The results show that even for very small examples, verification goes beyond simulation and testing. (C) 1997 Elsevier Science B.V.
引用
收藏
页码：259 / 278
页数：20
相关论文
共 50 条
  • [41] Detecting feature interaction in CPL
    Gorse N.
    Logrippo L.
    Sincennes J.
    Software & Systems Modeling, 2006, 5 (2) : 121 - 134
  • [42] Detecting and matching feature points
    Vincent, E
    Laganière, R
    JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION, 2005, 16 (01) : 38 - 54
  • [43] A method for recognising feature interactions and feature components within the interactions
    Zhang, C
    Chan, KW
    Chen, YH
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1997, 13 (10): : 713 - 722
  • [44] A method for recognising feature interactions and feature components within the interactions
    C. Zhang
    K. W. Chan
    Y. H. Chen
    The International Journal of Advanced Manufacturing Technology, 1997, 13 : 713 - 722
  • [45] KGRLFF: Detecting Drug-Drug Interactions Based on Knowledge Graph Representation Learning and Feature Fusion
    Lin, Xiaoli
    Yin, Zhuang
    Zhang, Xiaolong
    Hu, Jing
    IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2024, 21 (06) : 2035 - 2049
  • [46] Living with Feature Interactions
    Atlee, Joanne M.
    ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 1 - 1
  • [47] On the Modularity of Feature Interactions
    Kim, Chang Hwan Peter
    Kaestner, Christian
    Batory, Don
    GPCE'08: PROCEEDINGS OF THE ACM SIGPLAN SEVENTH INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, 2008, : 23 - 33
  • [48] FEATURE-DETECTING NEURONS IN DRAGONFLIES
    OCARROLL, D
    NATURE, 1993, 362 (6420) : 541 - 543
  • [49] Detecting pedestrians on a Movement Feature Space
    Negri, Pablo
    Goussies, Norberto
    Lotito, Pablo
    PATTERN RECOGNITION, 2014, 47 (01) : 56 - 71
  • [50] Feature autoencoder for detecting adversarial examples
    Ye, Hongwei
    Liu, Xiaozhang
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2022, 37 (10) : 7459 - 7477
12345