Kooperativer Bibliotheksverbund

UID:

Format: 1 Online-Ressource.

ISBN: 978-3-031-30826-0

Series Statement: Lecture notes in computer science 13991

Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-031-30825-3

Language: English

Keywords: Konferenzschrift ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-031-30826-0

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

Author information: Lambers, Leen

UID:

Format: 1 online resource (xvi, 332 pages) : , illustrations (some color).

Edition: 1st ed. 2023.

ISBN: 9783031308260 , 3031308263

Series Statement: Lecture Notes in Computer Science, 13991

Content: 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. .

Note: Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! A Study on Model’s Similarities for Defect and Code Smells -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.

Additional Edition: ISBN 9783031308253

Additional Edition: ISBN 3031308255

Language: English

Keywords: Congressos ; Llibres electrònics ; Congressos ; Llibres electrònics

DOI: 10.1007/978-3-031-30826-0

UID:

Format: 1 Online-Ressource (332 p.)

ISBN: 9783031308260 , 9783031308253

Series Statement: Lecture Notes in Computer Science

Content: 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

Note: English

Language: Undetermined

URL: kostenfrei

Author information: Lambers, Leen

UID:

Format: 1 online resource (xvi, 332 pages) : , illustrations (some color).

ISBN: 9783031308260 , 3031308263

Series Statement: Lecture notes in computer sScience, 13991

Content: 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.

Note: Includes author index. , Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! A Study on Model’s Similarities for Defect and Code Smells -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.

Language: English

Keywords: Electronic books.

DOI: 10.1007/978-3-031-30826-0

URL: SpringerLink

URL: Click here to view book

UID:

Format: 1 online resource (344 pages)

Edition: 1st ed.

ISBN: 9783031308260

Series Statement: Lecture Notes in Computer Science Series v.13991

Content: Intro -- ETAPS Foreword -- Preface -- Organization -- Brains on Code: Towards a Neuroscientific Foundation of Program Comprehension (Abstract of an Invited Talk) -- Contents -- Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- 1 Introduction -- 2 Linear-Time Temporal Logic -- 2.1 Language Formalism -- 2.2 Model Counting -- 3 The Goal-Conict Resolution Problem -- 4 ACoRe: Automated Goal-Conict Resolution -- 4.1 Search Space and Initial Population -- 4.2 Multi-Objectives: Consistency, Resolution and Similarities -- 4.3 Evolutionary Operators -- 4.4 Multi-Objective Optimisation Search Algorithms -- 5 Experimental Evaluation -- 5.1 Experimental Procedure -- 6 Experimental Results -- 6.1 RQ1: E ectiveness of ACoRe -- 6.2 RQ2: Comparison with the Ground-truth -- 6.3 RQ3: Comparing the Multi-objective Optimization Algorithms -- 7 Related Work -- 8 Conclusion -- References -- A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Availability of Artifacts -- 1 Introduction -- 2 Background -- 2.1 Real-Time Operating System (RTOS) -- 2.2 Uppaal -- 3 Model Design -- 3.1 Naming Convention -- 3.2 The Kernel Interface -- 3.3 The Operating System -- 3.4 Simple Application Modeling -- 4 Requirements and Verification -- 4.1 Composition Requirements -- 4.2 OS Requirements -- 4.3 Verifying the Requirements -- 4.4 OS Model Verification -- 5 Analysis and Evaluation -- 5.1 Compositional Approach to Deriving the Minimal Configuration -- 5.2 Scalability: Resource Consumption for Verification -- 5.3 Sufficiency of 4-1-2-2 Configuration for our OS Model -- 6 Related Work -- 7 Conclusions and Future Work -- References -- Compositional Automata Learning of Synchronous Systems -- 1 Introduction -- 2 Preliminaries -- 2.1 L∗ algorithm -- 3 Learning Synchronous Components Compositionally -- 3.1 Query Adapter -- 3.2 L∗ extensions.

Note: Description based on publisher supplied metadata and other sources

Additional Edition: ISBN 9783031308253

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783031308253

Language: English

URL: lizenzpflichtig

Author information: Lambers, Leen

UID:

Format: XVI, 332 p. 137 illus., 100 illus. in color. , online resource.

Edition: 1st ed. 2023.

ISBN: 9783031308260

Series Statement: Lecture Notes in Computer Science, 13991

Content: 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. .

Note: Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! A Study on Model's Similarities for Defect and Code Smells -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9783031308253

Additional Edition: Printed edition: ISBN 9783031308277

Language: English

DOI: 10.1007/978-3-031-30826-0

URL: https://doi.org/10.1007/978-3-031-30826-0

UID:

Format: xvi, 332 Seiten , Illustrationen, Diagramme

ISBN: 9783031308253

Series Statement: Lecture notes in computer science 13991

Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-031-30826-0

Language: English

Keywords: Konferenzschrift

Author information: Lambers, Leen

UID:

Format: 1 online resource (344 pages)

Edition: 1st ed.

ISBN: 9783031308260

