4 papers
Grey-Box Fuzzing in Constrained Ultra-Large Systems: Lessons for SE Community
Jiazhao Yu, Yanlun Tu, Zhanlei Zhang +5
Testing ultra-large microservices-based FinTech systems presents significant challenges, including restricted access to production environments, complex dependencies, and stringent…
LGL-BCI: A Motor-Imagery-Based Brain-Computer Interface with Geometric Learning
Jianchao Lu, Yuzhe Tian, Yang Zhang +2
Brain--computer interfaces are groundbreaking technology whereby brain signals are used to control external devices. Despite some advances in recent years, electroencephalogram (EE…
LGL-BCI: A Motor-Imagery-Based Brain-Computer Interface with Geometric Learning
Jianchao Lu, Yuzhe Tian, Yang Zhang +2
Brain--computer interfaces are groundbreaking technology whereby brain signals are used to control external devices. Despite some advances in recent years, electroencephalogram (EE…
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
Xi Zheng, Aloysius K. Mok, Ruzica Piskac +5
The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsive…