Handbook of Software Fault Localization


Book Description

Handbook of Software Fault Localization A comprehensive analysis of fault localization techniques and strategies In Handbook of Software Fault Localization: Foundations and Advances, distinguished computer scientists Prof. W. Eric Wong and Prof. T.H. Tse deliver a robust treatment of up-to-date techniques, tools, and essential issues in software fault localization. The authors offer collective discussions of fault localization strategies with an emphasis on the most important features of each approach. The book also explores critical aspects of software fault localization, like multiple bugs, successful and failed test cases, coincidental correctness, faults introduced by missing code, the combination of several fault localization techniques, ties within fault localization rankings, concurrency bugs, spreadsheet fault localization, and theoretical studies on fault localization. Readers will benefit from the authors’ straightforward discussions of how to apply cost-effective techniques to a variety of specific environments common in the real world. They will also enjoy the in-depth explorations of recent research directions on this topic. Handbook of Software Fault Localization also includes: A thorough introduction to the concepts of software testing and debugging, their importance, typical challenges, and the consequences of poor efforts Comprehensive explorations of traditional fault localization techniques, including program logging, assertions, and breakpoints Practical discussions of slicing-based, program spectrum-based, and statistics-based techniques In-depth examinations of machine learning-, data mining-, and model-based techniques for software fault localization Perfect for researchers, professors, and students studying and working in the field, Handbook of Software Fault Localization: Foundations and Advances is also an indispensable resource for software engineers, managers, and software project decision makers responsible for schedule and budget control.







Tools and Algorithms for the Construction and Analysis of Systems


Book Description

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.







Reliability Engineering


Book Description

This book shows how to build in, evaluate, and demonstrate reliability and availability of components, equipment, systems. It presents the state-of-the-art of reliability engineering, both in theory and practice, and is based on the author's more than 30 years experience in this field, half in industry and half as Professor of Reliability Engineering at the ETH, Zurich. The structure of the book allows rapid access to practical results. This final edition extend and replace all previous editions. New are, in particular, a strategy to mitigate incomplete coverage, a comprehensive introduction to human reliability with design guidelines and new models, and a refinement of reliability allocation, design guidelines for maintainability, and concepts related to regenerative stochastic processes. The set of problems for homework has been extended. Methods & tools are given in a way that they can be tailored to cover different reliability requirement levels and be used for safety analysis. Because of the Appendices A6 - A8, the book is also self contained from a mathematical point of view, and can be used as a text book or as a desktop reference, with a large number of tables (60), figures (190), and examples (210 of which 70 as problems for homework) to support the practical aspects.




Wireless World


Book Description







Proceedings


Book Description

The ASE conference is the major conference for theory and practice concerned with automating the software development process. Formerly known as Knowledge-Based Software Engineering (KBSE), the conference expanded in order to reach out to other scientific communities concerned with the automation aspects of formal methods, software process, human-computer interaction, requirements engineering, reverse engineering, testing and verification and validation, while still including an active artificial intelligence and knowledge-based research focus.




End User Development


Book Description

This book makes important aspects of the international discussion on End User Development (EUD) available to a broader audience. It offers a unique set of contributions from research institutes worldwide, addressing relevant issues and proposing original solutions. This broad look at the emerging paradigm of End-User Development will inspire every reader to appreciate its potential for the future. Indeed, the editors hope that readers – "end-users" - will themselves become developers.




Design of equipment


Book Description