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 条
  • [21] Model-based test generation using extended symbolic grammars
    Guo, Hai-Feng
    Subramaniam, Mahadevan
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2014, 16 (04) : 437 - 455
  • [22] Properties of lindenmayer fuzzy languages and alpha-driven lindenmayer languages
    Bexten, EMZ
    Sajadi, F
    Moraga, C
    [J]. 27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 195 - 200
  • [23] Testing Grammars For Top-Down Parsers
    Paracha, A. M.
    Franek, F.
    [J]. INNOVATIONS AND ADVANCES IN COMPUTER SCIENCES AND ENGINEERING, 2010, : 451 - 456
  • [24] On genetic algorithms and Lindenmayer systems
    Ochoa, G
    [J]. PARALLEL PROBLEM SOLVING FROM NATURE - PPSN V, 1998, 1498 : 335 - 344
  • [25] Valences in Lindenmayer systems
    Fernau, H
    [J]. FUNDAMENTA INFORMATICAE, 2001, 45 (04) : 329 - 358
  • [26] EVALUATION OF EFFECTIVENESS OF SYMBOLIC TESTING
    HOWDEN, WE
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1978, 8 (04): : 381 - 397
  • [27] SYMBOLIC EXECUTION AND PROGRAM TESTING
    KING, JC
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (07) : 385 - 394
  • [28] Symbolic Testing for C and Rust
    Tomb, Aaron
    Pernsteiner, Stuart
    Dodds, Mike
    [J]. 2020 IEEE SECURE DEVELOPMENT (SECDEV 2020), 2020, : 33 - 33
  • [29] Generalized Earley Parser: Bridging Symbolic Grammars and Sequence Data for Future Prediction
    Qi, Siyuan
    Jia, Baoxiong
    Zhu, Song-Chun
    [J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 80, 2018, 80
  • [30] THE LINGUISTIC RELEVANCE OF LINDENMAYER SYSTEMS
    Becerra-Bonache, Leonor
    Bensch, Suna
    Dolores Jimenez-Lopez, M.
    [J]. ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2: AGENTS, 2010, : 395 - 402
12345