Specification Mining of Symbolic Scenario-Based Models

Many dynamic analysis approaches to specification mining, which extract behavioral models from execution traces, do not consider object identities. This limits their power when used to analyze traces of general object oriented programs. In this work we present a novel specification mining approach t...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: LO, David, Maoz, Shahar
التنسيق: text
اللغة:English
منشور في: Institutional Knowledge at Singapore Management University 2008
الموضوعات:
الوصول للمادة أونلاين:https://ink.library.smu.edu.sg/sis_research/440
https://ink.library.smu.edu.sg/context/sis_research/article/1439/viewcontent/paste08.pdf
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
المؤسسة: Singapore Management University
اللغة: English