4 papers
REST API Testing with Verified LLM-Inferred Dependencies and Response-Driven Refinement
Tu Nguyen, Thanh Nguyen, Huy Nguyen +3
Testing RESTful APIs requires generating sequences of API calls that satisfy dependencies among operations, parameters, and runtime-created resources. Recent LLM-based approaches i…
DualMine: Static-Dynamic REST API Constraint Discovery with Dual Validation
Tu Nguyen, Huy Nguyen, Juan C. A. Valenzuela +3
REST API constraints capture semantic properties of API responses and are essential for automated test oracle generation, but they are difficult to discover reliably. Static approa…
HxAgent: Iterative Agent Planning for End-to-End Web Application Testing
Tu Nguyen, Duy Cao, Viet Nguyen +5
In automated web testing, generating test cases and performing testing using functionality descriptions in natural-language is crucial for improving efficacy. These tasks require s…
Minimal rational graphs admitting a QHD smoothing
Márton Beke
Using the picture deformation technique of De Jong-Van Straten we show that no singularity whose resolution graph has 3 or 4 large nodes, i.e., nodes satisfying d(v)+e(v)\leq -2, h…