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 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 / / edited by Dirk Beyer, Ana Cavalcanti.

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

Full description

Saved in:
Bibliographic Details
Superior document:Lecture Notes in Computer Science, 14573
:
Beyer, Dirk.
TeilnehmendeR:
Cavalcanti, Ana.
Place / Publishing House:Cham : : Springer Nature Switzerland :, Imprint: Springer,, 2024.
Year of Publication:2024
Edition:1st ed. 2024.
Language:English
Series:Lecture Notes in Computer Science, 14573
Physical Description:1 online resource (346 pages)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993663698804498
ctrlnum (CKB)31435292500041
(MiAaPQ)EBC31281879
(Au-PeEL)EBL31281879
(DE-He213)978-3-031-57259-3
(OCoLC)1429288556
(EXLCZ)9931435292500041
collection bib_alma
record_format marc
spelling Beyer, Dirk.
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 / edited by Dirk Beyer, Ana Cavalcanti.
1st ed. 2024.
Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
1 online resource (346 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Lecture Notes in Computer Science, 1611-3349 ; 14573
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. .
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
Software engineering.
Operating systems (Computers).
Computer science.
Microprogramming.
Computer systems.
Natural language processing (Computer science).
Software Engineering.
Operating Systems.
Theory of Computation.
Control Structures and Microprogramming.
Computer System Implementation.
Natural Language Processing (NLP).
Cavalcanti, Ana.
3-031-57258-0
language English
format eBook
author Beyer, Dirk.
spellingShingle Beyer, Dirk.
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 /
Lecture Notes in Computer Science,
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).
author_facet Beyer, Dirk.
Cavalcanti, Ana.
author_variant d b db
author2 Cavalcanti, Ana.
author2_variant a c ac
author2_role TeilnehmendeR
author_sort Beyer, Dirk.
title 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 /
title_sub 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 /
title_full 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 / edited by Dirk Beyer, Ana Cavalcanti.
title_fullStr 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 / edited by Dirk Beyer, Ana Cavalcanti.
title_full_unstemmed 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 / edited by Dirk Beyer, Ana Cavalcanti.
title_auth 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 /
title_new Fundamental Approaches to Software Engineering :
title_sort 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 /
series Lecture Notes in Computer Science,
series2 Lecture Notes in Computer Science,
publisher Springer Nature Switzerland : Imprint: Springer,
publishDate 2024
physical 1 online resource (346 pages)
edition 1st ed. 2024.
contents 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).
isbn 3-031-57259-9
3-031-57258-0
issn 1611-3349 ;
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.758
illustrated Not Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 005 - Computer programming, programs & data
dewey-full 005.1
dewey-sort 15.1
dewey-raw 005.1
dewey-search 005.1
oclc_num 1429288556
work_keys_str_mv AT beyerdirk fundamentalapproachestosoftwareengineering27thinternationalconferencefase2024heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2024luxembourgcityluxembourgapril6112024proceedings
AT cavalcantiana fundamentalapproachestosoftwareengineering27thinternationalconferencefase2024heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2024luxembourgcityluxembourgapril6112024proceedings
status_str n
ids_txt_mv (CKB)31435292500041
(MiAaPQ)EBC31281879
(Au-PeEL)EBL31281879
(DE-He213)978-3-031-57259-3
(OCoLC)1429288556
(EXLCZ)9931435292500041
carrierType_str_mv cr
hierarchy_parent_title Lecture Notes in Computer Science, 14573
hierarchy_sequence 14573
is_hierarchy_title 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 /
container_title Lecture Notes in Computer Science, 14573
author2_original_writing_str_mv noLinkedField
_version_ 1801899439133032448
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04612nam a22006255i 4500</leader><controlfield tag="001">993663698804498</controlfield><controlfield tag="005">20240406124740.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr |||||||||||</controlfield><controlfield tag="008">240405s2024 sz | o |||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-031-57259-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-57259-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)31435292500041</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC31281879</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL31281879</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)978-3-031-57259-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1429288556</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)9931435292500041</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.758</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UMZ</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM051230</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UMZ</subfield><subfield code="2">thema</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Beyer, Dirk.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamental Approaches to Software Engineering :</subfield><subfield code="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 /</subfield><subfield code="c">edited by Dirk Beyer, Ana Cavalcanti.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2024.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer Nature Switzerland :</subfield><subfield code="b">Imprint: Springer,</subfield><subfield code="c">2024.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (346 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science,</subfield><subfield code="x">1611-3349 ;</subfield><subfield code="v">14573</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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. .</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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).</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">Open Access</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Operating systems (Computers).</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Microprogramming.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer systems.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Natural language processing (Computer science).</subfield></datafield><datafield tag="650" ind1="1" ind2="4"><subfield code="a">Software Engineering.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Operating Systems.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Theory of Computation.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Control Structures and Microprogramming.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Computer System Implementation.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Natural Language Processing (NLP).</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cavalcanti, Ana.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-031-57258-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science,</subfield><subfield code="x">1611-3349 ;</subfield><subfield code="v">14573</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-06-15 03:31:53 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2024-04-15 19:19:14 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5355024500004498&amp;Force_direct=true</subfield><subfield code="Z">5355024500004498</subfield><subfield code="b">Available</subfield><subfield code="8">5355024500004498</subfield></datafield></record></collection>

Similar Items