Optimization of Automated Software Testing Using Meta-Heuristic Techniques


Book Description

This book provides awareness of different evolutionary methods used for automatic generation and optimization of test data in the field of software testing. While the book highlights on the foundations of software testing techniques, it also focuses on contemporary topics for research and development. This book covers the automated process of testing in different levels like unit level, integration level, performance level, evaluation of testing strategies, testing in security level, optimizing test cases using various algorithms, and controlling and monitoring the testing process etc. This book aids young researchers in the field of optimization of automated software testing, provides academics with knowledge on the emerging field of AI in software development, and supports universities, research centers, and industries in new projects using AI in software testing. ​Supports the advancement in the artificial intelligence used in software development; Advances knowledge on artificial intelligence based metaheuristic approach in software testing; Encourages innovation in traditional software testing field using recent artificial intelligence. ·




MetaAutomation


Book Description

MetaAutomation describes much more effective approaches to achieving business value with software quality automation.




Automation and Control


Book Description

Advances in automation and control today cover many areas of technology where human input is minimized. This book discusses numerous types and applications of automation and control. Chapters address topics such as building information modeling (BIM)–based automated code compliance checking (ACCC), control algorithms useful for military operations and video games, rescue competitions using unmanned aerial-ground robots, and stochastic control systems.




The Rise of Metacreativity


Book Description

This book brings together history and theory in art and media to examine the effects of artificial intelligence and machine learning in culture, and reflects on the implications of delegating parts of the creative process to AI. In order to understand the complexity of authorship and originality in relation to creativity in contemporary times, Navas combines historical and theoretical premises from different areas of research in the arts, humanities, and social sciences to provide a rich historical and theoretical context that critically reflects on and questions the implications of artificial intelligence and machine learning as an integral part of creative production. As part of this, the book considers how much of postproduction and remix aesthetics in art and media preceded the current rise of metacreativity in relation to artificial intelligence and machine learning, and explores contemporary questions on aesthetics. The book also provides a thorough evaluation of the creative application of systematic approaches to art and media production, and how this in effect percolates across disciplines including art, design, communication, as well as other fields in the humanities and social sciences. An essential read for students and scholars interested in understanding the increasing role of AI and machine learning in contemporary art and media, and their wider role in creative production across culture and society.




Automated Data Collection with R


Book Description

A hands on guide to web scraping and text mining for both beginners and experienced users of R Introduces fundamental concepts of the main architecture of the web and databases and covers HTTP, HTML, XML, JSON, SQL. Provides basic techniques to query web documents and data sets (XPath and regular expressions). An extensive set of exercises are presented to guide the reader through each technique. Explores both supervised and unsupervised techniques as well as advanced techniques such as data scraping and text management. Case studies are featured throughout along with examples for each technique presented. R code and solutions to exercises featured in the book are provided on a supporting website.




Human-Automation Interaction


Book Description

This book provides practical guidance and awareness for a growing body of knowledge developing across a variety of disciplines. This initiative is a celebration of the Gavriel Salvendy International Symposium (GSIS) and provides a survey of topics and emerging areas of interest in human–automation interaction. This set of articles for the GSIS emphasizes a main thematic area: transportation. Main areas of coverage include Section A: Interaction with Vehicle Automation; Section B: HCI in Automated Vehicles; Section C: Trust in Vehicle Automation; Section D: Physical Modeling of Vehicle Cabs; Section E: Task Simulation Automation via Digital Human Models; Section F: Maintenance and Manufacturing; Section G: Smart Cities and Connected Vehicles. Contributions from especially early career researchers were featured as part of this (virtual) symposium and celebration. Gavriel Salvendy initiated the conferences that run annually as Human–Computer Interaction within LNCS of Springer and Applied Human Factors and Ergonomics International (AHFE). The book is inclusive of human–computer interaction and human factors and ergonomics principles, yet it is intended to serve a much wider audience that has interest in automation and human modeling. The emerging need for human–automation interaction expertise has developed from an ever-growing availability and presence of automation in our everyday lives. This initiative is intended to provide practical guidance and awareness for a growing body of knowledge developing across a variety of disciplines and many countries.







Automated Software Testing


Book Description

This book covers both theory and applications in the automation of software testing tools and techniques for various types of software (e.g. object-oriented, aspect-oriented, and web-based software). When software fails, it is most often due to lack of proper and thorough testing, an aspect that is even more acute for object-oriented, aspect-oriented, and web-based software. Further, since it is more difficult to test distributed and service-oriented architecture-based applications, there is a pressing need to discuss the latest developments in automated software testing. This book discusses the most relevant issues, models, tools, challenges, and applications in automated software testing. Further, it brings together academic researchers, scientists, and engineers from a wide range of industrial application areas, who present their latest findings and identify future challenges in this fledging research area.




Automated Reasoning with Analytic Tableaux and Related Methods


Book Description

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002. The 20 revised full papers and two system descriptions presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed. Among the logic calculi investigated are linear logic, temporal logic, modal logics, hybrid logic, multi-modal logics, fuzzy logics, Goedel logic, Lukasiewicz logic, intermediate logics, quantified boolean logic, and, of course, classical first-order logic.




Port Automation and Vehicle Scheduling


Book Description

Container terminals are constantly being challenged to adjust their throughput capacity to match fluctuating demand. Examining the optimization problems encountered in today’s container terminals, Port Automation and Vehicle Scheduling: Advanced Algorithms for Scheduling Problems of AGVs, Third Edition provides advanced algorithms for handling the scheduling of Automated Guided Vehicles (AGVs) in ports. Building on the earlier editions, previously titled Vehicle Scheduling in Port Automation: Advanced Algorithms for Minimum Cost Flow Problems, this book has undergone extensive revisions and includes two new chapters. New material addresses the solutions to the modeling of decisions in Chapter 3, while in Chapter 11 the authors address an emerging challenge in automated container terminals with integrated management. Key Features: Classifies the optimization problems of the ports into five scheduling decisions. For each decision, it supplies an overview, formulates each of the decisions as constraint satisfaction and optimization problems, and then covers possible solutions, implementation, and performance. Explores in Part One of the book the various optimization problems in modern container terminals, while details in Part Two advanced algorithms for the minimum cost flow (MCF) problem and for the scheduling problem of AGVs in ports. Offers complete package that can help readers address the scheduling problems of AGVs in ports. This is a valuable reference for port authorities and researchers, including specialists and graduate students in operation research. For specialists, it provides novel and efficient algorithms for network flow problems. For students, it supplies the most comprehensive survey of the field along with a rigorous formulation of the problems in port automation.