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 条
  • [31] AMBIGUITY IN DEVELOPMENTAL SYSTEMS OF LINDENMAYER
    REEDY, A
    SAVITCH, WJ
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 11 (02) : 262 - 283
  • [32] BOUNDEDNESS TESTING FOR UNAMBIGUOUS CONTEXT-FREE GRAMMARS
    MAKINEN, E
    [J]. INFORMATION PROCESSING LETTERS, 1983, 17 (04) : 181 - 183
  • [33] EXPONENTIAL GROWTH IN LINDENMAYER SYSTEMS
    SALOMAA, A
    [J]. PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1973, 76 (01): : 22 - 30
  • [34] APPLICATIONS OF SYMBOLIC EXECUTION TO PROGRAM TESTING
    DARRINGER, JA
    KING, JC
    [J]. COMPUTER, 1978, 11 (04) : 51 - 59
  • [35] Symbolic execution and model checking for testing
    Pasareanu, Corina S.
    Visser, Willem
    [J]. HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 2008, 4899 : 17 - +
  • [36] Symbolic Execution Enhanced System Testing
    Davies, Misty
    Pasareanu, Corina S.
    Raman, Vishwanath
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2012, 7152 : 294 - +
  • [37] Testing of symbolic-probabilistic systems
    López, N
    Núñez, M
    Rodríguez, I
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 49 - 63
  • [38] Efficient symbolic execution for software testing
    Kinder, Johannes
    [J]. 2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 5 - 5
  • [39] TESTING MIXAL PROGRAMS BY SYMBOLIC EXECUTION
    ERMAKOV, GV
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1988, 14 (01) : 1 - 6
  • [40] Symbolic execution techniques for refinement testing
    Le Gall, Pascale
    Rapin, Nicolas
    Touil, Assia
    [J]. TESTS AND PROOFS, 2007, 4454 : 131 - +
12345