The proliferation of AI and cloud computing in e-commerce has brought numerous
advantages, such as enhanced customer experience and operational efficiency. However …

Future protocols in the digital society will be built on the foundation of smart contracts, which
are code and algorithmic contracts. Smart contracts enable all phases of the contracting …

The integration of large language models (LLMs) into various societal applications brings
forth a plethora of ethical challenges and potential risks. One primary concern is the …

The day to day of a software engineer involves a variety of tasks. While many of these tasks
are collaborative and completed as such, it is not always possible or feasible to engage with …

Context: Static Application Security Testing Tools (SASTTs) identify software vulnerabilities
to support the security and reliability of software applications. Interestingly, several studies …

This study investigates the application of Dynamic Creative Optimization (DCO) in a
Consumer-Packaged Goods (CPG) e-commerce setting, with the goal of discerning the most …

Static analyzers reason about the behaviors of programs without executing them and report
issues when they violate pre-defined desirable properties. One of the key limitations of static …

Verification toolchains are widely used to prove the correctness of critical software systems.
To build confidence in their results, it is important to develop testing frameworks that help …

While mutation testing has been a topic of academic interest for decades, it is only recently
that “real-world” developers, including industry leaders such as Google and Meta, have …

Fuzzing is one of the fastest growing fields in software testing. The idea behind fuzzing is to
check the behavior of software against a large number of randomly generated inputs, trying …