VLDB 2026 Research / reviewers in the wild / expert
Luca Guglielmo
dblp:247/8668
· DBLP profile ↗
3ranked-venue papers
0as first author
3since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Path-Optimal Symbolic Execution of Heap-Manipulating Programs
Pietro Braione, Giovanni Denaro, Luca Guglielmo |
SANER | 3 |
| 2025 | Automated Test Generation from Program Documentation Encoded in Code CommentsabstractDocumenting the functionality of software units with code comments, e.g., Javadoc comments, is a common programmer best-practice in software engineering. This paper introduces a novel test generation technique that exploits the code-comment documentation constructively. We originally address those behaviors as test objectives, which we pursue in search-based fashion. We deliver test cases with names and oracles properly contextualized on the target behaviors. Our experiments against a benchmark of 118 Java classes indicate that the proposed approach successfully tests many software behaviors that may remain untested with coverage-driven test generation approaches, and distinctively detects unknown failures. Giovanni Denaro, Luca Guglielmo |
AST | 2 |
| 2025 | Automated Test Generation for Integration TestingabstractIntegration testing is a fundamental step of the software development process. Due to the high costs, testers may like to automatically generate the test cases, but unfortunately current test generators are designed for unit testing or system testing, while they are generally ill-suited for integration testing. In this paper, we discuss the challenges of generating test cases for integration testing, and the limitations of current test generators thereby. We elaborate on a novel approach to automatically generating test cases for integration testing, and report initial evidence in support of our approach. Elson Kurian, Giovanni Denaro, Pietro Braione, Luca Guglielmo |
AST | 4 |