Fundamental Approaches to Software Engineering : (Record no. 309441)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 10289nam a22004693i 4500 |
| 001 - CONTROL NUMBER | |
| control field | EBC6941355 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240122001542.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d | |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cnu|||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 231124s2022 xx o ||||0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783030994297 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9783030994280 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (MiAaPQ)EBC6941355 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (Au-PeEL)EBL6941355 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1308973774 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | MiAaPQ |
| Language of cataloging | eng |
| Description conventions | rda |
| -- | pn |
| Transcribing agency | MiAaPQ |
| Modifying agency | MiAaPQ |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.758 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Johnsen, Einar Broch. |
| 245 10 - TITLE STATEMENT | |
| Title | Fundamental Approaches to Software Engineering : |
| Remainder of title | 25th International Conference, FASE 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer International Publishing AG, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2022. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Date of production, publication, distribution, manufacture, or copyright notice | �2022. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (357 pages) |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science Series ; |
| Volume/sequential designation | v.13241 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Intro -- ETAPS Foreword -- Preface -- Organization -- Contents -- FASE Contributions -- Information-flow Interfaces -- 1 Introduction -- 2 Application Example -- 3 Stateless Information-flow Interfaces -- 3.1 Composition and Incremental Design -- 3.2 Refinement and Independent Implementability -- 3.3 Discussion -- 4 Stateful Information-Flow Interfaces -- 5 Related Work -- 6 Conclusion -- References -- A Survey-driven Feature Model for Software Traceability Approaches -- 1 Introduction -- 2 State of the art of software traceability -- 3 Towards a common traceablility terminology -- 3.1 Traceability components -- 3.2 Traceability glossary -- 4 Traceability Survey method -- 4.1 Data source and search strategy -- 4.2 Pruning -- 4.3 Snowballing -- 4.4 Threats to validity in the selection process -- 5 A feature model to characterize software traceability -- 5.1 Introduction to feature modelling -- 5.2 Trace definition and representation -- 5.3 Trace identification -- 5.4 Trace management -- 6 Discussion -- 7 Conclusion -- References -- Construction of Verifier Combinations Based on Off-the-Shelf Verifiers -- 1 Introduction -- 2 Improving Verification by Verifier Combinations -- 3 Construction of Verifier Combinations with CoVeriTeam -- 3.1 Verifier Based on Sequential Portfolio -- 3.2 Verifier Based on Parallel Portfolios -- 3.3 Verifier Based on Algorithm Selection -- 3.4 Extensibility -- 4 Evaluation -- 4.1 Experimental Setup -- 4.2 Results of Existing Verifiers as Standalone -- 4.3 RQ 1: Evaluation of Sequential-Portfolio Verifier -- 4.4 RQ 2: Evaluation of Parallel-Portfolio Verifier -- 4.5 RQ 3: Evaluation of Algorithm Selection Verifier -- 4.6 Discussion -- 5 Threats to Validity -- 6 Related Work -- 7 Conclusion -- References -- On the Detection of Doped Software by Falsification -- 1 Introduction -- 2 Background -- 2.1 Temporal Logics. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 2.2 Software Doping -- 3 Logical characterisation for mixed IO -- 4 Diesel Emissions -- 5 Conclusion & -- Future Work -- References -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- 1 Introduction -- 2 Approach -- 2.1 Static analysis and instrumentation -- 2.2 Fuzzing loop -- 3 Experiments -- 4 Related Work -- 5 Conclusion and Future Work -- References -- Quantitative Program Sketching using Lifted Static Analysis -- 1 Introduction -- 2 Motivating Examples -- 3 Transforming Sketches to Program Families -- 4 Decision Tree-based Lifted Analyses -- 4.1 Abstract domain for decision nodes -- 4.2 Abstract domain for leaf nodes -- 4.3 Decision tree lifted domains -- 4.4 Decision tree-based lifted analysis -- 5 Synthesis Algorithm -- 6 Evaluation -- 7 Related Work -- 8 Conclusion -- References -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- 1 Introduction -- 1.1 SixthSense -- 1.2 Results -- 1.3 Contributions -- 2 Example -- 3 Overview -- 4 Learning Program Features -- 4.1 Extracting Features from Programs -- 4.2 Data Features -- 4.3 Runtime Features -- 5 Program Generation for Training Set Augmentation -- 5.1 Code Mutations -- 5.2 Data Mutations -- 5.3 Adaptive Algorithm for Mutant Generation -- 6 Methodology -- 6.1 Baselines, Metrics, and Classification -- 6.2 Evaluation Experimental Setup -- 7 Evaluation -- 7.1 Predicting Convergence of Inference -- 7.2 Debugging Non-Converging Programs -- 8 Sensitivity Analysis -- 9 Related Work -- 10 Conclusion -- References -- Finding Semantic Bugs Fast -- 1 Introduction -- 2 Validating Program Runs -- 2.1 Syntax -- 2.2 Validation Procedure -- 3 Checking/Verification -- 4 Examples -- 5 Conclusion and Related Work -- References -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- 1 Introduction. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 2 Related Tools -- 3 SMC4PEP Architecture andWorkflow -- 4 Case Studies -- 5 Conclusion -- References -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- 1 Introduction -- 2 Motivation -- 2.1 The Example Program -- 2.2 The Execution Order -- 2.3 The Cache State -- 2.4 The Side-channel Leak -- 3 Preliminaries -- 3.1 The Execution Model -- 3.2 The Cache Model -- 4 Analyzing the In-Order Execution -- 4.1 Computing the Dependencies -- 4.2 Computing the Default Cache States -- 5 Analyzing the Out-of-Order Executions -- 5.1 Symbolic Encoding -- 5.2 The Overall Algorithm -- 5.3 Optimizations of the Symbolic Encoding -- 6 Experiments -- 6.1 Benchmarks -- 6.2 Leakage Detection Results -- 6.3 Scalability Results -- 7 Related Work -- 8 Conclusions -- References -- PEQtest: Testing Functional Equivalence -- 1 Introduction -- 2 Background -- 3 Generating Test Programs with PEQtest -- 4 Evaluation -- 4.1 Experimental Setup -- 4.2 Experiments -- 5 Related Work -- 6 Conclusion -- References -- An Institutional Approach to Communicating UML State Machines -- 1 Introduction -- 2 Background on Institutions and Casl -- 2.1 Institutions and Theoroidal Institution Comorphisms -- 2.2 Casl and the Institution CFOL= -- 3 The Hybrid Modal LogicM#D for Event/Data Systems -- 3.1 Data States and Transitions -- 3.2 Events and Messages -- 3.2 Events/Data Signatures -- 3.4 Event/Data Structures -- 3.5 Event/Data Formul� and Sentences -- 3.6 Satisfaction Relation forM# -- 3.7 A Theoroidal Comorphism fromM#D to Casl -- 4 Simple UML State Machines with Outputs -- 5 Simple UML Composite Structures -- 6 Verification Example: Communication between User, ATM and Bank -- 7 Conclusion -- References -- Semantic Code Search in Software Repositories using Neural Machine Translation -- 1 Introduction -- 2 Related Work -- 3 Semantic Code Search using Machine Translation. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 3.1 Data Preprocessor -- 3.2 Neural Network -- 3.3 Index Builder -- 4 Evaluation -- 4.1 Evaluation using CodeSearchNet Queries -- 4.2 Evaluation using Stack Overflow Questions -- 5 Conclusion -- References -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- 1 Introduction -- 2 Background -- 3 Methodology -- 4 Datasets and Experimental Setup -- 5 Results -- 6 Threats to Validity -- 7 Related Work -- 8 Conclusion -- References -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- 1 Introduction -- 2 Reconfiguration With Concerto -- 3 Reconfiguration Script Synthesis -- 3.1 Determining Sequences of Component Behaviors -- 3.2 Assembly-Level Reconfiguration Scheduling -- 3.3 Determining Missing Behaviors -- 3.4 Relaxation of Synchronization Barriers -- 4 Experiments -- 4.1 Implementation -- 4.2 Results Over Synthetic Examples -- 4.3 OpenStack Use Case -- 5 Related work -- 6 Conclusion -- References -- Semantic Clone Detection via Probabilistic Software Modeling -- 1 Introduction -- 2 Background -- 2.1 Clone Detection -- 2.2 Programs & -- Code Elements -- 2.3 Probabilistic Software Modeling -- 3 Semantic Clones -- 4 Approach -- 4.1 Modeling -- 4.2 Search Space -- 4.3 Static Similarity -- 4.4 Dynamic Similarity -- 4.5 Model Similarity -- 5 Study -- 5.1 Setup -- 5.2 Dataset -- 5.3 Controlled Variables -- 5.4 Response Variables -- 5.5 Comparison of Clone Detectors -- 5.6 Experiment Results -- 6 Discussion -- 6.1 Research Question 1 - Detection Performance -- 6.2 Research Question 2 - Skip Evaluation Scalability -- 6.3 Research Question 3 - Skip Evaluation Effects -- 7 Limitations -- 8 Threats to Validity -- 9 Related Work -- 10 Conclusions and Future Work -- References -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- 1 Introduction -- 2 Architecture -- 3 Design -- 3.1 Query. |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 3.2 Concurrent Verification -- 4 Results -- 5 Conclusion -- References -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- 1 Introduction -- 2 Definitions, Formats, and Rules -- 3 Categories and Scoring Schema -- 4 Reproducibility -- 5 Results and Discussion -- 6 Conclusion -- References -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing -- 1 Overview -- 2 Test Generation Approach -- 3 Strengths and Weaknesses -- 4 Tool Setup and Configuration -- 5 Software Project -- References -- VeriFuzz: Good Seeds for Fuzzing -- 1 Introduction -- 1.1 Enhancement 1 : New Seed Generation Approach -- 1.2 Enhancement 2: Remedying A Stuck or Failed BMC -- 2 Tool Architecture and Flow -- 3 Strengths and Weaknesses -- 4 VeriFuzz Tool Configuration and Setup -- 5 Software Project and Contributors -- References -- Author Index. |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Description based on publisher supplied metadata and other sources. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | 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 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wimmer, Manuel. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Main entry heading | Johnsen, Einar Broch |
| Title | Fundamental Approaches to Software Engineering |
| Place, publisher, and date of publication | Cham : Springer International Publishing AG,c2022 |
| International Standard Book Number | 9783030994280 |
| 797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN) | |
| Corporate name or jurisdiction name as entry element | ProQuest (Firm) |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science Series |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=6941355">https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=6941355</a> |
| Public note | Click to View |
No items available.