LINDENMAYER GRAMMARS AND SYMBOLIC TESTING

被引：3
|
作者：
HOWDEN, WE
机构：
来源：
INFORMATION PROCESSING LETTERS | 1978年 / 7卷 / 01期
关键词：
D O I：
10.1016/0020-0190(78)90036-4
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：36 / 39
页数：4
相关论文
共 50 条
  • [41] Strengthening invariants by symbolic consistency testing
    Abu-Haimed, H
    Berezin, S
    Dill, DL
    [J]. COMPUTER AIDED VERIFICATION, 2003, 2725 : 407 - 419
  • [42] Nonlinear and symbolic data dependence testing
    Blume, W
    Eigenmann, R
    [J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1998, 9 (12) : 1180 - 1194
  • [43] Look Ma, No Input Samples! Mining Input Grammars from Code with Symbolic Parsing
    Bettscheider, Leon
    Zeller, Andreas
    [J]. COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, 2024, : 522 - 526
  • [44] CODETERMINISTIC LINDENMAYER SCHEMES AND SYSTEMS
    HEAD, T
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 19 (02) : 203 - 210
  • [45] Lindenmayer Systems and Global Transformations
    Fernandez, Alexandre
    Maignan, Luidnel
    Spicher, Antoine
    [J]. UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2019, 2019, 11493 : 65 - 78
  • [46] On the descriptional complexity of Lindenmayer systems
    Dassow, J
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2004, 15 (04) : 663 - 672
  • [47] STRUCTURE OF GROWTH IN LINDENMAYER SYSTEMS
    VITANYI, PMB
    [J]. PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1973, 76 (03): : 247 - 253
  • [48] GROWTH FUNCTIONS OF STOCHASTIC LINDENMAYER-SYSTEMS
    EICHHORST, P
    SAVITCH, WJ
    [J]. INFORMATION AND CONTROL, 1980, 45 (03): : 217 - 228
  • [49] STABLE STRING LANGUAGES OF LINDENMAYER SYSTEMS
    VITANYI, PMB
    WALKER, A
    [J]. INFORMATION AND CONTROL, 1978, 37 (02): : 134 - 149
  • [50] Shadow Symbolic Execution for Testing Software Patches
    Kuchta, Tomasz
    Palikareva, Hristina
    Cadar, Cristian
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2018, 27 (03)
12345