Generative AI is making software changes increasingly cheap to produce, shifting the bottleneck from implementation to validation. This keynote argues that software changes offer a uniquely tractable setting for establishing correctness. Unlike an arbitrary program, a change comes with an existing implementation whose...
Michael Pradel· Proceedings of the 41st IEEE...· 0 citations
Automated unit test generation promises to reduce the cost of software quality assurance, and hence, is attracting attention from both academia and industry. Yet, generating assertions that are executable, meaningful to developers, and able to catch faults remains an unsolved challenge. Existing approaches either rando...
Jia-Lun Cao, Hao-Yu Wang, Hao-Ran Yan et al.· Proceedings of the ACM on So...· 0 citations
DiffTestGen is presented, a novel change-directed, LLM-based differential testing approach specifically designed to expose behavioral differences introduced by a code change and it is shown that the identified behavioral differences can be used to detect regression bugs missed by the best existing approaches.
Huimin Hu, Cristian Cadar, Michael Pradel· 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.
