Download or read book 2017 IEEE ACM 12th International Workshop on Automation of Software Testing AST written by IEEE Staff and published by . This book was released on 2017-05-20 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: ICSE, the International Conference on Software Engineering, is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering

Download or read book AST 2017 written by and published by . This book was released on with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 2017 IEEE ACM 12th International Workshop on Automation of Software Testing written by Junhua Ding and published by . This book was released on 2017 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book International Conference on Innovative Computing and Communications written by Siddhartha Bhattacharyya and published by Springer. This book was released on 2018-11-19 with total page 546 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book includes high-quality research papers presented at the International Conference on Innovative Computing and Communication (ICICC 2018), which was held at the Guru Nanak Institute of Management (GNIM), Delhi, India on 5–6 May 2018. Introducing the innovative works of scientists, professors, research scholars, students and industrial experts in the field of computing and communication, the book promotes the transformation of fundamental research into institutional and industrialized research and the conversion of applied exploration into real-time applications.

Download or read book Software Engineering for Games in Serious Contexts written by Kendra M. L. Cooper and published by Springer Nature. This book was released on 2023-10-23 with total page 307 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book highlights several challenges and opportunities in the field of software engineering for serious games. It covers a wide range of topics from game design principles to software architecture, testing, and deployment and is structured into two parts. While Part I delves into various aspects of designing, maintaining, adapting, and evaluating games in serious contexts; Part II focuses on the experiences of realizing and using games in serious contexts. One of the primary challenges is to develop effective methods for evaluating serious games and measuring their impact and outcomes. Another challenge is to design serious games that are both engaging and effective, which requires a deep understanding of game design principles and instructional design. The book also emphasizes the need to develop effective software engineering practices for serious game development and the importance of gamification in improving user engagement and motivation. The potential of serious games for addressing societal challenges such as cybersecurity and healthcare is also highlighted. Despite these challenges, the book also identifies several opportunities for the field, including the potential of serious games to provide new and innovative approaches to learning and the potential of serious games to address real-world problems in new and effective ways. This book is intended for software engineers, game developers, educators, and anyone interested in how games in serious contexts can be effectively created. Overall, the chapters in the book provide a valuable snapshot of the current state of the field and offer insights into where it may be headed in the future.

Download or read book Automated Software Testing written by Ajay Kumar Jena and published by Springer Nature. This book was released on 2020-02-03 with total page 173 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Testing Software and Systems written by Valentina Casola and published by Springer Nature. This book was released on 2020-12-02 with total page 321 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.

Download or read book New Perspectives in Software Engineering written by Jezreel Mejia and published by Springer Nature. This book was released on 2020-11-06 with total page 378 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains a selection of papers from the 2020 International Conference on Software Process Improvement (CIMPS 20), held between the 21st and 23rd of October in Mazatlán, Sinaloa, México. The CIMPS 20 is a global forum for researchers and practitioners that present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Software Engineering with clear relationship but not limited to software processes, Security in Information and Communication Technology and Big Data Field. The main topics covered are: Organizational Models, Standards and Methodologies, Software Process Improvement, Knowledge Management, Software Systems, Applications and Tools, Information and Communication Technologies and Processes in Non-software Domains (mining, automotive, aerospace, business, health care, manufacturing, etc.) with a demonstrated relationship to Software Engineering Challenges.

Download or read book Artificial Intelligence Methods for Optimization of the Software Testing Process written by Sahar Tahvili and published by Academic Press. This book was released on 2022-07-21 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial Intelligence Methods for Optimization of the Software Testing Process: With Practical Examples and Exercises presents different AI-based solutions for overcoming the uncertainty found in many initial testing problems. The concept of intelligent decision making is presented as a multi-criteria, multi-objective undertaking. The book provides guidelines on how to manage diverse types of uncertainty with intelligent decision-making that can help subject matter experts in many industries improve various processes in a more efficient way. As the number of required test cases for testing a product can be large (in industry more than 10,000 test cases are usually created). Executing all these test cases without any particular order can impact the results of the test execution, hence this book fills the need for a comprehensive resource on the topics on the how's, what's and whys. To learn more about Elsevier’s Series, Uncertainty, Computational Techniques and Decision Intelligence, please visit this link: https://www.elsevier.com/books-and-journals/book-series/uncertainty-computational-techniques-and-decision-intelligence Presents one of the first empirical studies in the field, contrasting theoretical assumptions on innovations in a real industrial environment with a large set of use cases from developed and developing testing processes at various large industries Explores specific comparative methodologies, focusing on developed and developing AI-based solutions Serves as a guideline for conducting industrial research in the artificial intelligence and software testing domain Explains all proposed solutions through real industrial case studies

Download or read book Search Based Software Engineering written by Paolo Arcaini and published by Springer Nature. This book was released on 2024-01-04 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 15th International Symposium on Search-Based Software Engineering, SSBSE 2023, which took place in San Francisco, CA, USA, during December 8, 2023.The 7 full and 7 short papers included in this book were carefully reviewed and selected from 23 submissions. They focus on formulating various optimization problems in software engineering as search problems, addressing them with search techniques, intending to automate complex software engineering tasks.

