دانلود کتاب Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
کتاب آزمون ها و اثبات ها: هفتمین کنفرانس بین المللی، TAP 2013، بوداپست، مجارستان، 16-20 ژوئن 2013. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب آزمون ها و اثبات ها: هفتمین کنفرانس بین المللی، TAP 2013، بوداپست، مجارستان، 16-20 ژوئن 2013. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
نام کتاب : Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : آزمون ها و اثبات ها: هفتمین کنفرانس بین المللی، TAP 2013، بوداپست، مجارستان، 16-20 ژوئن 2013. مجموعه مقالات
سری : Lecture Notes in Computer Science 7942
نویسندگان : Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele (auth.), Margus Veanes, Luca Viganò (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2013
تعداد صفحات : 242
ISBN (شابک) : 9783642389153 , 9783642389160
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی آزمون و اثبات، TAP 2013، در بوداپست، مجارستان، در ژوئن 2013، به عنوان بخشی از کنفرانس فدرال STAF 2013 است. 12 مقاله کامل اصلاح شده ارائه شده همراه با یک آموزش به دقت بررسی و از بین 24 مقاله ارسالی انتخاب شدند. این مقالات به هم افزایی اثبات ها و آزمون ها، به کاربرد تکنیک ها از هر دو طرف و ترکیب آنها برای ارتقای کیفیت نرم افزار اختصاص دارد. مقالات مربوط به موضوعات زیر است: تولید آزمون; تست مبتنی بر مدل و جهش اشکال زدایی اعلامی؛ و تست ابزار.
فهرست مطالب :
Front Matter....Pages -
Incremental Refinement Checking for Test Case Generation....Pages 1-19
Time for Mutants — Model-Based Mutation Testing with Timed Automata....Pages 20-38
Model-Based Testing for Verification Back-Ends....Pages 39-55
A Metric for Testing Program Verification Systems....Pages 56-75
Test Program Generation for a Microprocessor....Pages 76-95
A Declarative Debugger for Sequential Erlang Programs....Pages 96-114
Initiating a Benchmark for UML and OCL Analysis Tools....Pages 115-132
Speeding Up Algorithmic Debugging Using Balanced Execution Trees....Pages 133-151
Generating Test Suites with Augmented Dynamic Symbolic Execution....Pages 152-167
A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper....Pages 168-177
Evaluation of ASLan Mutation Operators....Pages 178-196
Solving Constraints for Generational Search....Pages 197-213
Divergent Quiescent Transition Systems....Pages 214-231
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.