Obálka

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

Zobrazit další vydání (2)

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. Th...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: SpringerLink (Online service)
Další autoři: Johnsen, Einar Broch (Editor), Wimmer, Manuel (Editor)
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Cham : Springer International Publishing : Imprint: Springer, 2022.
Vydání:1st ed. 2022.
Edice:Lecture Notes in Computer Science, 13241
Témata:
Software engineering.
Computer science.
Microprogramming .
Computer systems.
Programming languages (Electronic computers).
Natural language processing (Computer science).
Software Engineering.
Theory of Computation.
Control Structures and Microprogramming.
Computer System Implementation.
Programming Language.
Natural Language Processing (NLP).
On-line přístup:Link to Metadata
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • FASE Contributions
  • Information-flow Interfaces
  • A Survey-Based Feature Model for Software Traceability
  • Construction of Veri er Combinations Based on Off-the-Shelf Verifiers
  • On the Detection of Doped Software by Falsification
  • Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing
  • Quantitative Program Sketching using Lifted Static Analysis
  • SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning
  • Finding Semantic Bugs Fast
  • SMC4PEP: Stochastic Model Checking of Product Engineering Processes
  • Symbolic Predictive Cache Analysis for Out-of-Order Execution
  • PEQtest: Testing Functional Equivalence
  • An Institutional Approach to Communicating UML State Machines
  • Semantic Code Search in Software Repositories using Neural Machine Translation
  • AequeVox: Automated Fairness Testing of Speech Recognition Systems
  • SMT-Based Planning Synthesis for Distributed System Reconfigurations
  • Semantic Clone Detection via Probabilistic Software Modeling
  • QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants
  • Test-Comp Contributions
  • Advances in Automatic Software Testing: Test-Comp 2022
  • FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution)
  • VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).

Podobné jednotky