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 …

Deep Learning (DL) has gained wide attention in recent years. Meanwhile, bugs in DL
systems can lead to serious consequences, and may even threaten human lives. As a result …

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 …

Property-based testing (PBT), while an established technique in the software testing
research community, is still relatively underused in real-world software. Pain points in writing …

In this work we systematically review the recent advancements in code processing with
language models, covering 50+ models, 30+ evaluation tasks, 170+ datasets, and 700 …

Expressing class specifications via executable constraints is important for various software
engineering tasks such as test generation, bug finding and automated debugging, but …

Unit testing has become an essential practice during software development and
maintenance. Effective unit tests can help guard and improve software quality but require a …

Defining test oracles is crucial and central to test development, but manual construction of
oracles is expensive. While recent neural-based automated test oracle generation …

New approaches to software testing are required due to the rising complexity of today's
software applications and the rapid growth of software engineering practices. Among these …

A class may need to obey temporal constraints in order to function correctly. For example,
the correct usage protocol for an iterator is to always check whether there is a next element …