Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The confe...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Netherlands
Springer Nature
2021
Springer International Publishing AG |
| Edition: | 1 |
| Series: | Lecture Notes in Computer Science; Theoretical Computer Science and General Issues |
| Subjects: | |
| ISBN: | 3030715000, 9783030715007, 3030714993, 9783030714994 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions. |
|---|---|
| AbstractList | This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions. |
| Author | Guerra, Esther Stoelinga, Mariëlle |
| Author_xml | – sequence: 1 fullname: Guerra, Esther – sequence: 2 fullname: Stoelinga, Mariëlle |
| BookMark | eNpNkEtLw0AQx1d8oK3Fs3gJXjyl7iObzQoeamhVKPageF0mySaNprtxkyJ-e7fGQxmYmT-_eTEjdGSs0QhdEjwlGItbKZKQhZjhUBCOvT9AI-bln8KH--IEXazSl7uA0Cji3hJyiiZd9-ER5ZhQws7QdLE1BWy06aEJZm3rLORr3QW9DV5t2X-D08HcVLXR2tWmOkfHJTSdnvzHMXpfzN_Sp3C5enxOZ8sQGCMJDrmMCyk0CMw1LzImCpYAYFrmHkc5pbJMMiJyTbmmrCi4zLDOdcxAxjSWwMboZhjsL_ra6q5XOrP2M_eHOmjU_CGNOWVUCF95P1RaaLVRras34H6UhVo1deaGfEesqxTFyn9GERpzoaKEkl3_1X5_YWG3qFOxkER6ej3QHDpoalOrjTW2ctCuO8Uj6p_N2S-7u3Yx |
| ContentType | eBook |
| DBID | I4C V1H A7I |
| DEWEY | 005 |
| DOI | 10.1007/978-3-030-71500-7 |
| DatabaseName | Casalini Torrossa eBooks Institutional Catalogue DOAB: Directory of Open Access Books OAPEN |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: V1H name: DOAB: Directory of Open Access Books url: https://directory.doabooks.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3030715000 9783030715007 |
| Edition | 1 |
| Editor | Guerra, Esther Stoelinga, Mariëlle |
| Editor_xml | – sequence: 1 fullname: Guerra, Esther – sequence: 2 fullname: Stoelinga, Mariëlle |
| ExternalDocumentID | EBC6523277 oai_library_oapen_org_20_500_12657_48217 67919 5420305 |
| GroupedDBID | 38. A7I AABBV AABLV AAKKN AAQKC AAXZC AAYZJ ABNDO ACNBG ACWLQ ADOGT AEDXK AEKFX AELOD AFNRJ AIQUZ AKAAH ALMA_UNASSIGNED_HOLDINGS BAHJK BBABE DBWEY I4C IEZ OCUHQ ORHYB SBO TGIZN TPJZQ TSXQS V1H Z7R Z7S Z7U Z7V Z7W Z7X Z7Y Z7Z Z81 Z82 Z83 Z84 Z85 Z87 Z88 AALJR ABEEZ AEJLV AGWHU ALNDD CZZ EIXGO Z5O |
| ID | FETCH-LOGICAL-a33180-596d97ea705e5db37d38aa02fc3184c229f8b17ce25e23dd59b0ece63a96269a3 |
| IEDL.DBID | A7I |
| ISBN | 3030715000 9783030715007 3030714993 9783030714994 |
| IngestDate | Fri May 30 22:20:24 EDT 2025 Mon Dec 01 21:29:36 EST 2025 Tue Oct 07 22:03:48 EDT 2025 Tue Nov 14 22:55:30 EST 2023 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | Q |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a33180-596d97ea705e5db37d38aa02fc3184c229f8b17ce25e23dd59b0ece63a96269a3 |
| OCLC | OCN: 1244545481 1244545481 |
| OpenAccessLink | https://library.oapen.org/handle/20.500.12657/48217 |
| PQID | EBC6523277 |
| PageCount | 373 |
| ParticipantIDs | proquest_ebookcentral_EBC6523277 oapen_primary_oai_library_oapen_org_20_500_12657_48217 oapen_doabooks_67919 casalini_monographs_5420305 |
| PublicationCentury | 2000 |
| PublicationDate | 2021 |
| PublicationDateYYYYMMDD | 2021-01-01 |
| PublicationDate_xml | – year: 2021 text: 2021 |
| PublicationDecade | 2020 |
| PublicationPlace | Netherlands |
| PublicationPlace_xml | – name: Netherlands – name: Cham |
| PublicationSeriesTitle | Lecture Notes in Computer Science; Theoretical Computer Science and General Issues |
| PublicationYear | 2021 |
| Publisher | Springer Nature Springer International Publishing AG |
| Publisher_xml | – name: Springer Nature – name: Springer International Publishing AG |
| SSID | ssj0002501213 |
| Score | 2.1977267 |
| Snippet | This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took... |
| SourceID | proquest oapen casalini |
| SourceType | Publisher |
| SubjectTerms | Algorithms & data structures architecture verification and validation Artificial intelligence Computer programming / software engineering Computer programming, programs, data Computer science Computing and Information Technology Data Structures and Information Theory embedded systems empirical software validation formal logic formal methods Information theory Mathematical theory of computation model checking model-driven software engineering Natural language & machine translation Natural Language Processing (NLP) object-oriented programming Operating systems parallel processing systems program analysis program compilers Programming Techniques signal processing software architecture Software Engineering Software Engineering/Programming and Operating Systems software performance software selection and adaptation software testing and debugging telecommunication systems Theory of Computation verification |
| Subtitle | 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings |
| TableOfContents | 2 Method -- 2.1 Overall Design -- 2.2 The Oracle -- 2.3 The Mutator -- 2.4 The Fuzzer -- 3 Evaluation -- 3.1 Test Setting -- 3.2 Experiment Result -- 3.3 Threats to Validity -- 4 Related Work -- 5 Conclusion -- Acknowledgments -- References -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- 1 Introduction -- 2 Related Work: Proactive Adaptation -- 3 Background: Statistical Model Checking (SMC) -- 4 Illustrative Example -- 5 Proactive Adaptation Based on Statistical Model Checking -- 5.1 PASTA overview -- 5.2 Knowledge -- 5.3 Monitoring Environmental Changes -- 5.4 Forecasting Future Environmental Change -- 5.5 Planning Adaptation Using SMC -- 5.6 Executing Adaptation -- 5.7 PASTA Implementation -- 6 Evaluation -- 6.1 Research Questions -- 6.2 Evaluation Setup -- 6.3 Evaluation Results -- 7 Threats to Validity -- 8 Conclusion -- Acknowledgement -- References -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- 1 Introduction -- 2 Background: DNN Testing -- 3 Methodology -- 3.1 Terminology -- 3.2 Data Collection -- 3.3 Classifying Robust vs. Weak Points -- 4 Experimental Design -- 4.1 Study Subjects -- 4.2 Evaluation -- 5 Results -- 6 Related Work -- 7 Threats to Validity -- 8 Conclusion and Future Work -- 9 Acknowledgement -- References -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- 1 Introduction -- 2 Definitions, Formats, and Rules -- 3 Categories and Scoring Schema -- 4 Reproducibility -- 5 Results and Discussion -- 6 Conclusion -- References -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- 1 Test-Generation Approach -- 2 Tool Architecture -- 3 Strengths and Weaknesses -- 4 Setup -- 5 Project and Contributors -- References Intro -- ETAPS Foreword -- Preface -- Organization -- Contents -- FASE Contributions -- On Benchmarking forConcurrent Runtime Verification -- 1 Introduction -- 2 Benchmark Design and Implementation -- 2.1 Approach -- 2.2 Realisability -- 2.3 Measurement Collection -- 3 Evaluation -- 3.1 Benchmark Expressiveness and Veracity -- 3.2 Case Study -- 4 Conclusion -- Reference -- Certified Abstract Cost Analysis -- 1 Introduction -- 2 QAE by Example -- 3 (Quantitative) Abstract Execution -- 3.1 Abstract Execution with Abstract Cost -- 3.2 Cost of Abstract Programs -- 3.3 Proving Quantitative Properties with QAE -- 4 Abstract Cost Analysis -- 4.1 Inference of Abstract Cost Relations -- 4.2 From ACRS to Abstract Cost Invariants -- 4.3 From Cost Invariants to Postconditions -- 5 Experimental Evaluation -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Bootstrapping Automated Testing for RESTful Web Services -- 1 Introduction -- 2 Motivation -- 3 FET Techniques -- 3.1 Type Lattice -- 3.2 FET Lattice -- 3.3 FET Inference -- 4 FET-enhanced REST Fuzzing -- 4.1 Collecting and Parsing HTTP Traffic -- 4.2 Ubiquitous FET Lattice -- 4.3 FET-aware Trace-driven Fuzzing -- 5 Evaluation -- 5.1 FET Inference Accuracy Evaluation -- 5.2 Leif Effectiveness Evaluation -- 5.3 Comparative Evaluation -- 6 Related Work -- 7 Conclusion and Future Work -- Acknowledgments -- References -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- 1 Introduction -- 2 Motivating Example -- 3 A Language for Program Families -- 4 Lifted Analysis based on Tuples -- 5 Lifted Analysis based on Decision Trees -- 6 Evaluation -- 7 Related Work -- 8 Conclusion -- References -- Finding a Universal Execution Strategy for Model Transformation Networks -- 1 Introduction -- 2 Problem Statement -- 2.1 Motivating Example -- 2.2 Context Paracosm: A Test Framework for Autonomous Driving Simulations -- 1 Introduction -- 2 Paracosm through Examples -- 3 Systematic Testing of Paracosm Worlds -- 3.1 Test Inputs and Coverage -- 3.2 Test Generation -- 4 Implementation and Tests -- 4.1 Runtime System and Implementation -- 4.2 Evaluation -- 4.3 Case Studies -- 4.4 Results and Analysis -- 4.5 Threats to Validity -- 5 Related Work -- 6 Future Work and Conclusion -- Acknowledgements -- References -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- 1 Introduction -- 2 Running Example -- 3 Preliminaries -- 4 Decomposition of Large-Scale Topologies -- 5 Overapproximation of Behavior -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Effcient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- 1 Introduction -- 2 A Motivating Example -- 3 Tight Field Bounds -- 4 A Technique for Nondeterministic Generation of Dynamic Structures -- 4.1 Computing Tight Field Bounds -- 5 Evaluation -- 6 Related Work -- 7 Conclusions -- References -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- 1 Introduction -- 2 Background and Motivation -- 2.1 Intermediate Representation -- 2.2 Static modeling of libraries -- 2.3 Heap Abstraction -- 3 Methodology -- 3.1 Metrics Used -- 4 Evaluation -- 4.1 RQ1: Class hierarchy differences with benchmarks -- 4.2 RQ2: Precision differences with class hierarchy -- 4.3 RQ3: Precision for IR varies with the framework -- 4.4 RQ4: Heap abstractions in pointer analysis frameworks -- 5 Threats to Validity -- 6 Related Work -- 7 Conclusion -- References -- Keeping Pace with the History of Evolving Runtime Models -- 1 Introduction to InTempo -- 2 RTMнAnalysis -- 3 LogAnalysis -- 4 Conclusion and Future Work -- References -- SpecTest: Specification-Based Compiler Testing -- 1 Introduction FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- 1 Test Generation Approach -- 2 Strengths and Weaknesses -- 3 Tool Setup and Configuration -- 4 Software Project -- References -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution) -- 1 Test-Generation Approach -- 1.1 Workflow of Symbiotic 8 -- 2 Software Architecture -- 3 Strengths and Weaknesses -- 4 Tool Setup and Configuration -- 5 Software Project and Contributors -- References -- Author Index 2.3 Formalisation -- 3 Related Work -- 4 Design Space -- 4.1 One Execution per Transformation -- 4.2 Unlimited Executions -- 5 Proposed Strategy -- 5.1 Execution Order: Providing Explainability -- 5.2 Execution Bound: Reacting to Each Other -- 5.3 The Explanatory Strategy -- 6 Conclusion -- References -- CoVEGI: Cooperative Verification via Externally Generated Invariants -- 1 Introduction -- 2 Fundamentals -- 3 Concept -- 3.1 Components of the CoVEGI-Framework -- 3.2 Cooperation within CoVEGI -- 3.3 Witness Injection -- 3.4 Adapter for LLVM-based Helper Invariant Generators -- 4 Evaluation -- 4.1 Research Questions -- 4.2 Experimental Setup -- 4.3 Experimental Results -- 4.4 Threads to Validity -- 5 Related work -- 6 Conclusion -- References -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- 1 Introduction -- 2 Background -- 2.1 Running Example -- 2.2 Bayesian Game Theory -- 3 Self-Adaptive Framework Incorporating Bayesian Game Theory -- 4 Bayesian Game Through Model Transformation -- 4.1 Analysis Results for Znn.com Example -- 5 Evaluation - Routing Games -- 5.1 Game Definition for Interdomain Routing -- 5.2 Dynamic Programming Algorithm -- 5.3 Experiment Setup & -- Results -- 6 Related Work -- 7 Conclusion and Future Work -- Acknowledgements -- References -- An Abstract Contract Theory for Programs with Procedures -- 1 Introduction -- 2 Contract Based Design -- 2.1 Contract Based Design of Cyber-Physical Systems -- 2.2 A Contract Meta-Theory -- 3 Denotational Semantics of Programs and Contracts -- 3.1 The Denotational Semantics of Programs with Procedures -- 3.2 Hoare Logic and Contracts -- 4 An Abstract Contract Theory -- 4.1 Components -- 4.2 Denotational Contracts -- 5 Connection to Meta-Theory -- 6 Connection to Programs with Procedures -- 7 Conclusion -- References |
| Title | Fundamental Approaches to Software Engineering |
| URI | http://digital.casalini.it/9783030715007 https://directory.doabooks.org/handle/20.500.12854/67919 https://library.oapen.org/handle/20.500.12657/48217 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=6523277 |
| Volume | 12649 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8QwEB7U9eBpfWJ90YPXLG2aNM1RZZf1sgiKeAtpkoKXrWxX_fvOpF0VvAml0Ay04etMMpNkvgG4lkJ5dHwDq1zpmWhkwyrZCCZdrZV0WVYHEYtNqMWiennRD0Med_ezdjFpLUbzcSe_ZxvAIH0iMyJDKDGEFxV60tswKjnXpNY36v57YQXndKIpozwOUuCcGP97pp3vZ7XZ3hwYZguGEhZFjAqXOdtZykukIkjUjz_jdJx8ZuN_dXsfRoHyGA5gKywPYbyp3pAOxnwEkxklgfTc_unNQC0eunTdpo84Nn_aVUh_sRUew_Ns-nQ3Z0P1BGYLNNSMSV16rYJVmQzS14XyRWVtxhuHYuEQuqaqc-UCl4EX3ktdZ8GFsrAaoxxtixPYWbbLcAqpyLV36HoVIuClcttU6EbVMq_oW7lK4HyDmUHr6cm2OyMFp_EkgaOIi_GtpdChM6XSuU6g7Jvfel4NQ0zXA5CmlyCQhmcGETQRQRMRTCDd_A4Tt5SHc6xmentXYmDNlTr777vPYY_TqZW4yHIBO-vVe7iEXfexfu1WV1HT8P6cz78AFePOCQ |
| linkProvider | Open Access Publishing in European Networks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Fundamental+Approaches+to+Software+Engineering&rft.date=2021-01-01&rft.pub=Springer+Nature&rft.isbn=9783030715007&rft_id=info:doi/10.1007%2F978-3-030-71500-7&rft.externalDocID=5420305 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030715007/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030715007/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030715007/sc.gif&client=summon&freeimage=true |