مشخصات کتاب

Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

ویرایش: 1 
نویسندگان: Eduard Paul Enoiu,  Daniel Sundmark,  Paul Pettersson (auth.),  Hüsnü Yenigün,  Cemal Yilmaz,  Andreas Ulrich (eds.)  
سری: Lecture Notes in Computer Science 8254 : Programming and Software Engineering 
ISBN (شابک) : 9783642417061, 9783642417078 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2013 
تعداد صفحات: 302 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

کلمات کلیدی مربوط به کتاب تست نرم افزار و سیستم ها: بیست و پنجمین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2013 ، استانبول ، ترکیه ، 13-15 نوامبر 2013 ، مجموعه مقالات: مهندسی نرم‌افزار، شبکه‌های ارتباطی کامپیوتری، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، سیستم‌های مبتنی بر هدف خاص و کاربردی، منطق و معانی برنامه‌ها، مدیریت سیستم‌های محاسباتی و اطلاعاتی

در صورت تبدیل فایل کتاب Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تست نرم افزار و سیستم ها: بیست و پنجمین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2013 ، استانبول ، ترکیه ، 13-15 نوامبر 2013 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب تست نرم افزار و سیستم ها: بیست و پنجمین کنفرانس بین المللی IFIP WG 6.1 ، ICTSS 2013 ، استانبول ، ترکیه ، 13-15 نوامبر 2013 ، مجموعه مقالات

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Matter....Pages -
Using Logic Coverage to Improve Testing Function Block Diagrams....Pages 1-16
Automatic Grammar-Based Test Generation....Pages 17-32
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines....Pages 33-48
Exhaustive Model-Based Equivalence Class Testing....Pages 49-64
Remote Testing of Timed Specifications....Pages 65-81
An Implementation Relation and Test Framework for Timed Distributed Systems....Pages 82-97
Unfolding-Based Test Selection for Concurrent Conformance....Pages 98-113
Predicting the Size of Test Suites from Use Cases: An Empirical Exploration....Pages 114-132
Chaining Test Cases for Reactive System Testing....Pages 133-148
Variations over Test Suite Reduction....Pages 149-163
Case Studies in Learning-Based Testing....Pages 164-179
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams....Pages 180-195
Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan....Pages 196-206
Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3....Pages 207-222
Guided Algebraic Specification Mining for Failure Simplification....Pages 223-238
Spectrum-Based Fault Localization for Diagnosing Concurrency Faults....Pages 239-254
A Dynamic Approach to Locating Memory Leaks....Pages 255-270
Towards a GUI Test Model Using State Charts and Programming Code....Pages 271-276
A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols....Pages 277-282
Finding Errors in Python Programs Using Dynamic Symbolic Execution....Pages 283-289
Back Matter....Pages -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب States of Exile: Visions of Diaspora, Witness, and Return (Polyglossia: Radical Reformation Theologies)

دانلود کتاب 張養浩集【仅OCR，未校对

دانلود کتاب Brain and Mind: Subjective Experience and Scientific Objectivity

دانلود کتاب Sculpture at the Ends of Slavery

دانلود کتاب Đền Tạm (III): Một Tiền Biểu Hiện Của Phúc-âm của Nước Và Thánh Linh