Automated test generation and static analysis

被引：0
|
作者：
Chernonozhkin, S.K.
机构：
来源：
Programmirovanie | 2001年 / 27卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：47 / 60
相关论文
共 50 条
  • [21] Automated test generation for Scratch programs
    Adina Deiner
    Patric Feldmeier
    Gordon Fraser
    Sebastian Schweikl
    Wengran Wang
    Empirical Software Engineering, 2023, 28
  • [22] Automated test case generation for spreadsheets
    Fisher, M
    Cao, MM
    Rothermel, G
    Cook, CR
    Burnett, MM
    ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 141 - 151
  • [23] Automated test generation for Scratch programs
    Deiner, Adina
    Feldmeier, Patric
    Fraser, Gordon
    Schweikl, Sebastian
    Wang, Wengran
    EMPIRICAL SOFTWARE ENGINEERING, 2023, 28 (03)
  • [24] Automated test generation for synchronous controllers
    Mnad, Mouna Tka
    Deleuze, Christophe
    Parissis, Ioannis
    Launay, Jackie
    Gning, Jean Baptiste
    2016 IEEE/ACM 11TH INTERNATIONAL WORKSHOP IN AUTOMATION OF SOFTWARE TEST (AST), 2016, : 1 - 7
  • [25] Automated Test-Form Generation
    van der Linden, Wim J.
    Diao, Qi
    JOURNAL OF EDUCATIONAL MEASUREMENT, 2011, 48 (02) : 206 - 222
  • [26] Crowdsourced test case generation for android applications via static program analysis
    Yuying Li
    Yang Feng
    Chao Guo
    Zhenyu Chen
    Baowen Xu
    Automated Software Engineering, 2023, 30
  • [27] Crowdsourced test case generation for android applications via static program analysis
    Li, Yuying
    Feng, Yang
    Guo, Chao
    Chen, Zhenyu
    Xu, Baowen
    AUTOMATED SOFTWARE ENGINEERING, 2023, 30 (02)
  • [28] Dynamic Test Generation with Static Fields and Initializers
    Christakis, Maria
    Emmisberger, Patrick
    Mueller, Peter
    RUNTIME VERIFICATION, RV 2014, 2014, 8734 : 269 - 284
  • [29] Automated Static Data Flow Analysis
    Aghav, Ishwari
    Tathe, Vishal
    Zajriya, Aashay
    Emmanuel, M.
    2013 FOURTH INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND NETWORKING TECHNOLOGIES (ICCCNT), 2013,
  • [30] Automated generation of SPICE characterization test masks and test databases
    Kasel, L
    McAndrew, CC
    Drennan, P
    Davis, WF
    Ida, R
    ICMTS 1999: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON MICROELECTRONIC TEST STRUCTURES, 1999, : 74 - 79
12345