Buchumschlag

A Systematic Literature Review on a Decade of Industrial TLA+ Practice

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bögli, Roman, Lerena, Leandro, Tsigkanos, Christos, Kehrer, Timo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding
von: Blattner, Timo, et al.
Veröffentlicht: (2024)

What is a Feature, Really? Toward a Unified Understanding Across SE Disciplines
von: Patkar, Nitish, et al.
Veröffentlicht: (2025)

Software Development Analytics in Practice: A Systematic Literature Review
von: Caldeira, Joao, et al.
Veröffentlicht: (2020)

SensoDat: Simulation-based Sensor Dataset of Self-driving Cars
von: Birchler, Christian, et al.
Veröffentlicht: (2024)

The Hidden Costs of Automation: An Empirical Study on GitHub Actions Workflow Maintenance
von: Valenzuela-Toledo, Pablo, et al.
Veröffentlicht: (2024)

A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction
von: Birchler, Christian, et al.
Veröffentlicht: (2024)

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
von: Läufer, Konstantin, et al.
Veröffentlicht: (2024)

Explaining GitHub Actions Failures with Large Language Models: Challenges, Insights, and Limitations
von: Valenzuela-Toledo, Pablo, et al.
Veröffentlicht: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
von: Cirstea, Horatiu, et al.
Veröffentlicht: (2024)

Do Research Software Engineers and Software Engineering Researchers Speak the Same Language?
von: Kehrer, Timo, et al.
Veröffentlicht: (2025)

Automating Code Review: A Systematic Literature Review
von: Tufano, Rosalia, et al.
Veröffentlicht: (2025)

Build Optimization: A Systematic Literature Review
von: Aïdasso, Henri, et al.
Veröffentlicht: (2025)

Leveraging Sustainable Systematic Literature Reviews
von: Santos, Vinicius dos, et al.
Veröffentlicht: (2025)

Adoption and Adaptation of CI/CD Practices in Very Small Software Development Entities: A Systematic Literature Review
von: Ccallo, Mario, et al.
Veröffentlicht: (2024)

A Systematic Literature Review on Neural Code Translation
von: Chen, Xiang, et al.
Veröffentlicht: (2025)

How does Simulation-based Testing for Self-driving Cars match Human Perception?
von: Birchler, Christian, et al.
Veröffentlicht: (2024)

Automated Test Production -- Systematic Literature Review
von: Gomes, José Marcos, et al.
Veröffentlicht: (2024)

A Systematic Literature Review of the Use of GenAI Assistants for Code Comprehension: Implications for Computing Education Research and Practice
von: Qiao, Yunhan, et al.
Veröffentlicht: (2025)

Modern Code Reviews -- Survey of Literature and Practice
von: Badampudi, Deepika, et al.
Veröffentlicht: (2024)

Another Systematic Review? A Critical Analysis of Systematic Literature Reviews on Agile Effort and Cost Estimation
von: Edison, Henry, et al.
Veröffentlicht: (2026)

Towards a Maturity Model for Systematic Literature Review Process
von: Santos, Vinicius dos, et al.
Veröffentlicht: (2022)

Software Architecture Meets LLMs: A Systematic Literature Review
von: Schmid, Larissa, et al.
Veröffentlicht: (2025)

Defining Self-adaptive Systems: A Systematic Literature Review
von: Petrovska, Ana, et al.
Veröffentlicht: (2025)

Energy Patterns for Web: An Exploratory Study
von: Rani, Pooja, et al.
Veröffentlicht: (2024)

The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review
von: Khedr, Mennatullah T., et al.
Veröffentlicht: (2025)

Carbon-Efficient Software Design and Development: A Systematic Literature Review
von: Danushi, Ornela, et al.
Veröffentlicht: (2024)

User Modeling in Model-Driven Engineering: A Systematic Literature Review
von: Conrardy, Aaron, et al.
Veröffentlicht: (2024)

Large Language Models for Unit Testing: A Systematic Literature Review
von: Zhang, Quanjun, et al.
Veröffentlicht: (2025)

Machine Learning Pipeline for Software Engineering: A Systematic Literature Review
von: Kansab, Samah
Veröffentlicht: (2025)

A Quality Assessment Instrument for Systematic Literature Reviews in Software Engineering
von: Usman, Muhammad, et al.
Veröffentlicht: (2021)

Data Mesh: a Systematic Gray Literature Review
von: Goedegebuure, Abel, et al.
Veröffentlicht: (2023)

Self-Admitted Technical Debt Detection Approaches: A Decade Systematic Review
von: Sutoyo, Edi, et al.
Veröffentlicht: (2023)

AI Assistants for Incident Lifecycle in a Microservice Environment: A Systematic Literature Review
von: Zhou, Dahlia Ziqi, et al.
Veröffentlicht: (2024)

Systematic Literature Review of Commercial Participation in Open Source Software
von: Li, Xuetao, et al.
Veröffentlicht: (2024)

Triage in Software Engineering: A Systematic Review of Research and Practice
von: Zhao, Yongxin, et al.
Veröffentlicht: (2025)

A Systematic Literature Review on Reasons and Approaches for Accurate Effort Estimations in Agile
von: Pasuksmit, Jirat, et al.
Veröffentlicht: (2024)

A Systematic Literature Review on Task Recommendation Systems for Crowdsourced Software Engineering
von: Nirmani, Shashiwadana, et al.
Veröffentlicht: (2024)

A Systematic Literature Review on Large Language Models for Automated Program Repair
von: Zhang, Quanjun, et al.
Veröffentlicht: (2024)

Software Solutions for Newcomers' Onboarding in Software Projects: A Systematic Literature Review
von: Santos, Italo, et al.
Veröffentlicht: (2024)

Examining Ownership Models in Software Teams: A Systematic Literature Review and a Replication Study
von: Koana, Umme Ayman, et al.
Veröffentlicht: (2024)