Buchumschlag

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Läufer, Konstantin, Mertin, Gunda, Thiruvathukal, George K.
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

Now's the Time: Computer Science Must Evolve to Emphasize Software and Systems Engineering with Artificial Intelligence (AI)
von: Sekharan, Chandra N., et al.
Veröffentlicht: (2026)

Reusing Deep Learning Models: Challenges and Directions in Software Engineering
von: Davis, James C., et al.
Veröffentlicht: (2024)

SysLLMatic: Large Language Models are Software System Optimizers
von: Peng, Huiyun, et al.
Veröffentlicht: (2025)

Can Large-Language Models Help us Better Understand and Teach the Development of Energy-Efficient Software?
von: Hasler, Ryan, et al.
Veröffentlicht: (2024)

Improving the Reproducibility of Deep Learning Software: An Initial Investigation through a Case Study Analysis
von: Ravi, Nikita, et al.
Veröffentlicht: (2025)

How Software Engineers Engage with AI: A Pragmatic Workflow
von: Garousi, Vahid, et al.
Veröffentlicht: (2025)

Large Language Models for Energy-Efficient Code: Emerging Results and Future Directions
von: Peng, Huiyun, et al.
Veröffentlicht: (2024)

AgentHub: A Registry for Discoverable, Verifiable, and Reproducible AI Agents
von: Pautsch, Erik, et al.
Veröffentlicht: (2025)

A Systematic Literature Review on a Decade of Industrial TLA+ Practice
von: Bögli, Roman, et al.
Veröffentlicht: (2024)

Process-based Indicators of Vulnerability Re-Introducing Code Changes: An Exploratory Case Study
von: Shimmi, Samiha, et al.
Veröffentlicht: (2025)

Beyond Local Code Optimization: Multi-Agent Reasoning for Software System Optimization
von: Peng, Huiyun, et al.
Veröffentlicht: (2026)

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

Software Engineering Through Community-Engaged Learning and an Inclusive Network
von: Arony, Nowshin Nawar, et al.
Veröffentlicht: (2023)

Operationalizing Research Software for Supply Chain Security
von: Kalu, Kelechi G., et al.
Veröffentlicht: (2026)

Human and Machine: How Software Engineers Perceive and Engage with AI-Assisted Code Reviews Compared to Their Peers
von: Alami, Adam, et al.
Veröffentlicht: (2025)

Hidden Figures in Software Engineering: A Replication Study Exploring Undergraduate Software Students' Awareness of Distinguished Scientists from Underrepresented Groups
von: Santos, Ronnie de Souza, et al.
Veröffentlicht: (2024)

Diversity in Software Engineering Education: Exploring Motivations, Influences, and Role Models Among Undergraduate Students
von: Santos, Ronnie de Souza, et al.
Veröffentlicht: (2024)

Integrating Human-Centric Approaches into Undergraduate Software Engineering Education: A Scoping Review and Curriculum Analysis in the Australian Context
von: McKenzie, Sophie, et al.
Veröffentlicht: (2024)

WIP: Leveraging LLMs for Enforcing Design Principles in Student Code: Analysis of Prompting Strategies and RAG
von: Kolhatkar, Dhruv, et al.
Veröffentlicht: (2025)

Quantum Software Engineering and Potential of Quantum Computing in Software Engineering Research: A Review
von: Mandal, Ashis Kumar, et al.
Veröffentlicht: (2025)

Game Elements to Engage Students Learning the Open Source Software Contribution Process
von: Santos, Italo, et al.
Veröffentlicht: (2024)

WIP: Assessing the Effectiveness of ChatGPT in Preparatory Testing Activities
von: Haldar, Susmita, et al.
Veröffentlicht: (2025)

ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair
von: Chen, Zhiyong, et al.
Veröffentlicht: (2026)

What do we know about Hugging Face? A systematic literature review and quantitative validation of qualitative claims
von: Jones, Jason, et al.
Veröffentlicht: (2024)

"I see models being a whole other thing": An Empirical Study of Pre-Trained Model Naming Conventions and A Tool for Enhancing Naming Consistency
von: Jiang, Wenxin, et al.
Veröffentlicht: (2023)

Guiding Principles for Using Mixed Methods Research in Software Engineering
von: Storey, Margaret-Anne, et al.
Veröffentlicht: (2024)

Generative Software Engineering
von: Huang, Yuan, et al.
Veröffentlicht: (2024)

Agentic Model Checking
von: Sun, Youcheng, et al.
Veröffentlicht: (2026)

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

Software Model Checking via Summary-Guided Search (Extended Version)
von: Fang, Ruijie, et al.
Veröffentlicht: (2025)

Lost in Code Generation: Reimagining the Role of Software Models in AI-driven Software Engineering
von: Cito, Jürgen, et al.
Veröffentlicht: (2025)

Do Advanced Language Models Eliminate the Need for Prompt Engineering in Software Engineering?
von: Wang, Guoqing, et al.
Veröffentlicht: (2024)

Preconceptual Modeling in Software Engineering: Metaphysics of Diagrammatic Representations
von: Al-Fedaghi, Sabah
Veröffentlicht: (2024)

A Survey on Large Language Models for Software Engineering
von: Zhang, Quanjun, et al.
Veröffentlicht: (2023)

PeaTMOSS: A Dataset and Initial Analysis of Pre-Trained Models in Open-Source Software
von: Jiang, Wenxin, et al.
Veröffentlicht: (2024)

Teaching Software Metrology: The Science of Measurement for Software Engineering
von: Ralph, Paul, et al.
Veröffentlicht: (2024)

Contract Based Program Models for Software Model Checking
von: Amilon, Jesper, et al.
Veröffentlicht: (2025)

An Empirical Investigation of Pre-Trained Deep Learning Model Reuse in the Scientific Process
von: Synovic, Nicholas M., et al.
Veröffentlicht: (2026)

Automated Personnel Selection for Software Engineers Using LLM-Based Profile Evaluation
von: Karim, Ahmed Akib Jawad, et al.
Veröffentlicht: (2024)

A Framework for Using LLMs for Repository Mining Studies in Empirical Software Engineering
von: de Martino, Vincenzo, et al.
Veröffentlicht: (2024)