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 …

Learning deep semantics for test completion

P Nie, R Banerjee, JJ Li, RJ Mooney… - 2023 IEEE/ACM 45th …, 2023 - ieeexplore.ieee.org
Writing tests is a time-consuming yet essential task during software development. We
propose to leverage recent advances in deep learning for text and code generation to assist …

NL2Type: Inferring JavaScript function types from natural language information

RS Malik, J Patra, M Pradel - 2019 IEEE/ACM 41st International …, 2019 - ieeexplore.ieee.org
JavaScript is dynamically typed and hence lacks the type safety of statically typed
languages, leading to suboptimal IDE support, difficult to understand APIs, and unexpected …

Code generation tools (almost) for free? a study of few-shot, pre-trained language models on code

P Bareiß, B Souza, M d'Amorim, M Pradel - arXiv preprint arXiv …, 2022 - arxiv.org
Few-shot learning with large-scale, pre-trained language models is a powerful way to
answer questions about code, eg, how to complete a given code example, or even generate …

Large language model assisted software engineering: prospects, challenges, and a case study

L Belzner, T Gabor, M Wirsing - … Conference on Bridging the Gap between …, 2023 - Springer
Large language models such as OpenAI's GPT and Google's Bard offer new opportunities
for supporting software engineering processes. Large language model assisted software …

Docter: Documentation-guided fuzzing for testing deep learning api functions

D Xie, Y Li, M Kim, HV Pham, L Tan, X Zhang… - Proceedings of the 31st …, 2022 - dl.acm.org
Input constraints are useful for many software development tasks. For example, input
constraints of a function enable the generation of valid inputs, ie, inputs that follow these …

[HTML][HTML] MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation

A Blasi, A Gorla, MD Ernst, M Pezzè… - Journal of Systems and …, 2021 - Elsevier
Software testing depends on effective oracles. Implicit oracles, such as checks for program
crashes, are widely applicable but narrow in scope. Oracles based on formal specifications …

JAVA DASTURLASH TILI UCHUN TA'LIM DASTURLARI SIFATINI BAHOLASH USULLARI

A Xayitov, A Kayumov - … on Digital Innovation:" Modern Problems and …, 2023 - fer-teach.uz
Аннотация Java dasturlashni o 'rganish uchun amaliy mashqlar tuzish juda muhimdir. O
'zingizga dastur yozish va uni test qilishni o 'rganish uchun oddiy dasturlar yaratishni …

SOFTWARE ENGINEERING THAT TEACHES MODERN PROGRAMMING LANGUAGES

A Xayitov, A Kayumov - … on Digital Innovation:" Modern Problems and …, 2023 - fer-teach.uz
Аннотация As the field of software engineering evolves, it becomes increasingly essential to
equip aspiring engineers with proficiency in modern programming languages. This abstract …

Impact of large language models on generating software specifications

D Xie, B Yoo, N Jiang, M Kim, L Tan, X Zhang… - arXiv preprint arXiv …, 2023 - arxiv.org
Software specifications are essential for ensuring the reliability of software systems. Existing
specification extraction approaches, however, suffer from limited generalizability and require …