Rule-based specification mining leveraging learning to rank

• المؤلفون الرئيسيون: CAO, Zherui, TIAN, Yuan, LE, Bui Tien Duy, LO, David
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2018
• الموضوعات: Specification mining; Learning to rank; Automated software development; Software maintenance and evolution; Programming Languages and Compilers; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/3988; https://ink.library.smu.edu.sg/context/sis_research/article/4990/viewcontent/Rule_based_specification_mining_leveraging_learning_to_rank_afv.pdf

Software systems are often released without formal specifications. To deal with the problem of lack of and outdated specifications, rule-based specification mining approaches have been proposed. These approaches analyze execution traces of a system to infer the rules that characterize the protocols,...