1 code implementation • 28 May 2023 • Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
The classic STL monitoring is performed by computing a robustness interval that specifies, at each instant, how far the monitored signals are from violating and satisfying the specification.
no code implementations • 13 Mar 2023 • Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
The next era of program understanding is being propelled by the use of machine learning to solve software problems.
1 code implementation • 6 Oct 2022 • Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao
Data augmentation has been a popular approach to supplement training data in domains such as computer vision and NLP.
no code implementations • 6 Oct 2022 • Zeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
Graph neural network (GNN)-based graph learning has been popular in natural language and programming language processing, particularly in text and source code classification.
1 code implementation • 11 Dec 2018 • Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
We present an algorithm that quickly finds falsifying inputs for hybrid systems, i. e., inputs that steer the system towards violation of a given temporal logic requirement.
Systems and Control