Shaoying Liu

A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge

2015

Despite the effectiveness of requirements formalization in producing accurate requirements documentation, thistechnique can hardly be accepted by software industry mainlydue to the difficulty in manipulating formal notations by practitioners. To handle the challenge, this paper …

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 …