Automated program repair (APR) faces the challenge of test overfitting, where generated
patches pass validation tests but fail to generalize. Existing methods for patch assessment …

A concurrent system consists of multiple processes that are run simultaneously. The execution
orders of these processes are defined by a scheduler. In model checking techniques, the …

The execution of a software system that runs on top of an Operating System (OS) is usually
controlled by the scheduler. Therefore, to accurately verify the system, the scheduling policy …

When we verify concurrent systems executed under a real operating system (OS), we should
take the scheduling policy of the OS into account. However, with a specific implementation …

A concurrent system consists of multiple processes that are run simultaneously. The execution
orders of these processes are defined by a scheduler. In model checking techniques, the …

An execution order of the processes in a system depends on the scheduler. Therefore, the
scheduling strategy needs to be taken into account during the analysis of the system …

A real-time system should ensure specific timing constraints. This type of system needs to
meet the deadline for its jobs. In general, the increasing lateness following how late a real-time …

An event-driven system with multiple external events is difficult to verify manually. Model
checking is an appropriate approach for exhaustively and automatically verifying this kind of …

Multiple occurrences of the events make the behaviors of an event-driven system usually less
logical and explicit. Thus, an event-driven system is hard to be analyzed and found errors. …

Nghiên cứu lập trình hàm, ngôn ngữ lập trình hàm SML#, hệ thống biên dịch và hệ thống
thực thi của ngôn ngữ lập trình này. Kỹ thuật lập trình tương tranh và đề xuất cơ chế lập trình …