Using B machines for model-based testing of smartcard software

被引：0
|
作者：
Jaffuel, Eddie [1 ]
机构：
[1] LEIRIOS Technol, TEMIS Innovat, F-25000 Besancon, France
来源：
B 2007: FORMAL SPECIFICATION AND DEVELOPMENT IN B, PROCEEDINGS | 2007年 / 4355卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：2 / 2
页数：1
相关论文
共 50 条
  • [1] Using Model-Based Diagnosis to Improve Software Testing
    Zamir, Tom
    Stern, Roni
    Kalech, Meir
    [J]. PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 1135 - 1141
  • [2] Model-Based Software Regression Testing for Software Components
    Batra, Gagandeep
    Arora, Yogesh Kumar
    Sengupta, Jyotsna
    [J]. INFORMATION SYSTEMS, TECHNOLOGY AND MANAGEMENT-THIRD INTERNATIONAL CONFERENCE, ICISTM 2009, 2009, 31 : 138 - +
  • [3] A Model-based Testing for AADL Model of Embedded Software
    Dong, Yun-wei
    Wang, Geng
    Zhao, Hong-bing
    [J]. 2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 185 - +
  • [4] A Model-Based Testing Tool for Embedded Software
    Liu, Chien-Hung
    Chen, Shu-Ling
    Huang, Tien-Chi
    [J]. 2012 SIXTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING (ICGEC), 2012, : 180 - 183
  • [5] Model-based testing for enterprise software solutions
    Jain, A
    [J]. Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005, : 331 - 331
  • [6] Workshop on advances in model-based software testing
    Dalal, S
    Jain, A
    Poore, J
    [J]. ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 680 - 680
  • [7] Model-based testing of software for automation systems using heuristics and coverage criterion
    Sarmento Peixoto, Rodrigo Jose
    da Silva, Leandro Dias
    Perkusich, Angelo
    [J]. SOFTWARE AND SYSTEMS MODELING, 2019, 18 (02): : 797 - 823
  • [8] Model-based testing of software for automation systems using heuristics and coverage criterion
    Rodrigo José Sarmento Peixoto
    Leandro Dias da Silva
    Angelo Perkusich
    [J]. Software & Systems Modeling, 2019, 18 : 797 - 823
  • [9] Advances in Model-Based Testing of GUI-Based Software
    Banerjee, I.
    [J]. ADVANCES IN COMPUTERS, VOL 105, 2017, 105 : 45 - 78
  • [10] Model-based abductive reasoning in automated software testing
    Angius, Nicola
    [J]. LOGIC JOURNAL OF THE IGPL, 2013, 21 (06) : 931 - 942
12345