VALIDATION OF CONCURRENT ADA PROGRAMS USING SYMBOLIC EXECUTION

被引：0
|
作者：
MORASCA, S [1 ]
PEZZE, M [1 ]
机构：
[1] POLITECN MILAN, CEFRIEL, I-20126 MILAN, ITALY
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 387卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：467 / 486
页数：20
相关论文
共 50 条
  • [1] USING SYMBOLIC EXECUTION FOR VERIFICATION OF ADA TASKING PROGRAMS
    DILLON, LK
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (04): : 643 - 669
  • [2] DETERMINISTIC EXECUTION TESTING OF CONCURRENT ADA PROGRAMS
    CARVER, R
    TAI, KC
    [J]. TRI-ADA 89 : INDUSTRY, ACADEMIA, GOVERNMENT: ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT, 1989, : 528 - 544
  • [3] DEBUGGING CONCURRENT ADA PROGRAMS BY DETERMINISTIC EXECUTION
    TAI, KC
    CARVER, RH
    OBAID, EE
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (01) : 45 - 63
  • [4] DETERMINISTIC EXECUTION DEBUGGING OF CONCURRENT ADA PROGRAMS
    TAI, KC
    CARVER, RH
    OBAID, EE
    [J]. PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 102 - 109
  • [5] AN ISOLATION APPROACH TO SYMBOLIC EXECUTION-BASED VERIFICATION OF ADA TASKING PROGRAMS
    DILLON, LK
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1991, 14 (03) : 183 - 198
  • [6] Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution
    Rungta, Neha
    Mercer, Eric G.
    Visser, Willem
    [J]. MODEL CHECKING SOFTWARE, 2009, 5578 : 174 - +
  • [7] Interactive verification of concurrent systems using symbolic execution
    Baeumler, Simon
    Balser, Michael
    Nafz, Florian
    Reif, Wolfgang
    Schellhorn, Gerhard
    [J]. AI COMMUNICATIONS, 2010, 23 (2-3) : 285 - 307
  • [8] SYMBOLIC EXECUTION OF CONCURRENT SYSTEMS USING PETRI NETS
    GHEZZI, C
    MANDRIOLI, D
    MORASCA, S
    PEZZE, M
    [J]. COMPUTER LANGUAGES, 1989, 14 (04): : 263 - 281
  • [9] TRANSLATION AND EXECUTION OF DISTRIBUTED ADA PROGRAMS - IS IT STILL ADA
    VOLZ, RA
    MUDGE, TN
    BUZZARD, GD
    KRISHNAN, P
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (03) : 281 - 292
  • [10] Symbolic Execution for Randomized Programs
    Susag, Zachary
    Lahiri, Sumit
    Hsu, Justin
    Roy, Subhajit
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
12345