Automated program repair
Automated program repair Page 1 56 COMMUNICATIONS OF THE ACM | DECEMBER 2019
| VOL. 62 | NO. 12 review articles ALEX IS A software developer, a recent hire at the company …
| VOL. 62 | NO. 12 review articles ALEX IS A software developer, a recent hire at the company …
From DevOps to MLOps: Overview and application to electricity market forecasting
In the Software Development Life Cycle (SDLC), Development and Operations (DevOps)
has been proven to deliver reliable, scalable software within a shorter time. Due to the …
has been proven to deliver reliable, scalable software within a shorter time. Due to the …
An empirical study on the effectiveness of static C code analyzers for vulnerability detection
S Lipp, S Banescu, A Pretschner - Proceedings of the 31st ACM …, 2022 - dl.acm.org
Static code analysis is often used to scan source code for security vulnerabilities. Given the
wide range of existing solutions implementing different analysis techniques, it is very …
wide range of existing solutions implementing different analysis techniques, it is very …
Scaling static analyses at Facebook
D Distefano, M Fähndrich, F Logozzo… - Communications of the …, 2019 - dl.acm.org
Scaling static analyses at Facebook Page 1 62 COMMUNICATIONS OF THE ACM |
AUGUST 2019 | VOL. 62 | NO. 8 contributed articles STATIC ANALYSIS TOOLS are …
AUGUST 2019 | VOL. 62 | NO. 8 contributed articles STATIC ANALYSIS TOOLS are …
How developers engage with static analysis tools in different contexts
Automatic static analysis tools (ASATs) are instruments that support code quality
assessment by automatically detecting defects and design issues. Despite their popularity …
assessment by automatically detecting defects and design issues. Despite their popularity …
[图书][B] Software engineering at google: Lessons learned from programming over time
T Winters, T Manshreck, H Wright - 2020 - books.google.com
Today, software engineers need to know not only how to program effectively but also how to
develop proper engineering practices to make their codebase sustainable and healthy. This …
develop proper engineering practices to make their codebase sustainable and healthy. This …
A large-scale study of usability criteria addressed by static analysis tools
M Nachtigall, M Schlichtig, E Bodden - Proceedings of the 31st ACM …, 2022 - dl.acm.org
Static analysis tools support developers in detecting potential coding issues, such as bugs
or vulnerabilities. Research on static analysis emphasizes its technical challenges but also …
or vulnerabilities. Research on static analysis emphasizes its technical challenges but also …
Detecting false alarms from automatic static analysis tools: How far are we?
Automatic static analysis tools (ASATs), such as Findbugs, have a high false alarm rate. The
large number of false alarms produced poses a barrier to adoption. Researchers have …
large number of false alarms produced poses a barrier to adoption. Researchers have …
Counterfactual explanations for models of code
Machine learning (ML) models play an increasingly prevalent role in many software
engineering tasks. However, because most models are now powered by opaque deep …
engineering tasks. However, because most models are now powered by opaque deep …
Quality-aware devops research: Where do we stand?
DevOps is an emerging paradigm that reduces the barriers between developers and
operations teams to offer continuous fast delivery and enable quick responses to changing …
operations teams to offer continuous fast delivery and enable quick responses to changing …