000 | 04668nam a22006495i 4500 | ||
---|---|---|---|
001 | 978-3-031-57259-3 | ||
003 | DE-He213 | ||
005 | 20240423130339.0 | ||
007 | cr nn 008mamaa | ||
008 | 240405s2024 sz | s |||| 0|eng d | ||
020 |
_a9783031572593 _9978-3-031-57259-3 |
||
024 | 7 |
_a10.1007/978-3-031-57259-3 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aFundamental Approaches to Software Engineering _h[electronic resource] : _b27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings / _cedited by Dirk Beyer, Ana Cavalcanti. |
250 | _a1st ed. 2024. | ||
264 | 1 |
_aCham : _bSpringer Nature Switzerland : _bImprint: Springer, _c2024. |
|
300 |
_aXIV, 332 p. 113 illus., 64 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v14573 |
|
505 | 0 | _aFrom Mechanized Semantics to Verified Compilation: The Clight Semantics of CompCert -- Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models -- Probabilistic Runtime Enforcement of Executable BPMN Processes -- Integrating Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems -- Formal Specification of Trusted Execution Environment APIs -- Monitoring the Future of Smart Contracts -- Comprehending Object State via Dynamic Class Invariant Learning -- Detection for Large-Scale Online Service Systems Using Multi-Channel Data -- Refinement Verification of OS Services based on a Verified Preemptive Microkernel -- Fuzzy quantitative attack tree analysis -- Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation -- Invariant-based Program Repair -- Can ChatGPT support software verification -- Combining Deductive Verification with Shape Analysis -- First Steps towards Deductive Verification of LLVM IR -- FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution) -- Fizzer: New Gray-Box Fuzzer (Competition Contribution) -- KLEEF: Symbolic Execution Engine (Competition Contribution) -- TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution) -- Ultimate TestGen: Test Case Generation with Automata-based Software Model Checking (Competition Contribution). | |
506 | 0 | _aOpen Access | |
520 | _aThis open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 2024 event that was hosted by FASE. They deal with the broad field of software engineering, focusing on requirements, design, architecture, modeling, applications of AI to software engineering and software engineering for AI-based systems, quality, model-driven engineering, processes, and software evolution. . | ||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aOperating systems (Computers). | |
650 | 0 | _aComputer science. | |
650 | 0 | _aMicroprogramming . | |
650 | 0 | _aComputer systems. | |
650 | 0 | _aNatural language processing (Computer science). | |
650 | 1 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aOperating Systems. |
650 | 2 | 4 | _aTheory of Computation. |
650 | 2 | 4 | _aControl Structures and Microprogramming. |
650 | 2 | 4 | _aComputer System Implementation. |
650 | 2 | 4 | _aNatural Language Processing (NLP). |
700 | 1 |
_aBeyer, Dirk. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aCavalcanti, Ana. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783031572586 |
776 | 0 | 8 |
_iPrinted edition: _z9783031572609 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v14573 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-57259-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-SOB | ||
942 | _cSPRINGER | ||
999 |
_c187607 _d187607 |