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 条
  • [31] INTERNAL REPRESENTATION OF PROGRAMS FOR INTERPRETER FROM APL.
    Trifonova, G.N.
    Moscow University computational mathematics and cybernetics, 1981, (04) : 48 - 53
  • [32] Test and analysis of outdoor power generation performance of crystalline silicon solar cells
    Han, H. (hflyover@stu.xjtu.edu.cn), 1600, Science Press (34):
  • [33] Constraint-logic object-oriented programming for test case generation
    Winkelmann, Hendrik
    Troost, Laura
    Kuchen, Herbert
    Proceedings of the ACM Symposium on Applied Computing, 2022, : 1499 - 1508
  • [34] Triaxlal test of shear properties of eluvial gravel soil
    School of Civil Engineering and Mechanics, Xiangtan University, Xiangtan
    Hunan, China
    不详
    Hunan, China
    不详
    Hunan, China
    Chang'an Daxue Xuebao, 2 (59-66): : 59 - 66
  • [35] How a Java VM can get more from a hardware performance monitor
    IBM Tokyo Research Laboratory, 1623-14, Shimo-tsuruma, Yamato-shi, Kanagawa-ken, 242-8502, Japan
    Proc Conf Object Orient Program Syst Lang Appl OOPSLA, (137-154):
  • [36] Guess What: Test Case Generation for Javascript with Unsupervised Probabilistic Type Inference
    Stallenberg, Dimitri
    Olsthoorn, Mitchell
    Panichella, Annibale
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13711 LNCS : 67 - 82
  • [37] A Multi-factorial Code Coverage Based Test Case Selection and Prioritization for Object Oriented Programs
    Vats, Prashant
    Aalam, Zunaid
    Kaur, Satnam
    Kaur, Amritpal
    Kaur, Saravjit
    Advances in Intelligent Systems and Computing, 2021, 1270 : 721 - 731
  • [38] Welcome Message from the ICEA 2019 Technical Programs Chairs
    Chung, Pau-Choo
    Tsai, Chun-Wei
    Chen, Mu-Yen
    Proceedings - 2019 International Conference on Intelligent Computing and Its Emerging Applications, ICEA 2019, 2019,
  • [39] Scenario-based test case generation using Event-B models
    Turku Centre for Computer Science , Department of Information Technologies, Åbo Akademi University, Turku, Finland
    Int. Conf. Adv. Syst. Test. Validation Lifecycle, VALID, (31-37):
  • [40] Test study of shear strength properties of Angola Quelo sand
    Yu, Yong-Tang
    Zheng, Jian-Guo
    Liu, Zheng-Hong
    Yantu Lixue/Rock and Soil Mechanics, 2012, 33 (SUPPL. 1): : 136 - 140
12345