Runhe Huang

Semantic Neuron Networks Based Associative Memory Model

2017

In our previous work, Hopfield weight matrices were used as the primary inputs to learn associations among concepts or objects in different learning tasks. One of the challenging problems, however, was how to endow the …

Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures

2021 · 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)

Linking the components in a formal specification to those in the corresponding program is a prerequisite for formal specification-based program fault detection. Existing traceability link techniques for reducing manpower and time cost suffer from the …