Fundamentals of Software Engineering
Fundamentals of Software Engineering

Author: Hossein Hojjat

Publisher: Springer Nature

Published: 2021-10-16

Total Pages: 235

ISBN-13: 3030892476

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021. The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.

Genetic Programming Theory and Practice XVIII
Genetic Programming Theory and Practice XVIII

Author: Wolfgang Banzhaf

Publisher: Springer Nature

Published: 2022-02-11

Total Pages: 220

ISBN-13: 9811681139

DOWNLOAD EBOOK

This book, written by the foremost international researchers and practitioners of genetic programming (GP), explores the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP. In this year’s edition, the topics covered include many of the most important issues and research questions in the field, such as opportune application domains for GP-based methods, game playing and co-evolutionary search, symbolic regression and efficient learning strategies, encodings and representations for GP, schema theorems, and new selection mechanisms. The book includes several chapters on best practices and lessons learned from hands-on experience. Readers will discover large-scale, real-world applications of GP to a variety of problem domains via in-depth presentations of the latest and most significant results.

Intelligent Software Defect Prediction
Intelligent Software Defect Prediction

Author: Xiao-Yuan Jing

Publisher: Springer Nature

Published: 2024-01-17

Total Pages: 210

ISBN-13: 9819928427

DOWNLOAD EBOOK

With the increasing complexity of and dependency on software, software products may suffer from low quality, high prices, be hard to maintain, etc. Software defects usually produce incorrect or unexpected results and behaviors. Accordingly, software defect prediction (SDP) is one of the most active research fields in software engineering and plays an important role in software quality assurance. Based on the results of SDP analyses, developers can subsequently conduct defect localization and repair on the basis of reasonable resource allocation, which helps to reduce their maintenance costs. This book offers a comprehensive picture of the current state of SDP research. More specifically, it introduces a range of machine-learning-based SDP approaches proposed for different scenarios (i.e., WPDP, CPDP, and HDP). In addition, the book shares in-depth insights into current SDP approaches’ performance and lessons learned for future SDP research efforts. We believe these theoretical analyses and emerging challenges will be of considerable interest to all researchers, graduate students, and practitioners who want to gain deeper insights into and/or find new research directions in SDP. It offers a comprehensive introduction to the current state of SDP and detailed descriptions of representative SDP approaches.

Programming Languages and Systems
Programming Languages and Systems

Author: Thomas Wies

Publisher: Springer Nature

Published: 2023-04-16

Total Pages: 579

ISBN-13: 3031300440

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

New Trends in Intelligent Software Methodologies, Tools and Techniques
New Trends in Intelligent Software Methodologies, Tools and Techniques

Author: H. Fujita

Publisher: IOS Press

Published: 2018-09-18

Total Pages: 1058

ISBN-13: 1614999007

DOWNLOAD EBOOK

Knowledge-based systems, fully integrated with software, have become essential enablers for both science and commerce. But current software methodologies, tools and techniques are not robust or reliable enough for the demands of a 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 the 17th international conference on New Trends in Intelligent Software Methodology, Tools and Techniques (SoMeT18) held in Granada, Spain, 26-28 September 2018. The SoMeT conferences provide a forum for the exchange of ideas and experience, foster new directions in software development methodologies and related tools and techniques, and focus on exploring innovations, controversies, and the current challenges facing the software engineering community. The 80 selected papers included here are divided into 13 chapters, and cover subjects as diverse as intelligent software systems; medical informatics and bioinformatics; artificial intelligence techniques; social learning software and sentiment analysis; cognitive systems and neural analytics; and security, among other things. Offering a state-of-the-art overview of methodologies, tools and techniques, this book will be of interest to all those whose work involves the development or application of software.

Advances in Computers
Advances in Computers

Author:

Publisher: Academic Press

Published: 2019-01-08

Total Pages: 500

ISBN-13: 0128151226

DOWNLOAD EBOOK

Advances in Computers, Volume 112, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Mobile Application Quality Assurance, Advances in Combinatorial Testing, Advances in Applications of Object Constraint Language for Software Engineering, Advances in Techniques for Test Prioritization, Data Warehouse Testing, Mutation Testing Advances: An Analysis and Survey, Event-Based Concurrency: Applications, Abstractions, and Analyses, and A Taxonomy of Software Integrity Protection Techniques. - Provides in-depth surveys and tutorials on new computer technology - Covers well-known authors and researchers in the field - Presents extensive bibliographies with most chapters - Includes volumes that are devoted to single themes or subfields of computer science

Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering

Author: Leen Lambers

Publisher: Springer Nature

Published: 2023-04-19

Total Pages: 344

ISBN-13: 3031308263

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. .

Software Testing Automation
Software Testing Automation

Author: Saeed Parsa

Publisher: Springer Nature

Published: 2023-03-24

Total Pages: 594

ISBN-13: 3031220579

DOWNLOAD EBOOK

This book is about the design and development of tools for software testing. It intends to get the reader involved in software testing rather than simply memorizing the concepts. The source codes are downloadable from the book website. The book has three parts: software testability, fault localization, and test data generation. Part I describes unit and acceptance tests and proposes a new method called testability-driven development (TsDD) in support of TDD and BDD. TsDD uses a machine learning model to measure testability before and after refactoring. The reader will learn how to develop the testability prediction model and write software tools for automatic refactoring. Part II focuses on developing tools for automatic fault localization. This part shows the reader how to use a compiler generator to instrument source code, create control flow graphs, identify prime paths, and slice the source code. On top of these tools, a software tool, Diagnoser, is offered to facilitate experimenting with and developing new fault localization algorithms. Diagnoser takes a source code and its test suite as input and reports the coverage provided by the test cases and the suspiciousness score for each statement. Part III proposes using software testing as a prominent part of the cyber-physical system software to uncover and model unknown physical behaviors and the underlying physical rules. The reader will get insights into developing software tools to generate white box test data.

Ernst Denert Award for Software Engineering 2019
Ernst Denert Award for Software Engineering 2019

Author: Michael Felderer

Publisher: Springer Nature

Published: 2020-12-03

Total Pages: 140

ISBN-13: 3030586170

DOWNLOAD EBOOK

This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains five papers describing the works by Sebastian Baltes (U Trier) on Software Developers’Work Habits and Expertise, Timo Greifenberg’s thesis on Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, Marco Konersmann’s (U Duisburg-Essen) work on Explicitly Integrated Architecture, Marija Selakovic’s (TU Darmstadt) research about Actionable Program Analyses for Improving Software Performance, and Johannes Späth’s (Paderborn U) thesis on Synchronized Pushdown Systems for Pointer and Data-Flow Analysis – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.