|
|
libcats.org
Tests and Proofs, 1 conf., TAP 2007Bertrand Meyer, Yuri GurevichThis book constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007.The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality. Topics addressed are generation of test cases or oracles by theorem proving, constraint logic programming, model checking, or symbolic execution; program proving with the aid of testing techniques; automatic tools; case studies; formal frameworks; as well as verification techniques combining proofs and tests.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Cohomologie Cristalline des Schemas de Caracteristique poАвтор: P. BerthelotКатегория: Lecture notes
Размер книги: 3.35 Mb
Semiconductor-Laser FundamentalsАвтор: Weng W. Chow, Автор: Stephan W. KochКатегория: 1843662-
Размер книги: 15.25 Mb
Television: What's on, Who's Watching, and What it MeansАвтор: George Comstock, Автор: Erica Scharrer
Размер книги: 19.73 Mb
Oceanography and Marine Biology: An Annual Review, Volume 43 (Oceanography and Marine Biology)Автор: R. N. Gibson, Автор: R. J. A. Atkinson, Автор: J. D. M. Gordon
Размер книги: 14.42 Mb
Better Spelling in 30 Minutes a Day (Better English Series)Автор: Robert W. Emery, Автор: Harry H. Crosby
Размер книги: 484 Kb
|
|
|