Combining formal and machine learning techniques for the generation of JML specifications

被引：0
|
作者：
机构：
[1] Puccetti, Armand
[2] De Chalendar, Gaël
[3] Gibello, Pierre-Yves
来源：
| 2021年 / Association for Computing Machinery, Inc卷
关键词：
723.1.1 Computer Programming Languages - 723.2 Data Processing and Image Processing - 723.4 Artificial Intelligence - 723.4.2 Machine Learning - 911 Cost and Value Engineering; Industrial Economics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
16
引用
收藏
相关论文
共 50 条
  • [21] Combining Machine Learning and Information Retrieval Techniques for Software Clustering
    Corazza, Anna
    Di Martino, Sergio
    Maggio, Valerio
    Scanniello, Giuseppe
    ETERNAL SYSTEMS, 2012, 255 : 42 - +
  • [22] Combining Machine Learning and Behavior Analysis Techniques for Network Security
    Brzezinski Meyer, Maria Laura
    Labit, Yann
    2020 34TH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING (ICOIN 2020), 2020, : 580 - 583
  • [23] DESIGN AND ANALYSIS OF FORMAL SPECIFICATIONS WITH THE SDL-MACHINE
    AHRENS, K
    FISCHER, J
    HOLZ, E
    SCHIEFERDECKER, I
    SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 327 - 342
  • [24] On combining semi-formal and formal object specification techniques
    Gogolla, M
    Richters, M
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1998, 1376 : 238 - 252
  • [25] NETSPEC: From formal nets specifications to code generation
    Allain, L
    Hebrard, A
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 3389 - 3394
  • [26] A Polynomial Algorithm for Gateway Generation from Formal Specifications
    Kristol, David M.
    Lee, David
    Netravali, Arun N.
    Sabnani, Krishan
    IEEE-ACM TRANSACTIONS ON NETWORKING, 1993, 1 (02) : 217 - 229
  • [27] From Formal Specifications to Efficient Test Scenarios Generation
    Yang, Jing
    Ghazel, Mohamed
    El-Koursi, El-Miloudi
    2013 INTERNATIONAL CONFERENCE ON ADVANCED LOGISTICS AND TRANSPORT (ICALT), 2013, : 35 - 40
  • [28] Generation of object-oriented formal software specifications
    Hartrum, TC
    Karagias, T
    PROCEEDINGS OF THE IEEE 1997 AEROSPACE AND ELECTRONICS CONFERENCE - NAECON 1997, VOLS 1 AND 2, 1997, : 660 - 667
  • [29] Structural health monitoring by combining machine learning and dimensionality reduction techniques
    Quaranta, Giacomo
    Lopez, Elena
    Abisse-Chavanne, Emmanuelle
    Duval, Jean Louis
    Huerta, Antonio
    Chinesta, Francisco
    REVISTA INTERNACIONAL DE METODOS NUMERICOS PARA CALCULO Y DISENO EN INGENIERIA, 2019, 35 (01):
  • [30] Combining Machine-Learning with Invariants Assurance Techniques for Autonomous Systems
    Mallozzi, Piergiuseppe
    PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 485 - 486
12345