Yibo Dai

dblp:161/3725 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
2since 2021 · last 2026
—ORCID · unresolved

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author
YearPublicationVenuePosition
2026 Intrathread method orders based adaptive testing of concurrent objects
abstract
Concurrent data structures or classes are designed to provide safe accesses and simultaneous updates by multiple threads to shared objects in a concurrent environment, with the goal of enhancing parallelism and throughput. However, testing concurrent objects poses significant challenges due to the potential explosion of concurrency test spaces, the variety of programming vulnerabilities, and the inherent nondeterminism of concurrent test executions. In this paper, we propose an Intrathread Method Orders based Adaptive Concurrency Testing (IMOACT) framework for concurrent objects. IMOACT can capture diverse behaviors of interthread method pairs through characterizing concurrent execution contexts with intrathread method orders. Moreover, IMOACT can adaptively optimize concurrent test executions by generating scheduling sequences based on the key scheduling points visited so far, streamlining test generation and execution organically across multiple tests. Experimental case studies with typical C/C++ concurrent classes demonstrate that IMOACT outperforms baseline approaches. On average, IMOACT promotes the effectiveness of detecting concurrency bugs by 65%, and achieves a speedup of 2.43x compared to the underlying state-of-the-art concurrency testing approach.
Yibo Dai, Peng Wu 0002, Shecheng Cui, Linhai Ma
Sci. Comput. Program.1
2024 Intrathread Method Orders Based Adaptive Testing of Concurrent Objects
Yibo Dai, Peng Wu 0002, Shecheng Cui, Linhai Ma
TASE1
2020 Visual relationship detection based on bidirectional recurrent neural network
Yibo Dai, Chao Wang 0120, Changyin Sun 0001
Multim. Tools Appl.1