VLDB 2026 Research / reviewers in the wild / expert
Yize Shi
dblp:306/5148
· DBLP profile ↗
3ranked-venue papers
1as first author
3since 2021 · last 2025
0009-0009-1106-7335ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 1 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | A Natural Language Guided Adaptive Model-based Testing Tool for Autonomous DrivingabstractTesting Autonomous Driving Systems (ADS) is critical to ensure their safety and reliability in dynamic and unpredictable real-world driving environments.In the literature, many scenario-based ADS testing solutions have been proposed to generate safety-critical driving scenarios.Along a similar research line, in this paper, we present a tool, named LiveTCM, which has a web-based model editor for specifying and executing Test Case Specifications (TCS).LiveTCM also has an extensible engine for enabling generation of TCS via real-time communication with the ADS (i.e., the system under test) situated in a simulated ADS driving environment.Videos illustrating the capabilities of LiveTCM can be found at: https://github.com/WSE-Lab/LiveTCM. Man Zhang 0001, Peiru Li, Yize Shi, Tao Yue 0002 |
Internetware | 3 |
| 2023 | Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their CollisionsabstractAutonomous vehicles must operate safely in their dynamic and continuously-changing environment. However, the operating environment of an autonomous vehicle is complicated and full of various types of uncertainties. Additionally, the operating environment has many configurations, including static and dynamic obstacles with which an autonomous vehicle must avoid collisions. Though various approaches targeting environment configuration for autonomous vehicles have shown promising results, their effectiveness in dealing with a continuous-changing environment is limited. Thus, it is essential to learn realistic environment configurations of continuously-changing environment, under which an autonomous vehicle should be tested regarding its ability to avoid collisions. Featured with agents dynamically interacting with the environment, Reinforcement Learning (RL) has shown great potential in dealing with complicated problems requiring adapting to the environment. To this end, we present an RL-based environment configuration learning approach, i.e.,DeepCollision, which intelligently learns environment configurations that lead an autonomous vehicle to crash. DeepCollision employs Deep Q-Learning as the RL solution, and selectscollision probabilityas the safety measure, to construct the reward function. We trained four DeepCollision models and conducted an experiment to compare them with two baselines, i.e., random and greedy. Results show that DeepCollision demonstrated significantly better effectiveness in generating collisions compared with the baselines. We also provide recommendations on configuring DeepCollision with the most suitable time interval based on different road structures. Chengjie Lu, Yize Shi, Huihui Zhang 0003, Man Zhang 0001, Tiexin Wang, Tao Yue 0002, Shaukat Ali 0001 |
IEEE Trans. Software Eng. | 2 |
| 2021 | Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous DrivingabstractWith the aim to reduce car accidents, autonomous driving attracted a lot of attentions these years. However, recently reported crashes indicate that this goal is far from being achieved. Hence, cost-effective testing of autonomous driving systems (ADSs) has become a prominent research topic. The classical model-based testing (MBT), i.e., generating test cases from test models followed by executing the test cases, is ineffective for testing ADSs, mainly because of the constant exposure to ever-changing operating environments, and uncertain internal behaviors due to employed AI techniques. Thus, MBT must be adaptive to guide test case generation based on test execution results in a step-wise manner. To this end, we propose a natural language and model-based approach, named LiveTCM, to automatically execute and generate test case specifications (TCSs) by interacting with an ADS under test and its environment. LiveTCM is evaluated with an open-source ADS and two test generation strategies: Deep Q-Network (DQN)-based and Random. Results show that LiveTCM with DQN can generate TCSs with 56 steps on average in 60 seconds, leading to 6.4 test oracle violations and covering 14 APIs per TCS on average. Yize Shi, Chengjie Lu, Man Zhang 0001, Huihui Zhang 0003, Tao Yue 0002, Shaukat Ali 0001 |
MoDELS | 1 |