Automated model analysis tools and techniques presented at FASE 2019

被引：0
|
作者：
Reiner Hähnle
Wil van der Aalst
机构：
[1] Technical University of Darmstadt,
[2] RWTH Aachen University,undefined
来源：
International Journal on Software Tools for Technology Transfer | 2021年 / 23卷
关键词：
Model transformation; Test generation; Model synchronization; Graph repair; Data flow analysis;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This special issue contains substantially revised and extended versions of some of the best papers presented at the 22nd International Conference on Fundamental Approaches to Software Engineering in 2019. All papers share the common theme that they are either concerned with model-based analysis of systems or they develop methods in its service.
引用
收藏
页码：285 / 287
页数：2
相关论文
共 50 条
  • [1] Automated model analysis tools and techniques presented at FASE 2019
    Haehnle, Reiner
    Van der Aalst, Wil
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2021, 23 (03) : 285 - 287
  • [2] Software quality tools and techniques presented in FASE’17
    Marieke Huisman
    Julia Rubin
    [J]. International Journal on Software Tools for Technology Transfer, 2018, 20 : 611 - 613
  • [3] Software quality tools and techniques presented in FASE'17
    Huisman, Marieke
    Rubin, Julia
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (06) : 611 - 613
  • [4] Model-based software quality assurance tools and techniques presented at FASE 2018
    Russo, Alessandra
    Schuerr, Andy
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (01) : 1 - 2
  • [5] Model-based software quality assurance tools and techniques presented at FASE 2018
    Alessandra Russo
    Andy Schürr
    [J]. International Journal on Software Tools for Technology Transfer, 2020, 22 : 1 - 2
  • [6] Automated Analysis of MUTEX Algorithms with FASE
    Buti, Federico
    De Donato, Massimo Callisto
    Corradini, Flavio
    Di Berardini, Maria Rita
    Vogler, Walter
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (54): : 45 - 59
  • [7] Automated techniques and tools for program analysis : Survey
    Ashish, Kulkarni A.
    Aghav, Jagannath
    [J]. 2013 FOURTH INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND NETWORKING TECHNOLOGIES (ICCCNT), 2013,
  • [8] A Survey on Automated Dynamic Malware-Analysis Techniques and Tools
    Egele, Manuel
    Scholte, Theodoor
    Kirda, Engin
    Kruegel, Christopher
    [J]. ACM COMPUTING SURVEYS, 2012, 44 (02)
  • [9] Systematic analysis of automated threat modelling techniques: Comparison of open-source tools
    Granata, Daniele
    Rak, Massimiliano
    [J]. SOFTWARE QUALITY JOURNAL, 2024, 32 (01) : 125 - 161
  • [10] Techniques and tools for automated safety analysis & decision support for redundancy allocation in automotive systems
    Papadopoulos, Y
    Grante, C
    [J]. 27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2003, : 105 - 110
12345