Download or read book Information Systems and Technologies written by Alvaro Rocha and published by Springer Nature. This book was released on 2022-05-10 with total page 651 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers the following main topics: A) information and knowledge management; B) organizational models and information systems; C) software and systems modeling; D) software systems, architectures, applications and tools; E) multimedia systems and applications; F) computer networks, mobility and pervasive systems; G) intelligent and decision support systems; H) big data analytics and applications; I) human–computer interaction; J) ethics, computers and security; K) health informatics; L) information technologies in education; M) information technologies in radio communications; N) technologies for biomedical applications. This book is composed by a selection of articles from The 2022 World Conference on Information Systems and Technologies (WorldCIST'22), held between April 12 and 14, in Budva, Montenegro. WorldCIST is a global forum for researchers and practitioners to present and discuss recent results and innovations, current trends, professional experiences, and challenges of modern information systems and technologies research, together with their technological development and applications.

Download or read book Proceedings of the Second International Workshop on Automation of Software Test written by ICSE Workshop on Automation of Software Test and published by . This book was released on 2007 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Knowledge Innovation Through Intelligent Software Methodologies Tools and Techniques written by H. Fujita and published by IOS Press. This book was released on 2020-09-30 with total page 498 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software methodologies, tools and techniques have become an ever more important part of our lives, and are crucial to the decision-making processes that affect us every day. This book presents papers from the 19th International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques (SoMeT20), held in Kitakyushu, Japan from 22–24 September 2020. The SoMeT conferences bring together researchers and practitioners to share their original research results and experience of practical developments in software science and related new technologies, and this book explores new trends and theories that highlight the direction and development of intelligent software methodologies, tools and techniques. It covers newly developed techniques, enhanced methodologies, software related solutions and recently developed tools, as well as indicating the direction of future research, and the 40 revised papers included here have been selected by the SoMeT20 international reviewing committee on the basis of technical soundness, relevance, originality, significance, and clarity. The book is divided into 5 chapters: artificial intelligence techniques on software engineering, and requirement engineering; software methods for informatics, medical informatics and bio-medicine applications; applied software tools, techniques and related software engineering models; intelligent-software systems design, software quality, software evolution and validation techniques; and knowledge science and intelligent computing. Providing an overview of the state-of-the-art in software science and its supporting technology, this book will be of interest to all those working in the field.

Download or read book Advanced Information Systems Engineering Workshops written by Artem Polyvyanyy and published by Springer Nature. This book was released on 2021-06-08 with total page 194 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, which was held during June 28-July 2, 2021. The conference was planned to take place in Melbourne, Australia, but changed to an online format due to the COVID-19 pandemic. The workshops included in this volume are: · BC4IS: 1st International Workshop on Blockchain for Information Systems · EMoBI : 3rd International Workshop on Ethics and Morality in Business Informatics · KET4DF : 3rd International Workshop on Key Enabling Technology for Digital Factories · MOBA: 1st International Workshop on Model-driven Organizational and Business Agility · NeGIS: 2nd International Workshop on Next Generation Information Systems They focus on topics and trends ranging from blockchain technologies to digital factories, ethics, and business agility to the next generation of information systems. The 14 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 33 submissions.

Download or read book New Trends in Intelligent Software Methodologies Tools and Techniques written by H. Fujita and published by IOS Press. This book was released on 2023-10-03 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software is an essential enabler for science and the new economy, but current software methodologies, tools, and techniques are often still not sufficiently robust or reliable for the constantly changing and evolving market, and many promising approaches have proved to be no more than case-oriented methods that are not fully automated. This book presents the proceedings of SoMeT_23, the 22nd International Conference on New Trends in Intelligent Software Methodology, Tools, and Techniques, held from 20–22 September 2023 in Naples, Italy. The conference brings together researchers and practitioners to share original research and practical development experience in software science and related new technologies, and is an opportunity for the software-science community to take stock of where they are today and consider future directions. The 25 papers included here were carefully selected from the many high-quality submissions received after a rigorous review process, with each paper typically being reviewed by 3 or 4 reviewers. Topics covered range from research practices, techniques and methodologies to the solutions required by global business. SoMeT_23 focused in particular on intelligent software, the application of artificial intelligence techniques in software development, and tackling human interaction in the development process for better high-level interface, with an emphasis on human-centric software methodologies, end-user development techniques, and emotional reasoning for an optimum performance between design tool and user. Exploring trends, theories, and challenges in the integration of software and science for tomorrow’s global information society, the book captures a new state-of-the-art in software science and its supporting technology and will be of interest to all those working in the field.

Download or read book Emerging Automation Techniques for the Future Internet written by Boucadair, Mohamed and published by IGI Global. This book was released on 2018-10-12 with total page 351 pages. Available in PDF, EPUB and Kindle. Book excerpt: Automation techniques are meant to facilitate the delivery of flexible, agile, customized connectivity services regardless of the nature of the networking environment. New architectures combine advanced forwarding and routing schemes, mobility features, and customer-adapted resource facilities used for operation and delivery of services. Emerging Automation Techniques for the Future Internet is a collection of innovative research on the methods and applications of new architectures for the planning, dynamic delivery, and operation of services. While highlighting topics including policy enforcement, self-architectures, and automated networks, this book is ideally designed for engineers, IT consultants, professionals, researchers, academicians, and students seeking current research on techniques and structures used to enhance experience and services rendered.

Download or read book Integrated Formal Methods written by Wolfgang Ahrendt and published by Springer Nature. This book was released on 2019-11-22 with total page 554 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.