Cover Image

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings.

Bibliographic Details
Main Author: Lambers, Leen.
Other Authors: Uchitel, Sebastián.
Format: eBook
Language:English
Published: Cham : Springer International Publishing AG, 2023.
Edition:1st ed.
Series:Lecture Notes in Computer Science Series
Subjects:
Electronic books.
Online Access:Click to View
LEADER 10318nam a22004573i 4500
001 EBC7240888
003 MiAaPQ
005 20231204023228.0
006 m o d |
007 cr cnu||||||||
008 231204s2023 xx o ||||0 eng d
020 |a 9783031308260  |q (electronic bk.) 
020 |z 9783031308253 
035 |a (MiAaPQ)EBC7240888 
035 |a (Au-PeEL)EBL7240888 
035 |a (OCoLC)1377209873 
040 |a MiAaPQ  |b eng  |e rda  |e pn  |c MiAaPQ  |d MiAaPQ 
050 4 |a QA76.758 
100 1 |a Lambers, Leen. 
245 1 0 |a Fundamental Approaches to Software Engineering :  |b 26th International Conference, FASE 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. 
250 |a 1st ed. 
264 1 |a Cham :  |b Springer International Publishing AG,  |c 2023. 
264 4 |c ©2023. 
300 |a 1 online resource (344 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science Series ;  |v v.13991 
505 0 |a 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. 
505 8 |a 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. 
505 8 |a 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 &amp -- 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. 
505 8 |a 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. 
505 8 |a 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. 
588 |a Description based on publisher supplied metadata and other sources. 
590 |a Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2023. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.  
655 4 |a Electronic books. 
700 1 |a Uchitel, Sebastián. 
776 0 8 |i Print version:  |a Lambers, Leen  |t Fundamental Approaches to Software Engineering  |d Cham : Springer International Publishing AG,c2023  |z 9783031308253 
797 2 |a ProQuest (Firm) 
830 0 |a Lecture Notes in Computer Science Series 
856 4 0 |u https://ebookcentral.proquest.com/lib/matrademy/detail.action?docID=7240888  |z Click to View 

Similar Items