Jul 2026· 2026 6th International Conference on Electrical, Computer and Energy Technologies (ICECET)· pp. 1-5· 0 citations· 16 references
Abstract
Testing is one of the crucial stages of development. Code without proper test coverage leads to undetected defects and vulnerabilities that result in errors or exploitation of critical system components. Nevertheless, providing proper test coverage is a resource-intensive process. This paper introduces a method for automated unit test generation, alongside its functional implementation. The tool accepts the source code and the target function name as input. It then symbolizes the function's parameters and the return values of function calls. Afterwards, it performs symbolic execution of the target function, processes the result, recovering symbolic pointer connections to the underlying objects, restoring their offsets. It creates mock functions, which simulate the behaviour of the real ones, and creates a main function for each execution path. The generated file will be the unit test exploring that path. Finally, it outputs a file that contains the target function and a unit test file for each execution path. The implemented tool runs automatically, without the need for manual configuration.
A debugging workflow that combines dynamic analysis with directed unit tests is introduced, and ACF, an infrastructure for automating this workflow is presented, indicating that ACF can help developers to isolate specific inputs causing an error, thus simplifying the process of locating faulty statements.
Roman Vašut, P. Parízek· Proceedings of the 14th Work...· 0 citations
Test automation addresses limitations such as time consuming, error prone, and difficult to reproduce at a scale by enabling systematic, efficient, and repeatable validation of software functionality across multiple deployments. This project presents an analysis of the client’s CRM system, with the primary objective of...
Rajat Sharma, Shahid Ali· International Journal of Com...· 0 citations
CTForge is presented, an LLM-powered framework that automatically generates configuration-specific test suites and demonstrates that structured configuration-aware refinement is essential for LLM to produce effective test suites.
Yuanliang Zhang, Zhizheng Zheng, Shanshan Li et al.· 0 citations
This paper translates Rust code containing RISC-V inline assembly into pure Rust code by emulating each instruction using a machine model extracted from the official RISC-V Sail ISA specification, and demonstrates how each category is handled by the translation.
Charly Castes, Gurvan Debaussart, Thomas Bourgeat· Proceedings of the 14th Work...· 0 citations
A novel methodology for automatically generating SBSTs oriented to test TDF models in the decoder unit of microprocessors by leveraging already generated scan-based test patterns is presented, demonstrating the effectiveness of transforming scan-based test patterns into correct functional tests while having moderate fa...
Nima Kolahimahmoudi, F. Angione, Paolo Bernardi· IEEE Access· 0 citations
Across three COBOL-Java case studies, spanning two open-source programs and one internal production-like COBOL program and ranging from 430 to 4,114 source lines, Locksmith consistently improved coverage beyond input-search plateaus, reaching nearly complete coverage on the two open-source programs and 91.90% branch co...
Andras Ferenczi, Jordan Docherty, M.D. Bessonov et al.· arXiv.org· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
