Generation of Java programs properties from test purposes

被引：0
|
作者：
Hanazumi, Simone [1 ]
De Melo, Ana C. V. [1 ]
机构：
[1] Department of Computer Science, University of São Paulo, São Paulo, Brazil
来源：
2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings | 2013年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer software selection and evaluation - Application programs - Formal languages - Formal specification - Java programming language - Software testing
引用
收藏
页码：362 / 365
相关论文
共 50 条
  • [21] On the effectiveness of whole test suite generation
    Arcuri, Andrea
    Fraser, Gordon
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8636 LNCS : 1 - 15
  • [22] MemStep: An Interactive Tool for Constructing and Visualizing the Run-Time Memory Layout of Java Programs
    Pham, Michelle Le
    Nguyen, Anna
    Schreib, Rebecca
    Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, 1 : 541 - 547
  • [23] Proving properties of functional programs by equality saturation
    Grechanik, S. A.
    PROGRAMMING AND COMPUTER SOFTWARE, 2015, 41 (03) : 149 - 161
  • [24] The Mechanism of Generating the Automated Java Unit Test Cases by Achieving Maximum Code Coverage
    Avadhani, Bindu
    Giri, Saumya Ranjan
    Pulipati, Venkateswara Rao
    Learning and Analytics in Intelligent Systems, 2021, 20 : 41 - 56
  • [25] A Java programming Learning Assistant System using test-driven development method
    1600, International Association of Engineers (40):
  • [26] Identifying Performance Inefficiencies Via Object-Centric Profiling for Java Programs Running on JVM and Android Runtime
    Li, Bolun
    ProQuest Dissertations and Theses Global, 2022,
  • [27] AC TEST PATTERN GENERATION FOR SEQUENTIAL LOGIC.
    Chao, C.C.
    IBM Technical Disclosure Bulletin, 1974, 16 (08): : 2439 - 2441
  • [28] On the Evaluation of Large Language Models in Unit Test Generation
    Yang, Lin
    Yang, Chen
    Gao, Shutao
    Wang, Weijing
    Wang, Bo
    Zhu, Qihao
    Chu, Xiao
    Zhou, Jianyi
    Liang, Guangtai
    Wang, Qianxiang
    Chen, Junjie
    arXiv,
  • [29] Efficient combinatorial test generation based on multivalued decision diagrams
    Gargantini, Angelo (angelo.gargantini@unibg.it), 1600, Springer Verlag (8855): : 220 - 235
  • [30] Analysis of geothermal water for domestic and irrigation purposes from Tulsishyam geothermal hotspot
    Bist, Namrata
    Sircar, Anirbid
    Yadav, Kriti
    Materials Today: Proceedings, 2023, 77 : 64 - 68
12345