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.
Saved in:
Superior document: | Lecture Notes in Computer Science Series ; v.13991 |
---|---|
: | |
TeilnehmendeR: | |
Place / Publishing House: | Cham : : Springer International Publishing AG,, 2023. ©2023. |
Year of Publication: | 2023 |
Edition: | 1st ed. |
Language: | English |
Series: | Lecture Notes in Computer Science Series
|
Online Access: | |
Physical Description: | 1 online resource (344 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 10323nam a22004573i 4500 | ||
---|---|---|---|
001 | 5007240888 | ||
003 | MiAaPQ | ||
005 | 20240229073848.0 | ||
006 | m o d | | ||
007 | cr cnu|||||||| | ||
008 | 240229s2023 xx o ||||0 eng d | ||
020 | |a 9783031308260 |q (electronic bk.) | ||
020 | |z 9783031308253 | ||
035 | |a (MiAaPQ)5007240888 | ||
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 & -- 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, 2024. 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/oeawat/detail.action?docID=7240888 |z Click to View |