Fundamental Approaches to Software Engineering

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

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Engenharia do software
• Análise e projecto de sistemas
• Sistemas operacionais
• Teoria matemática da computação
• Hardware do computador
• Linguagem natural e tradução mecânica

software engineering;requirements;design;architecture;modeling;applications of AI to software engineering;software engineering of AI-based systems;software quality;model-driven engineering;processes;software evolution;open access