A Survey on Automated Driving System Testing: Landscapes and Trends

Shuncheng Tang, Zhenya Zhang, Yi Zhang, +8

ACM Transactions on Software Engineering and Methodology

EngineeringVerificationAdvanced Driver-assistance SystemSoftware AnalysisModel-based Testing +14

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search

Zhenya Zhang, Gidon Ernst, Sean Sedwards, +2

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Artificial IntelligenceEngineeringMachine LearningModel TuningVerification +22

Advancements and insights in thermal and water management of proton exchange membrane fuel cells: Challenges and prospects

Zhenya Zhang, Jia Mao, Zhengxuan Liu

International Communications in Heat and Mass Transfer

ARCH-COMP 2019 Category Report: Falsification

Gidon Ernst, Paolo Arcaini, Alexandre Donzé, +6

EPiC series in computing

Common Benchmark RepositoryEngineeringVerificationSoftware EngineeringSystem-level Design +19

ARCH-COMP 2020 Category Report: Falsification

Gidon Ernst, Paolo Arcaini, Ismail Bennani, +10

EPiC series in computing

EngineeringTemporal Logic SpecificationsVerificationSoftware EngineeringSystem-level Design +19

Generating Multi-label Adversarial Examples by Linear Programming

Nan Zhou, Wenjian Luo, Xin Lin, +2

Artificial IntelligenceMulti-label Adversarial ExamplesDeep Neural NetworksEngineeringMachine Learning +10

A privacy-preserving aggregation scheme based on immunological negative surveys for smart meters

Hao Jiang, Wenjian Luo, Zhenya Zhang

Applied Soft Computing

Privacy-preserving Aggregation SchemeEngineeringAdvanced Metering InfrastructureInformation SecurityPrivacy Service +11

TAT: Targeted backdoor attacks against visual object tracking

Ziyi Cheng, Baoyuan Wu, Zhenya Zhang, +1

Pattern Recognition

Falsification of Hybrid Systems Using Adaptive Probabilistic Search

Gidon Ernst, Sean Sedwards, Zhenya Zhang, +1

ACM Transactions on Modeling and Computer Simulation

Artificial IntelligenceEngineeringMachine LearningModel TuningVerification +18

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria

Zhenya Zhang, Deyun Lyu, Paolo Arcaini, +3

IEEE Transactions on Software Engineering

Artificial IntelligenceReal-time ControlEngineeringVerificationAutonomous Systems +19