7 citations · 11 across the 5 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2022
Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing
Yixiao Yang
The control logic models built by Simulink or Ptolemy have been widely used in industry scenes. It is an urgent need to ensure the safety and security of the control logic models.…
cs.SE2020★ 2 cited
Improving the Robustness to Data Inconsistency between Training and Testing for Code Completion by Hierarchical Language Model
Yixiao Yang
In the field of software engineering, applying language models to the token sequence of source code is the state-of-art approach to build a code recommendation system. The syntax t…
cs.SE2019★ 1 cited
Improve Language Modelling for Code Completion through Statement Level Language Model based on Statement Embedding Generated by BiLSTM
Yixiao Yang
Language models such as RNN, LSTM or other variants have been widely used as generative models in natural language processing. In last few years, taking source code as natural lang…