Back to homepage

Research Papers

• [SBFT'24] TUMB at the SBFT 2024 Tool Competition –- CPS-UAV Test Case Generation Track
  Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini
  The 17th Intl. Workshop on Search-Based and Fuzz Testing (SBFT'24), affiliated with ICSE'24 to appear


• [KBS'24] On the Effectiveness of Graph Data Augmentation for Source Code Learning
  Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao
  Knowledge-Based Systems. Volume 285 (2024) (IF: 8.8, CORE B)


• [ISSRE'23] EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing
  Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Yuan Zhou, Yan-Fu Li and Yinxing Xue
  The 34rd International Symposium on Software Reliability Engineering. (ISSRE'23) 309-320. (CORE A)


• [PR'23] TAT: Targeted Backdoor Attacks against Visual Object Tracking
  Ziyi Cheng, Baoyuan Wu, Zhenya Zhang and Jianjun Zhao
  Pattern Recognition. Volume 142, 15 pages. (IF: 8, CORE A*)


• [CAV'23] Online Causation Monitoring of Signal Temporal Logic
  Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
  35th International Conference on Computer-Aided Verification. (CAV 2023), 62-84. (CORE A*)


• [TSE'23] FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
  IEEE Transactions on Software Engineering 49(4): 1842 - 1859 (2023) (CORE A*)


• [TOSEM'23] A Survey on Automated Driving System Testing: Landscapes and Trends
  Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue and Yang Liu
  ACM Transactions on Software Engineering and Methodology 32(5): 1-62 (2023) (CORE A*)


• [TCAD'23] A Robustness-Based Confidence Measure for Hybrid System Falsification
  Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
  IEEE Trans. on CAD of Integrated Circuits and Systems 42(5): 1718 - 1731 (2023) (CCF A)


• [QRS-C'23] Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study
  Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, and Jianjun Zhao
  23rd IEEE International Conference Software Quality, Reliability, and Security Companion (QRS-C'23) 383-392 (2023)


• [ARCH'23] ARCH-COMP 2023 Category Report: Falsification
  Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
  10th International Workshop on Applied Verification of Continuous and Hybrid Systems. (ARCH'23), 151-169


• [SANER'23] MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation
  Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon and Jianjun Zhao
  IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER’23) 379-390. (2023). (CORE A)


• [EMSOFT'22] Online Reset for Signal Temporal Logic Monitoring
  Zhenya Zhang, Paolo Arcaini, Xuan Xie
  IEEE Trans. on CAD of Integrated Circuits and Systems 41(11): 4421-4432 (2022)
  Special issue for the International Conference on Embedded Software (EMSOFT 2022) (CORE A)


• [ICSE-SEIP'22] When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.
  Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, and Lei Ma.
  International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP’22), 343-352 (2022) (CORE A*)


• [ARCH'22] ARCH-COMP 2022 category report: Falsification with ubounded resources
  Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
  9th International Workshop on Applied Verification of Continuous and Hybrid Systems. (ARCH'22) 204-221 (2022)


• [FM'21] Gaussian Process-Based Confidence Estimation for Hybrid System Falsification
  Zhenya Zhang, Paolo Arcaini
  24th International Symposium on Formal Methods (FM 2021), 330–348. (CORE A)


• [CAV'21] Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
  33rd International Conference on Computer-Aided Verification. (CAV 2021), 595-618. (CORE A*)


• [ARCH'21] ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
  Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
  8th International Workshop on Applied Verification of Continuous and Hybrid Systems. (ARCH'21) 133-152 (2021)


• [RADAS'21] Issue Categorization and Analysis of an Open-Source Driving Assistant System.
  Shuncheng Tang, Zhenya Zhang, Jia Tang, Lei Ma, and Yinxing Xue.
  International Workshop on Reliability of Advanced Driving Assistant System, co-located at ISSRE’21 148-153. (2021)


• [NFM'21] On the Effectiveness of Signal Rescaling in Hybrid System Falsification
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
  13th NASA Formal Methods Symposium (NFM 2021) 392-399 2021


• [TOMACS'21] Falsification of Hybrid Systems Using Adaptive Probabilistic Search
  Gidon Ernst, Sean Sedwards, Zhenya Zhang, and Ichiro Hasuo
  ACM Transactions on Modeling and Computer Simulation (TOMACS) 31, no. 3 (2021): 1-22. (CORE B)


• [EMSOFT'20] Hybrid System Falsification under (In)equality Constraints via Search Space Transformation
  Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
  IEEE Trans. on CAD of Integrated Circuits and Systems 39(11): 3674-3685 (2020)
  Special issue for the International Conference on Embedded Software (EMSOFT 2020) (CORE A)


• [ARCH'20] ARCH-COMP 2020 Category Report: Falsification
  Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrinelli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
  7th International Workshop on Applied Verification of Continuous and Hybrid Systems. (ARCH'20)


• [NFM'20] Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
  Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
  12th NASA Formal Methods Symposium (NFM 2020) 401-419 2020.


• [CAV'19] Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification
  Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
  31st International Conference on Computer-Aided Verification (CAV 2019) 401-420 (CORE A*)


• [QEST'19] Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input
  Gidon Ernst, Sean Sedwards, Zhenya Zhang, and Ichiro Hasuo.
  International Conference on Quantitative Evaluation of Systems (QEST’19), 165-181. (2019) (CORE A*)


• [ARCH'19] ARCH-COMP 2019 Category Report: Falsification.
  Gidon Ernst, Paolo Arcaini, Alexandre Donze, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
  6th International Workshop on Applied Verification of Continuous and Hybrid Systems. (ARCH'19) 129-140


• [EMSOFT'18] Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search
  Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo
  IEEE Trans. on CAD of Integrated Circuits and Systems 37(11): 2894-2905 (2018)
  Special issue for the International Conference on Embedded Software (EMSOFT 2018) (CORE A) ("Best Paper Award" runner-up)


• [SNR'18] Time-Staging Enhancement of Hybrid System Falsification
  Gidon Ernst, Ichiro Hasuo, Zhenya Zhang and Sean Sedwards
  The 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2018), affiliated with ETAPS 2018.


• [SETTA'18] Interleaving-Tree Based Fine-Grained Linearizability Fault Localization.
  Yang Chen, Zhenya Zhang, Peng Wu, and Yu Zhang.
  International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA’18), 108-126. (2018)


• [ARCH'18] ARCH-COMP18 Category Report: Results on the Falsification Benchmarks
  Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
  5th International Workshop on Applied Verification of Continuous and Hybrid Systems. (ARCH'18) 104-109


• [MT-CPS'18] Time-Staging Enhancement of Hybrid System Falsification (Abstract)
  Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, and Sean Sedwards.
  IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS’18) 3-4. (2018)


• [IJSEKE'17] Localization of Linearizability Faults on the Coarse-Grained Level.
  Zhenya Zhang, Peng Wu, and Yu Zhang.
  International Journal of Software Engineering and Knowledge Engineering 27, no. 09n10 (2017): 1483-1505. (CORE B)
  Extended version of SEKE'17


• [SEKE'17] Localization of Linearizability Faults on the Coarse-Grained Level
  Zhenya Zhang, Peng Wu, and Yu Zhang.
  29th International Conference on Software Engineering and Knowledge Engineering (SEKE'17) 272-277. (2017) (CORE B)

Book Chapters

• Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
  Optimisation-Based Falsification -- Showcasing Black-Box Techniques for System Safety
  Chapter 1 of the book Safety Assurance under Uncertainties: from Software to Cyber-Physical/ Machine Learning Systems (to appear)

Patents

• Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
  Model verification device and model verification method
  U.S. Patent Application No. 17/456,921. (2022) [url]

Tutorials

• Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
  Hybrid System Falsification: Fundamentals and Advanced Topics
  The 25th International Symposium on Formal Methods (FM 2023) [url] [slides] [demo]

Theses

• Zhenya Zhang
  Hierarchical Optimization for Hybrid System Falsification
  PhD thesis, The Graduate University for Advanced Studies (SOKENDAI) 2020.