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 条
  • [1] An approach for Test Impact Analysis on the Integration Level in Java programs
    Shahbaz, Muzammil
    arXiv, 2022,
  • [2] An Review on Automated Test Data Generation with Java Environment
    Chavan, Peeyusha
    Chavan, Parikshit
    1st International Conference on Pioneering Developments in Computer Science and Digital Technologies, IC2SDT 2024 - Proceedings, 2024, : 131 - 136
  • [3] Constraint-based test input generation for Java bytecode
    Université de Rennes 1, Rennes, France
    不详
    Proc. Int. Symp. Softw. Reliab. Eng., 1600, (131-140):
  • [4] Predicate abstraction of java programs with collections
    David R. Cheriton School of Computer Science, University of Waterloo, Canada
    ACM SIGPLAN Not., 10 (75-94):
  • [5] Model Generation For Java Frameworks
    Luo, Linghui
    Piskachev, Goran
    Krishnamurthy, Ranjith
    Dolby, Julian
    Bodden, Eric
    Schaf, Martin
    Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023, 2023, : 165 - 175
  • [6] Refactoring java programs using concurrent libraries
    IBM Research, Tokyo, Japan
    不详
    Workshop Parallel Distrib. Syst.: Test., Anal., Debugging, PADTAD - Proc., (35-44):
  • [7] Regression test selection for Java software
    College of Computing, Georgia Institute of Technology, Atlanta
    GA, United States
    不详
    FL, United States
    ACM SIGPLAN Not., 11 (312-326):
  • [8] Prototyping of dynamic information display system of Java programs
    Computer Science Department, Takushoku University, Hachioji Tokyo 193-0985, Japan
    Proc. IADIS Int. Conf. Informatics, Part IADIS Multi Conf. Comput. Sci. Inf. Syst., MCCSIS, 1600, (229-231):
  • [9] Analyzing syntactic constructs of Java programs with machine learning
    Ortin, Francisco
    Facundo, Guillermo
    Garcia, Miguel
    Expert Systems with Applications, 2023, 215
  • [10] Comparing metaheuristic algorithms for error detection in Java programs
    Chicano, Francisco
    Ferreira, Marco
    Alba, Enrique
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6956 LNCS : 82 - 96
12345