東華大學圖書館 |

Fundamental approaches to software engineering = 27th 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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Fundamental approaches to software engineering/ edited by Dirk Beyer, Ana Cavalcanti.
Reminder of title:	27th 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 /
remainder title:	FASE 2024
other author:	Beyer, Dirk.
corporate name:	FASE (Conference)
Published:	Cham :Springer Nature Switzerland : : 2024.,
Description:	xiv, 332 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	From 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)
Contained By:	Springer Nature eBook
Subject:	Software engineering - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-031-57259-3
ISBN:	9783031572593

Fundamental approaches to software engineering = 27th 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 /
Fundamental approaches to software engineering27th 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 /[electronic resource] :FASE 2024edited by Dirk Beyer, Ana Cavalcanti. - Cham :Springer Nature Switzerland :2024. - xiv, 332 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,145731611-3349 ;. - Lecture notes in computer science ;14573..

From 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)

Open access.

This 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.

ISBN: 9783031572593

Standard No.: 10.1007/978-3-031-57259-3doiSubjects--Topical Terms:

696781
Software engineering
--Congresses.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Fundamental approaches to software engineering = 27th 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 /
LDR:03487nmm a2200373 a 4500 001 2369831
003 DE-He213
005 20240406124740.0
006 m d
007 cr nn 008maaau
008 241127s2024 sz s 0 eng d
020 $a 9783031572593 $q (electronic bk.)
020 $a 9783031572586 $q (paper)
024 7 $a 10.1007/978-3-031-57259-3 $2 doi
035 $a 978-3-031-57259-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .F248 2024
111 2 $a FASE (Conference) $n (27th : $d 2024 : $c Luxembourg, Luxembourg) $3 3714786
245 1 0 $a Fundamental approaches to software engineering $h [electronic resource] : $b 27th 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 / $c edited by Dirk Beyer, Ana Cavalcanti.
246 3 $a FASE 2024
246 3 $a ETAPS 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a xiv, 332 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 14573
505 0 $a From 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 $a Open access.
520 $a This 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 $a Software engineering $x Congresses. $3 696781
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Operating Systems. $3 892491
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Control Structures and Microprogramming. $3 895886
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Natural Language Processing (NLP) $3 3381674
700 1 $a Beyer, Dirk. $3 1066180
700 1 $a Cavalcanti, Ana. $3 1244946
710 2 $a SpringerLink (Online service) $3 836513
711 2 $a ETAPS (Conference) $n (27th : $d 2024 : $c Luxembourg, Luxembourg) $3 3714778
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14573. $3 3714787
856 4 0 $u https://doi.org/10.1007/978-3-031-57259-3
950 $a Computer Science (SpringerNature-11645)