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.







Soft Computing: Theories and Applications


Book Description

The book focuses on soft computing and its applications to solve real-world problems in different domains, ranging from medicine and health care, to supply chain management, image processing and cryptanalysis. It includes high-quality papers presented at the International Conference on Soft Computing: Theories and Applications (SoCTA 2018), organized by Dr. B. R. Ambedkar National Institute of Technology, Jalandhar, Punjab, India. Offering significant insights into soft computing for teachers and researchers alike, the book inspires more researchers to work in the field of soft computing.




Localization Algorithms and Strategies for Wireless Sensor Networks: Monitoring and Surveillance Techniques for Target Tracking


Book Description

Wireless localization techniques are an area that has attracted interest from both industry and academia, with self-localization capability providing a highly desirable characteristic of wireless sensor networks. Localization Algorithms and Strategies for Wireless Sensor Networks encompasses the significant and fast growing area of wireless localization techniques. This book provides comprehensive and up-to-date coverage of topics and fundamental theories underpinning measurement techniques and localization algorithms. A useful compilation for academicians, researchers, and practitioners, this Premier Reference Source contains relevant references and the latest studies emerging out of the wireless sensor network field.




Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis


Book Description

ISSTA '17: International Symposium on Software Testing and Analysis Jul 10, 2017-Jul 14, 2017 Santa Barbara, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.




Control and Automation of Electrical Power Distribution Systems


Book Description

Implementing the automation of electric distribution networks, from simple remote control to the application of software-based decision tools, requires many considerations, such as assessing costs, selecting the control infrastructure type and automation level, deciding on the ambition level, and justifying the solution through a business case. Control and Automation of Electric Power Distribution Systems addresses all of these issues to aid you in resolving automation problems and improving the management of your distribution network. Bringing together automation concepts as they apply to utility distribution systems, this volume presents the theoretical and practical details of a control and automation solution for the entire distribution system of substations and feeders. The fundamentals of this solution include depth of control, boundaries of control responsibility, stages of automation, automation intensity levels, and automated device preparedness. To meet specific performance goals, the authors discuss distribution planning, performance calculations, and protection to facilitate the selection of the primary device, associated secondary control, and fault indicators. The book also provides two case studies that illustrate the business case for distribution automation (DA) and methods for calculating benefits, including the assessment of crew time savings. As utilities strive for better economies, DA, along with other tools described in this volume, help to achieve improved management of the distribution network. Using Control and Automation of Electric Power Distribution Systems, you can embark on the automation solution best suited for your needs.




Tools and Algorithms for the Construction and Analysis of Systems


Book Description

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.




Risk Thinking for Cloud-Based Application Services


Book Description

Many enterprises are moving their applications and IT services to the cloud. Better risk management results in fewer operational surprises and failures, greater stakeholder confidence and reduced regulatory concerns; proactive risk management maximizes the likelihood that an enterprise’s objectives will be achieved, thereby enabling organizational success. This work methodically considers the risks and opportunities that an enterprise taking their applications or services onto the cloud must consider to obtain the cost reductions and service velocity improvements they desire without suffering the consequences of unacceptable user service quality.




Formal Methods


Book Description




Proceedings of the 2nd International Conference on Recent Trends in Machine Learning, IoT, Smart Cities and Applications


Book Description

This book contains original, peer-reviewed research articles from the Second International Conference on Recent Trends in Machine Learning, IoT, Smart Cities and Applications, held in March 28-29th 2021 at CMR Institute of Technology, Hyderabad, Telangana India. It covers the latest research trends and developments in areas of machine learning, artificial intelligence, neural networks, cyber-physical systems, cybernetics, with emphasis on applications in smart cities, Internet of Things, practical data science and cognition. The book focuses on the comprehensive tenets of artificial intelligence, machine learning and deep learning to emphasize its use in modelling, identification, optimization, prediction, forecasting and control of future intelligent systems. Submissions were solicited of unpublished material, and present in-depth fundamental research contributions from a methodological/application perspective in understanding artificial intelligence and machine learning approaches and their capabilities in solving a diverse range of problems in industries and its real-world applications.