Demo Data from EDBT 2026 / reviewers in the wild / expert
Lin-Zan Cai
dblp:70/1882
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2009
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Software testing · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Storage systems · 100% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
automated testing |
0.1 | 1 | 2007 | Test automation for kernel code and disk arrays with virtual devices · ASE 2007 |
Software testing › system software testing
kernel testing |
0.1 | 1 | 2007 | Test automation for kernel code and disk arrays with virtual devices · ASE 2007 |
Storage systems
disk array |
0.1 | 1 | 2007 | Test automation for kernel code and disk arrays with virtual devices · ASE 2007 |
Methods — techniques the papers use, named apart from their topics
user-space kernel driving · 0.1kernel parameter profiling · 0.1device emulation · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2009 | LTL Model Checking for Recursive Programs
Geng-Dian Huang, Lin-Zan Cai, Farn Wang |
ATVA | 2 |
| 2007 | Test automation for kernel code and disk arrays with virtual devicesabstractIn this work, we discuss testing automation issues for kernel code on a high-capacity network-attached storage (NAS) in early development phases when the hardware may not be ready. We propose to construct a high-fidelity versatile emulator for hard disks for the fast configuration of virtual disk arrays. To test kernel libraries, we not only have to figure out the proper values for the kernel procedure parameters, but also have to overcome the rigid resource limitations in kernel space. We propose techniques to profile kernel procedure parameters, drive the kernel procedures from the user space, and construct the testing interface between kernel SUTs (software-under-test) and user space test plans. We have experimented to test the multiple devices driver library used in the NAS server by Quanta Computer Inc. Our techniques support rapid NAS configurations and have been proven useful in locating a proven bug in the Linux kernel Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang |
ASE | 1 |