Search Results - Java program testing

A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs by Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao

“… In this paper, we propose a divergence-oriented approach to adaptive random testing of Java programs to address…”
Get full text

Framework for testing multi-threaded Java programs by Edelstein, Orit, Farchi, Eitan, Goldin, Evgeny, Nir, Yarden, Ratsaby, Gil, Ur, Shmuel

“… In this work we present a methodology for testing multi‐threaded programs which has minimal impact on the user and is likely to find interleaving bugs…”
Get full text

Scaling modified condition/decision coverage using distributed concolic testing for Java programs by Godboley, Sangharatna, Dutta, Arpita, Mohapatra, Durga Prasad, Mall, Rajib

“…•DRCT is a hybridization of existing JPCT and JEXNCT to improve MC/DC.•JCA 2.0 is a tool to measure MC/DC, after executing test cases generated along with the original Java program…”
Get full text

TestEra: A tool for testing Java programs using alloy specifications by Khalek, Shadi Abdul, Guowei Yang, Lingming Zhang, Marinov, Darko, Khurshid, Sarfraz

“…This tool paper presents an embodiment of TestEra - a framework developed in previous work for specification-based testing of Java programs…”
Get full text

Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs by Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra

Get full text

Dataflow approach to testing Java programs supported with DFC by Ilona Bluemke, Artur Rembiszewski

“…) support dataflow testing of Java programs. DFC is a tool implemented at the Institute of Computer Science Warsaw University of Technology as an Eclipse plug…”
Get full text

JATTACK: Java JIT Testing using Template Programs by Zang, Zhiqiang, Yu, Fu-Yao, Wiatrek, Nathan, Gligoric, Milos, Shi, August

“… Such a template-based approach leverages developers' intuition on testing compilers, by allowing developers to write a template program in the host programming language (Java…”
Get full text

TestEra: Specification-Based Testing of Java Programs Using SAT by Khurshid, Sarfraz, Marinov, Darko

“…TestEra is a framework for automated specification-based testing of Java programs…”
Get full text

Scaling Java Program Analysis and Testing Techniques by Hussein, Soha Mohamed Nabil Abdelhamid

“… systems.In the pursuit of addressing the challenges of constructing, validating, and testing large-scale software programs, this dissertation proposes enhancements to existing state-of-the-art tools…”
Get full text

Coverage testing of Java programs and components by Vincenzi, A.M.R., Maldonado, J.C., Wong, W.E., Delamaro, M.E.

“…Although software testing is a crucial activity in the software development process, only recently have more sound and consistent testing tools become available for testing Java programs and their components…”
Get full text

Poster: Testing Heap-Based Programs with Java StarFinder by Pham, Long H., Le, Quang Loc, Phan, Quoc-Sang, Sun, Jun, Qin, Shengchao

“…We present Java StarFinder (JSF), a tool for automated test case generation and error detection for Java programs having inputs in the form of complex heap-manipulating data structures…”
Get full text

Type-Aware Concolic Testing of JavaScript Programs by Dhok, Monika, Ramanathan, Murali Krishna, Sinha, Nishant

“… While it has also been applied in the context of JavaScript (JS) programs, we observe that applying concolic testing to dynamically-typed JS programs involves tackling unique problems to ensure scalability…”
Get full text

TestEra: a novel framework for automated testing of Java programs by Marinov, D., Khurshid, S.

“…We present TestEra, a novel framework for automated testing of Java programs. TestEra automatically generates all non-isomorphic test cases within a given input size and evaluates correctness criteria…”
Get full text

Code Coverage Visualization on Web-Based Testing Tool for Java Programs by Saputra, Mochamad Chandra, Katayama, Tetsuro

“… green The web-based testing tool significantly reduces the time for testing the code and help user to understand the behavior of the tested code…”
Get full text

Compiler Testing using Template Java Programs by Zang, Zhiqiang, Wiatrek, Nathan, Gligoric, Milos, Shi, August

“… Such a framework enables developers to incorporate their domain knowledge on testing compilers, giving a basic program structure that allows for exploring complex programs that can trigger…”
Get full text

Proposal of a method to support testing for Java programs with UML

“… This paper proposes a supporting method of testing for Java programs by using Unified Modeling Language (UML…”
Get full text

Program Interoperable Large Language Model Software Testing Scheme: A Case Study on JavaScript Engine Fuzzing by Cao, Daipeng, Hong, Yang, Pan, Qianqian, Wu, Jun

“… However, LLMs are designed for human interaction, which poses the following challenges when interacting with programs for testing: 1…”
Get full text

Preparation-free and comprehensive runtime verification tool for testing Java programs by Lee, Choonghwan

“…Runtime verification is an effective and accurate technique for ensuring that an execution of a program conform to certain specifications at runtime…”
Get full text

Java-HCT: An approach to increase MC/DC using hybrid concolic testing for Java programs by Godboley, Sangharatna, Dutta, Arpita, Mohapatra, Durga Prasad

“…Modified Condition / Decision Coverage (MC/DC) is the second strongest coverage criterion in white-box testing…”
Get full text

Automating Java Program Testing Using OCL and AspectJ by Yoonsik Cheon, Avila, Carmen

“… Random testing, if fully automated, can reduce the cost of testing dramatically. We propose an automated testing approach for Java programs by combining random testing and OCL…”
Get full text