Formal specification-based monitoring, regression testing and aspects
Ph.D
محفوظ في:
المؤلف الرئيسي: | LIANG HUI |
---|---|
مؤلفون آخرون: | COMPUTER SCIENCE |
التنسيق: | Theses and Dissertations |
اللغة: | English |
منشور في: |
2010
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://scholarbank.nus.edu.sg/handle/10635/16458 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Extracting significant specifications from mining through mutation testing
بواسطة: Nguyen, A.C., وآخرون
منشور في: (2013) -
Discovering complete API rules with mutation testing
بواسطة: Nguyen, A.C., وآخرون
منشور في: (2013) -
XML-based formal specification comprehension
بواسطة: HUANG XIAONING
منشور في: (2010) -
Formalizing UML state machines for automated verification: A survey
بواسطة: ETIENE, Andre, وآخرون
منشور في: (2023) -
Formal specification synthesis using requirements particle networks
بواسطة: Wiwat Vatanawood
منشور في: (2006)