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

AvDirk Beyer,Ana Cavalcanti

Häftad, Engelska, 2024

Del 14573 i serien Lecture Notes in Computer Science

459 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2024-04-06
Mått:155 x 235 x 19 mm
Vikt:528 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:332
Upplaga:2024
Förlag:Springer International Publishing AG
ISBN:9783031572586

Utforska kategorier

Innehållsförteckning

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

Du kanske också är intresserad av

Nyhet

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Del 14573

Für immer und dich. Songtexte

Rio Reiser

Häftad, 2024

125 kr

Practice of Formal Methods

James Baxter, Ana Cavalcanti

E-bok

2024

1 806 kr

Critical Systems: Formal Methods and Automated Verification

Ana Cavalcanti, Cristina Seceleanu, Laure Petrucci

E-bok

2017

739 kr

Software Engineering for Robotics

Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock

Inbunden, 2021

1 326 kr

Software Engineering for Robotics

Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock

Häftad, 2022

1 326 kr

Del 10471

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti

Häftad, 2017

572 kr

Theoretical Aspects of Computing - ICTAC 2006

Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone

Häftad, 2006

572 kr

Formal Methods and Software Engineering

Karin Breitman, Ana Cavalcanti

Häftad, 2009

1 138 kr

Theoretical Aspects of Computing

Jim Woodcock, Marie-Claude Gaudel, David Deharbe, Ana Cavalcanti

E-bok

2010

732 kr

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

AvDirk Beyer,Ana Cavalcanti

Häftad, Engelska, 2024

Del 14573 i serien Lecture Notes in Computer Science

459 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2024-04-06
Mått:155 x 235 x 19 mm
Vikt:528 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:332
Upplaga:2024
Förlag:Springer International Publishing AG
ISBN:9783031572586

Utforska kategorier

Innehållsförteckning

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