Argument selection defects, in which the programmer chooses the wrong argument to pass
to a parameter from a potential set of arguments in a function call, is a widely investigated …

Argument selection defects, in which the programmer has chosen the wrong argument to a
function call is a widely investigated problem. The compiler can detect such misuse of …

In statically-typed programming languages, the compiler ensures that method arguments are
passed in the expected order by checking the type of each argument. However, calls to …

When calling a method that requires multiple arguments, programmers must pass the
arguments in the expected order. For statically typed languages, the compiler helps …

Programmers often add meaningful information about program semantics when naming
program entities such as variables, functions, and macros. However, static analysis tools …

To avoid receiving incorrect arguments, a method specifies the expected type of each formal
parameter. However, some parameter types are too general and have subtypes that the …

For performance reasons, C++, albeit unsafe, is often the programming language of choice
for developing software infrastructures. A serious type of security vulnerability in C++ …

C++ is widely used in performance critical applications. Due to the lack of type safety,
programs written in C++ are vulnerable to memory corruption errors. Type confusion bug is …

Static type errors are a common stumbling block for newcomers to typed functional
languages. We present a dynamic approach to explaining type errors by generating …

Refactoring a program without changing the program's functional behavior is challenging.
To prevent that behavioral changes remain undetected, one may apply approaches that …