Simulation-driven automated end-to-end test and oracle inference
This is the first work to report on inferential testing at scale in industry. Specifically, it reports
the experience of automated testing of integrity systems at Meta. We built an internal tool …
the experience of automated testing of integrity systems at Meta. We built an internal tool …
Enhancing Testing at Meta with Rich-State Simulated Populations
This paper reports the results of the deployment of Rich-State Simulated Populations at Meta
for both automated and manual testing. We use simulated users (aka test users) to mimic …
for both automated and manual testing. We use simulated users (aka test users) to mimic …
PrivacyCAT: Privacy-Aware Code Analysis at Scale
Static and dynamic code analyses have been widely adopted in industry to enhance
software reliability, security, and performance by automatically detecting bugs in the code. In …
software reliability, security, and performance by automatically detecting bugs in the code. In …
Automated end-to-end dynamic taint analysis for WhatsApp
Taint analysis aims to track data flows in systems, with potential use cases for security,
privacy and performance. This paper describes an end-to-end dynamic taint analysis …
privacy and performance. This paper describes an end-to-end dynamic taint analysis …
InfERL: scalable and extensible Erlang static analysis
In this paper we introduce InfERL, an open source, scalable, and extensible static analyzer
for Erlang, based on Meta's Infer tool. InfERL has been developed at WhatsApp and it is …
for Erlang, based on Meta's Infer tool. InfERL has been developed at WhatsApp and it is …
Automated Server Testing: an Industrial Experience Report
C Peng, Y Gao, P Yang - 2022 IEEE International Conference …, 2022 - ieeexplore.ieee.org
A server API bug could have a huge impact on the operation of other servers and clients
relying on that API, resulting in service downtime and financial losses. A common practice of …
relying on that API, resulting in service downtime and financial losses. A common practice of …
Enhancing Compositional Static Analysis with Dynamic Analysis
In this paper we introduce a novel method for improving static analysis of real code by using
dynamic analysis. We have implemented our technique to enhance the Infer static analyzer …
dynamic analysis. We have implemented our technique to enhance the Infer static analyzer …
[PDF][PDF] 4.2 Paper 2-On the Impact of Programming Languages on Code Quality: A Reproduction Study
However, large-scale hosting services for code, such as GitHub or SourceForge, offer a
glimpse into the lifecycles of software. Not only do they host the sources for millions of …
glimpse into the lifecycles of software. Not only do they host the sources for millions of …