Combining Static and Dynamic Testing - Preventing a Motor Catastrophe

被引：0
|
作者：
Bethel, Noah [1 ]
机构：
[1] PdMA Corp, Prod Dev, Tampa, FL 33610 USA
来源：
AISTECH 2013: PROCEEDINGS OF THE IRON & STEEL TECHNOLOGY CONFERENCE, VOLS I AND II | 2013年
关键词：
D O I：
暂无
中图分类号：
TF [冶金工业];
学科分类号：
0806 ;
摘要：
引用
收藏
页码：2369 / 2371
页数：3
相关论文
共 50 条
  • [1] Testing hypotheses in an engineering domain: Combining static and dynamic analysis of pneumatic circuits
    Willms, J
    Gohler, H
    Mobus, C
    ARTIFICIAL INTELLIGENCE IN EDUCATION: KNOWLEDGE AND MEDIA IN LEARNING SYSTEMS, 1997, 39 : 680 - 682
  • [2] PREVENTING CATASTROPHE
    CASTLEMAN, BI
    SOCIETY, 1981, 18 (03) : 9 - 10
  • [3] Functionally Equivalent C Code Clone Refactoring by Combining Static Analysis with Dynamic Testing
    Su, Xiaohong
    Zhang, Fanlong
    Li, Xia
    Ma, Peijun
    Wang, Tiantian
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON SOFT COMPUTING TECHNIQUES AND ENGINEERING APPLICATION, ICSCTEA 2013, 2014, 250 : 247 - 256
  • [4] Combining Static Analysis and Testing for Deadlock Detection
    Albert, Elvira
    Gomez-Zamalloa, Miguel
    Isabel, Miguel
    INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 409 - 424
  • [5] Static and dynamic organization of motor cortex
    Sanes, JN
    Donoghue, JP
    BRAIN PLASTICITY, 1997, 73 : 277 - 296
  • [6] Combining static and dynamic reasoning for bug detection
    Smaragdakis, Yannis
    Csallner, Christoph
    TESTS AND PROOFS, 2007, 4454 : 1 - +
  • [7] Combining Static and Dynamic Contract Checking for Curry
    Hanus, Michael
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 323 - 340
  • [8] Combining Static and Dynamic Contract Checking for Curry
    Hanus, Michael
    FUNDAMENTA INFORMATICAE, 2020, 173 (04) : 285 - 314
  • [9] Combining static and dynamic views for architecture reconstruction
    Riva, C
    Rodriguez, JV
    SIXTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2002, : 47 - 55
  • [10] Combining dynamic and static slicing for analysing assembler
    Ward, Martin
    Zedan, Hussein
    SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (03) : 134 - 175
12345