Series Statement: Lecture Notes in Computer Science Series ; v.13991

Note: Intro -- ETAPS Foreword -- Preface -- Organization -- Brains on Code: Towards a Neuroscientific Foundation of Program Comprehension (Abstract of an Invited Talk) -- Contents -- Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- 1 Introduction -- 2 Linear-Time Temporal Logic -- 2.1 Language Formalism -- 2.2 Model Counting -- 3 The Goal-Conict Resolution Problem -- 4 ACoRe: Automated Goal-Conict Resolution -- 4.1 Search Space and Initial Population -- 4.2 Multi-Objectives: Consistency, Resolution and Similarities -- 4.3 Evolutionary Operators -- 4.4 Multi-Objective Optimisation Search Algorithms -- 5 Experimental Evaluation -- 5.1 Experimental Procedure -- 6 Experimental Results -- 6.1 RQ1: E ectiveness of ACoRe -- 6.2 RQ2: Comparison with the Ground-truth -- 6.3 RQ3: Comparing the Multi-objective Optimization Algorithms -- 7 Related Work -- 8 Conclusion -- References -- A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Availability of Artifacts -- 1 Introduction -- 2 Background -- 2.1 Real-Time Operating System (RTOS) -- 2.2 Uppaal -- 3 Model Design -- 3.1 Naming Convention -- 3.2 The Kernel Interface -- 3.3 The Operating System -- 3.4 Simple Application Modeling -- 4 Requirements and Verification -- 4.1 Composition Requirements -- 4.2 OS Requirements -- 4.3 Verifying the Requirements -- 4.4 OS Model Verification -- 5 Analysis and Evaluation -- 5.1 Compositional Approach to Deriving the Minimal Configuration -- 5.2 Scalability: Resource Consumption for Verification -- 5.3 Sufficiency of 4-1-2-2 Configuration for our OS Model -- 6 Related Work -- 7 Conclusions and Future Work -- References -- Compositional Automata Learning of Synchronous Systems -- 1 Introduction -- 2 Preliminaries -- 2.1 L∗ algorithm -- 3 Learning Synchronous Components Compositionally -- 3.1 Query Adapter -- 3.2 L∗ extensions. , 3.3 Correctness -- 4 Experiments -- 4.1 Random Systems -- 4.2 Realistic Systems -- 5 Related Work -- 6 Conclusion -- References -- Concolic Testing of Front-end JavaScript -- 1 Introduction -- 2 Background -- 2.1 Front-end JavaScript Testing Frameworks -- 2.2 In-situ Concolic Testing of Backend JavaScript -- 3 Approach -- 3.1 Overview -- 3.2 Concolic Testing of JS Web Function within Execution Context -- 4 Implementations -- 4.1 Implementation on Puppeteer -- 4.2 Implementation on Jest with React Testing Library -- 5 Evaluations -- 5.1 Evaluation of Puppeteer Implementation on Github Projects -- 5.2 Evaluation of Jest Implementation on Metamask -- 6 Related Work -- 7 Conclusions -- Acknowledgements. -- References -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- 1 Introduction -- 2 Related Work -- 3 Considered Quality Attributes -- 4 Motivating Scenario -- 5 MANILA Approach -- 5.1 Extended Feature Model -- 5.2 Features Selection -- 5.3 Experiment generation -- 5.4 Experiment Execution -- 6 Proof of Concept -- 7 Threats to Validity -- 8 Conclusion and Future Work -- References -- Efficient Bounded Exhaustive Input Generation from Program APIs -- 1 Introduction -- 2 A Motivating Example -- 3 Bounded Exhaustive Generation from Program APIs -- 3.1 Scope Definition -- 3.2 State Matching -- 3.3 Builders Identification Approach -- 3.4 The BEAPI Approach -- 4 Evaluation -- 4.1 RQ1: Efficiency of Bounded Exhaustive Generation from APIs -- 4.2 RQ2: Impact of BEAPI's Optimizations -- 4.3 RQ3: Analysis of Specifications using BEAPI -- 5 Related Work -- 6 Conclusions -- Acknowledgements -- References -- Feature-Guided Analysis of Neural Networks -- 1 Introduction -- 2 Extracting Feature Representations -- 3 Feature-Guided Analyses -- 4 Case Studies -- 4.1 Center-line Tracking with TaxiNet. , 4.2 Object Detection with YOLOv4-Tiny -- 4.3 Challenges and Mitigations -- 5 Related Work -- 6 Conclusion -- References -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- 1 Introduction -- 2 Related Work -- 3 JavaBIP and Verification Annotations -- 4 Architecture of Verified JavaBIP -- 5 Implementation of Verified JavaBIP -- 6 VerifyThis Casino and Verified JavaBIP -- 7 Conclusions and Future Work -- References -- Model-based Player Experience Testing with Emotion Pattern Verification -- 1 Introduction -- 2 Preliminaries -- 2.1 Computational Model of Emotions -- 2.2 Model-based Testing with EFSM -- 3 PX Testing Framework -- 4 Methodology -- 4.1 Test Suite Generation -- 4.2 Test Suite Diversity -- 4.3 Emotion Patterns' Requirements and Heat-maps -- 4.4 PX Framework Implementation -- 5 Case Study -- 5.1 Experiment Configuration -- 5.2 PX Testing Evaluation -- 5.3 Mutation Testing Evaluation -- 6 Related Work -- 7 Conclusion & -- Future work -- References -- Opportunistic Monitoring of Multithreaded Programs -- 1 Introduction -- 2 Modeling the Program Execution -- 3 Opportunistic Monitoring -- 3.1 Managing Dynamic Threads and Events -- 3.2 Scopes: Properties Over Concurrent Regions -- 3.3 Semantics for Evaluating Scopes -- 3.4 Communicating Verdicts and Monitoring -- 4 Preliminary Assessment of Overhead -- 4.1 Readers-Writers -- 4.2 Other Benchmarks -- 5 Related Work -- 6 Conclusion and Perspectives -- References -- Parallel Program Analysis via Range Splitting -- 1 Introduction -- 2 Background -- 2.1 Program Syntax and Semantics -- 2.2 Path Ordering, Execution Trees, and Ranges -- 2.3 Configurable Program Analysis -- 3 Composition of Ranged Analyses -- 3.1 Ranged Analysis -- 3.2 Range Reduction as CPA -- 3.3 Handling Underspecified Test Cases -- 4 Splitting -- 5 Implementation -- 6 Evaluation. , 6.1 Evaluation Setup -- 6.2 RQ 1: Composition of Ranged Analyses for Symbolic Execution -- 6.3 RQ 2: Composition of Ranged Analyses for Other Analyses -- 7 Related Work -- 8 Conclusion -- References -- Runtime Enforcement Using Knowledge Bases -- 1 Introduction -- 2 Preliminaries -- 3 A Scenario for Knowledge Based Guiding -- 4 Knowledge Guided Transition Systems -- 5 Well-Formedness and Optimization -- 6 (Semi-)Automatically Generated Mappings -- 7 Discussion -- 8 Related Work -- 9 Conclusion -- References -- Specification and Validation of Normative Rules for Autonomous Agents -- 1 Introduction -- 2 SLEECVAL: Notation, Components, and Architecture -- 3 Evaluation -- 4 Conclusion -- Acknowledgements -- References -- Towards Log Slicing -- 1 Introduction -- 2 Motivating Example -- 3 Log Slicing -- 4 An Illustration of Log Slicing -- 4.1 A Provisional Definition of Relevance -- 4.2 Applying Log Slicing -- 4.3 Limitations and Open Issues -- 5 Related Work -- 6 Conclusion -- Acknowledgments. -- References -- Vamos: Middleware for Best-Effort Third-Party Monitoring -- 1 Introduction -- 2 Architectural Overview -- 3 Efficient Instrumentation -- 3.1 Source Buffers and Stream Processors -- 3.2 Autodrop Buffers -- 4 Event Recognition, Ordering, and Prioritization -- 4.1 Arbiter Rules -- 4.2 Buffer Groups -- 5 Implementation -- 5.1 Source Buffers and Event Sources -- 5.2 The Vamos Compiler and the TeSSLa Connector -- 6 Evaluation -- 6.1 Scalability Tests -- 6.2 Primes -- 6.3 Bank -- 6.4 Case Study: Data Race Detection -- 7 Related Work -- 8 Conclusion -- References -- Yet Another Model! A Study on Model's Similarities for Defect and Code Smells -- 1 Introduction -- 2 Background -- 2.1 Defects -- 2.2 Code Smells -- 3 Study Design -- 3.1 Research Questions -- 3.2 Data -- 3.3 Quality Attributes -- 3.4 Machine Learning -- 4 Results -- 4.1 Predictive Capacity. , 4.2 Explaining the Models -- 5 Threats to Validity -- 6 Related Work -- 7 Conclusion -- References -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- 1 Introduction -- 2 Definitions, Formats, and Rules -- 3 Categories and Scoring Schema -- 4 Reproducibility -- 5 Results and Discussion -- 6 Conclusion -- References -- FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation -- 1 Introduction -- 2 Interval Analysis and Methods for Test Case Generation -- 3 Strengths andWeaknesses -- 4 Tool Setup and Configuration -- 5 Software Project -- 6 Data-Availability Statement -- Acknowledgment -- References -- Correction to: Feature-Guided Analysis of Neural Networks -- Correction to: Chapter "Feature-Guided Analysis of Neural Networks" in: L. Lambers and S. Uchitel (Eds.): Fundamental Approaches to Software Engineering, LNCS 13991, https://doi.org/10.1007/978-3-031-30826-0_7 -- Author Index.

Additional Edition: Print version: Lambers, Leen Fundamental Approaches to Software Engineering Cham : Springer International Publishing AG,c2023 ISBN 9783031308253

Language: English

Keywords: Electronic books.

URL: Click to View