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...

Models in Model-driven Engineering are primary development artifacts that are heavily edited in all stages of software development and that can become...