![](/images/graphics-bg.png)
Automatic Testing of Program Slicers
المؤلفون المشاركون
Pérez, Sergio
Silva, Josep
Tamarit, Salvador
المصدر
العدد
المجلد 2019، العدد 2019 (31 ديسمبر/كانون الأول 2019)، ص ص. 1-15، 15ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2019-02-25
دولة النشر
مصر
عدد الصفحات
15
التخصصات الرئيسية
الملخص EN
Program slicing is a technique to extract the part of a program (the slice) that influences or is influenced by a set of variables at a given point (the slicing criterion).
Computing minimal slices is undecidable in the general case, and obtaining the minimal slice of a given program is normally computationally prohibitive even for very small programs.
Therefore, no matter what program slicer we use, in general, we cannot be sure that our slices are minimal.
This is probably the fundamental reason why no benchmark collection of minimal program slices exists.
In this work, we present a method to automatically produce quasi-minimal slices.
Using our method, we have produced a suite of quasi-minimal slices for Erlang that we have later manually proved they are minimal.
We explain the process of constructing the suite, the methodology and tools that were used, and the results obtained.
The suite comes with a collection of Erlang benchmarks together with different slicing criteria and the associated minimal slices.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Pérez, Sergio& Silva, Josep& Tamarit, Salvador. 2019. Automatic Testing of Program Slicers. Scientific Programming،Vol. 2019, no. 2019, pp.1-15.
https://search.emarefa.net/detail/BIM-1210735
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Pérez, Sergio…[et al.]. Automatic Testing of Program Slicers. Scientific Programming No. 2019 (2019), pp.1-15.
https://search.emarefa.net/detail/BIM-1210735
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Pérez, Sergio& Silva, Josep& Tamarit, Salvador. Automatic Testing of Program Slicers. Scientific Programming. 2019. Vol. 2019, no. 2019, pp.1-15.
https://search.emarefa.net/detail/BIM-1210735
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1210735
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)