Toga: A neural method for test oracle generation

E Dinella, G Ryan, T Mytkowicz, SK Lahiri - Proceedings of the 44th …, 2022 - dl.acm.org
Testing is widely recognized as an important stage of the software development lifecycle.
Effective software testing can provide benefits such as bug finding, preventing regressions …

Neural Inference of Program Specifications

EA Dinella - 2023 - search.proquest.com
Ensuring program correctness is a fundamental goal in the field of software engineering.
Reliable functioning of computer programs is increasingly essential in today's digital world …

[PDF][PDF] Teste de Software com IA: Um Mapeamento Sistemático da Literatura

J da Costa Dias - 2023 - cin.ufpe.br
As técnicas de teste de software são essenciais para detectar falhas e mitigar os riscos
associados ao desenvolvimento de software. Esse processo fica ainda mais eficiente com o …

[引用][C] Teste de software com IA: um mapeamento sistemático da literatura

JC DIAS - 2023