Type annotations connect variables to domain-specific types. They enable the power of type checking and can detect faults early. In practice, type ann...

We introduce SEMu , a Dynamic Symbolic Execution technique that generates test inputs capable of killing stubborn mutants (killable mutants that remai...

Sentiment and emotion detection from textual communication records of developers have various application scenarios in software engineering (SE). Howe...

Message-passing interface (MPI) programs, a typical kind of parallel programs, have been commonly used in various applications. However, it generally...

There have been numerous studies on mining temporal specifications from execution traces. These approaches learn finite-state automata (FSA) from exec...