دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
دانلود کتاب تست و اثبات: هفتمین کنفرانس بین المللی، TAP 2013، بوداپست، مجارستان، 16-20 ژوئن 2013. پرونده
مشخصات کتاب
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ویرایش: 1 نویسندگان: Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele (auth.), Margus Veanes, Luca Viganò (eds.) سری: Lecture Notes in Computer Science 7942 ISBN (شابک) : 9783642389153, 9783642389160 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 242 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب تست و اثبات: هفتمین کنفرانس بین المللی، TAP 2013، بوداپست، مجارستان، 16-20 ژوئن 2013. پرونده: مهندسی نرم افزار، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، شبیه سازی و مدل سازی
در صورت تبدیل فایل کتاب Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تست و اثبات: هفتمین کنفرانس بین المللی، TAP 2013، بوداپست، مجارستان، 16-20 ژوئن 2013. پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تست و اثبات: هفتمین کنفرانس بین المللی، TAP 2013، بوداپست، مجارستان، 16-20 ژوئن 2013. پرونده
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی آزمون و اثبات، TAP 2013، در بوداپست، مجارستان، در ژوئن 2013، به عنوان بخشی از کنفرانس فدرال STAF 2013 است. 12 مقاله کامل اصلاح شده ارائه شده همراه با یک آموزش به دقت بررسی و از بین 24 مقاله ارسالی انتخاب شدند. این مقالات به هم افزایی اثبات ها و آزمون ها، به کاربرد تکنیک ها از هر دو طرف و ترکیب آنها برای ارتقای کیفیت نرم افزار اختصاص دارد. مقالات مربوط به موضوعات زیر است: تولید آزمون; تست مبتنی بر مدل و جهش اشکال زدایی اعلامی؛ و تست ابزار.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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 -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Companion to Peripheral Neuropathy: Illustrated Cases and New Developments
دانلود کتاب Smart maintenance for human-robot interaction : an intelligent search algorithmic perspective
دانلود کتاب Numerische Prozeduren: Aus Nachlass und Lehre
دانلود کتاب Learn to Do Tunisian Lace Stitches (Book & DVD) (Annie's Attic: Crochet)
