Determining whether a test execution should pass or fail remains a core obstacle to end-to-end test automation. Recent work has focused mainly on generating assertions from source context, leav- ing open how much pass/fail signal can be recovered directly from runtime behavior, especially under subject transfer. We pre...
Giuliano Ricardo Rasper, T. Mammadov, Marius Smytzek et al.· 0 citations
In this work, the capacity of LLMs to reason about the semantics of code is examined—specifically, their ability to relate code, its inputs, and its outputs to each other, and four datasets are constructed to evaluate diverse program-understanding capabilities.
Norman Becker, T. Mammadov, Andreas Zeller· AIware· 2 citations
This tutorial introduces test generation with fandango, a modern specification-based generator of test inputs and interactions that produces inputs that are syntactically and semantically correct, and systematically cover the input space of the program under test.
Jose Antonio Zamudio Amaya, Alexander Liggesmeyer, Marius Smytzek et al.· SIGSOFT FSE Companion· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.