Specification and Generation of Environment for Model Checking of Software Components

被引：0
|
作者：
Department of Software Engineering, Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic [1 ]
不详 [2 ]
机构：
来源：
Electron. Notes Theor. Comput. Sci. | / 2卷 / 143-154期
关键词：
Automated generation of environment - Behavior protocols - Software components;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Specification and Generation of Environment for Model Checking of Software Components
    Parizek, Pavel
    Plasil, Frantisek
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (02) : 143 - 154
  • [2] Automated environment generation for software model checking
    Tkachuk, Oksana
    Dwyer, Matthew B.
    Păsăreanu, Corina S.
    Proc. - IEEE Int. Conf. Autom. Softw. Eng., ASE, 1600, (116-127):
  • [3] Automated environment generation for software model checking
    Tkachuk, O
    Dwyer, MB
    Pasareanu, CS
    18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 116 - 127
  • [4] Modular model checking of software specifications with simultaneous environment generation
    de la Riva, C
    Tuya, J
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 369 - 383
  • [5] Environment generation for validating event-driven software using model checking
    Tkachuk, O.
    Dwyer, M. B.
    IET SOFTWARE, 2010, 4 (03) : 194 - 209
  • [6] Test Generation Using Model Checking and Specification Mutation
    Black, Paul E.
    IT PROFESSIONAL, 2014, 16 (02) : 17 - 21
  • [7] Test Case Generation using Model Checking for Software Components Deployed into New Environments
    Bao, Tonglaga
    Jones, Michael D.
    ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 57 - 66
  • [8] A Model Checking based Software Requirements Specification Approach for Embedded Systems
    Yang, Xiao
    Chen, Xiaohong
    Wang, Jiangtao
    2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 184 - 191
  • [9] Model Checking by Generating Observers from an Interface Specification Between Components
    Hasegawa, Tetsuo
    Fukazawa, Yoshiaki
    INFORMATION SYSTEMS: MODELING, DEVELOPMENT, AND INTEGRATION, 2009, 20 : 526 - 538
  • [10] Using a Specification Data Model for Specification of Black-Box Software Components
    Ackermann, Joerg
    ENTERPRISE MODELLING AND INFORMATION SYSTEMS ARCHITECTURES-AN INTERNATIONAL JOURNAL, 2007, 2 (01): : 3 - 13
12345