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 条
  • [1] Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
    Puccetti, Armand
    de Chalendar, Gael
    Gibello, Pierre-Yves
    PROCEEDINGS OF THE 23RD ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP '21), 2021, : 59 - 64
  • [2] Automated boundary test generation from JML specifications
    Bouquet, Fabrice
    Dadeau, Frederic
    Legeard, Bruno
    FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 428 - 443
  • [3] Safety property driven test generation from JML specifications
    Bouquet, Fabrice
    Dadeau, Frederic
    Groslambert, Julien
    Julliand, Jacques
    FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION, 2006, 4262 : 225 - +
  • [4] Combining formal specifications with design by contract
    Valle, Begona Moros
    Ros, Joaquin Nicolas
    Molina, Jesus Garcia
    Toval Alvarez, Jose Ambrosio
    JOOP - Journal of Object-Oriented Programming, 2000, 12 (09): : 16 - 21
  • [5] Machine improvisation with formal specifications
    Donzé, Alexandre
    Valle, Rafael
    Akkaya, Ilge
    Libkind, Sophie
    Seshia, Sanjit A.
    Wessel, David
    Proceedings - 40th International Computer Music Conference, ICMC 2014 and 11th Sound and Music Computing Conference, SMC 2014 - Music Technology Meets Philosophy: From Digital Echos to Virtual Ethos, 2014, : 1277 - 1284
  • [6] Automated test generation from specifications based on formal description techniques
    Chin, BM
    Choe, YH
    Kim, SU
    Jung, JI
    ETRI JOURNAL, 1997, 19 (04) : 363 - 388
  • [7] Specifying linked data structures in JML for combining formal verification and testing
    Gladisch, Christoph
    Tyszberowicz, Shmuel
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 107 : 19 - 40
  • [8] Formal Ontology Generation by Deep Machine Learning
    Wang, Yingxu
    Valipour, Mehrdad
    Zatarain, Omar A.
    Gavrilova, Marina
    Hussain, Amir
    Howard, Newton
    Patel, Shushma
    2017 IEEE 16TH INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS & COGNITIVE COMPUTING (ICCI*CC), 2017, : 6 - 15
  • [9] Combining formal specifications with test driven development
    Baumeister, H
    EXTREME PROGRAMMING AND AGILE METHODS - XP/ AGILE UNIVERSE 2004, PROCEEDINGS, 2004, 3134 : 1 - 12
  • [10] Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials
    Drechsler, Rolf
    Huhn, Sebastian
    Plump, Christina
    2020 23RD EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2020), 2020, : 518 - 525
12345