Rule-based specification mining leveraging learning to rank

• Main Authors: CAO, Zherui, TIAN, Yuan, LE, Bui Tien Duy, LO, David
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2018
• Subjects: Specification mining; Learning to rank; Automated software development; Software maintenance and evolution; Programming Languages and Compilers; Software Engineering
• Online Access: 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
• Institution: Singapore Management University

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,...