Kex at the SBFT 2023 Java']Java Tool Competition

被引：1

作者：

Abdullin, Azat ^{[1
]}

Akhin, Marat ^{[2
]}

机构：

[1] JetBrains Res, Paphos, Cyprus

[2] JetBrains Res, Amsterdam, Netherlands

来源：

2023 IEEE/ACM INTERNATIONAL WORKSHOP ON SEARCH-BASED AND FUZZ TESTING, SBFT | 2023年

关键词：

automatic test generation; symbolic execution; concolic testing; software testing;

D O I：

10.1109/SBFT59156.2023.00017

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Kex is a platform for analysis of JVM programs which mainly focuses on automatic test generation with the aim to maximize branch coverage criterion. Kex takes a set of compiled classes as an input and uses symbolic execution to analyze control flow graphs of the program under test (PUT). Symbolic engine produces a set of interesting inputs which are converted into a JUnit 4 test suite using Java reflection library. Kex can generate tests in fully static mode without running any actual code (Kex-symbolic) and in concolic mode (Kex-concolic) which combines symbolic and concrete executions. This paper summarizes the results and experiences of Kex-symbolic and Kex-concolic participation in the eleventh edition of the Java unit testing tool competition at the International Workshop on Search-Based and Fuzz Testing (SBFT) 2023.

引用

页码：55 / 58

页数：4

共 50 条

[41] Combinatorial Validation Testing of Java']Java Card Byte Code Verifiers
Calvagna, Andrea
Tramontana, Emiliano
2013 IEEE 22ND INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2013, : 347 - 352
[42] Dynamic Symbolic Execution for the Analysis of Web Server Applications in Java']Java
Balasubramanian, Daniel
Zhang, Zhenkai
McDermet, Dan
Karsai, Gabor
SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 2178 - 2185
[43] Probabilistic Programming for Java']Java using Symbolic Execution and Model Counting
Visser, Willem
Pasareanu, Corina S.
SOUTH AFRICAN INSTITUTE OF COMPUTER SCIENTISTS AND INFORMATION TECHNOLOGISTS (SACSIT 2017), 2017, : 319 - 328
[44] Identifying Characteristics of Java']Java Methods that May Influence Branch Coverage: An Exploratory Study on Open Source Projects
de Castro, Camila Faria
Oliveira, Decio de Souza, Jr.
Eler, Marcelo Medeiros
PROCEEDINGS OF THE 2016 35TH INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY (SCCC), 2016,
[45] Combining Model Learning and Model Checking to Analyze Java']Java Libraries
Ali, Shahbaz
Sun, Hailong
Zhao, Yongwang
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD (SOFL+MSVL 2019), 2020, 12028 : 259 - 278
[46] Runtime Exception Detection in Java']Java Programs Using Symbolic Execution
Kadar, Istvan
Hegedus, Peter
Ferene, Rudolf
ACTA CYBERNETICA, 2014, 21 (03): : 331 - 352
[47] JBSE: A Symbolic Executor for Java']Java Programs with Complex Heap Inputs
Braione, Pietro
Denaro, Giovanni
Pezze, Mauro
FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 1018 - 1022
[48] Juliet 1.1 C/C++ and Java']Java Test Suite
Boland, Tim
Black, Paul E.
COMPUTER, 2012, 45 (10) : 88 - 90
[49] Constructing Subtle Higher Order Mutants for Java']Java and AspectJ Programs
Omar, Elmahdi
Ghosh, Sudipto
Whitley, Darrell
2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2013, : 340 - 349
[50] A practitioner report on the evaluation of the performance of Java']Java on the OS/390 platform
Radaideh, M
Cargill, DA
PROCEEDINGS OF 1999 SYMPOSIUM ON PERFORMANCE EVALUATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS, 1999, : 407 - 409

← 1 2 3 4 5 →