🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles

Martin Becker, Markus Neumair, ... (+2 more)

cs.SE 🏛 SAFECOMP 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems

Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon

cs.SE 🏛 ESSS 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Sustainability in Software Product Lines: Report on Discussion Panel at SPLC 2014

Ruzanna Chitchyan, Joost Noppen, Iris Groher

cs.SE 🏛 arXiv 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Applying FCA toolbox to Software Testing

Fedor Strok

cs.SE 🏛 arXiv 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Analysis of Software Binaries for Reengineering-Driven Product Line ArchitectureâAn Industrial Case Study

Ian D. Peake, Jan Olaf Blech, ... (+4 more)

cs.SE 🏛 FMSPLE 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

A State Space Tool for Models Expressed In C++ (tool paper)

Antti Valmari

cs.SE 🏛 arXiv 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Proceedings Graphs as Models

Arend Rensink, Eduardo Zambon

cs.SE 🏛 EPTCS 181, 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

A Visual Formalism for Interacting Systems

Paul C. Jorgensen

cs.SE 🏛 MBT 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Observations of service identification from two enterprises

Ville Alkkiomäki, Kari Smolander

cs.SE 🏛 arXiv 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Business Rule Mining from Spreadsheets

Sohon Roy

cs.SE 🏛 SEMS@ICSE 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Using Calculation Fragments for Spreadsheet Testing and Debugging

Dietmar Jannach, Thomas Schmitz

cs.SE 🏛 SEMS@ICSE 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Querying Spreadsheets: An Empirical Study

Jácome Cunha, João Paulo Fernandes, ... (+2 more)

cs.SE 🏛 arXiv 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Enhancing Programming Interface to Effectively Meet Multiple Information Needs of Developers

Haipeng Cai

cs.SE 🏛 arXiv 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Assessing the Fault Proneness Degree (DFP) by Estimating the Impact of Change Request Artifacts Correlation

Rudra Kumar M, A Ananda Rao

cs.SE 🏛 arXiv 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Towards a Systems Engineering Essence

Anatoly Levenchuk

cs.SE 🏛 arXiv 📚 1 cites 11 years ago

R.I.P. 👻 Ghosted

Enhancing Deployment-Time Predictive Model Robustness for Code Analysis and Optimization

Huanting Wang, Patrick Lenihan, Zheng Wang

cs.SE 🏛 IEEE/ACM International Symposium on Code Generation and Optimization 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Advances in Artificial Intelligence forDiabetes Prediction: Insights from a Systematic Literature Review

Pir Bakhsh Khokhar, Carmine Gravino, Fabio Palomba

cs.SE 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Tree-of-Code: A Hybrid Approach for Robust Complex Task Planning and Execution

Ziyi Ni, Yifan Li, Daxiang Dong

cs.SE 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Transducer Tuning: Efficient Model Adaptation for Software Tasks Using Code Property Graphs

Imam Nur Bani Yusuf, Lingxiao Jiang

cs.SE 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

SoK: On Closing the Applicability Gap in Automated Vulnerability Detection

Ezzeldin Shereen, Dan Ristea, ... (+5 more)

cs.SE 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

Kajal: Extracting Grammar of a Source Code Using Large Language Models

Mohammad Jalili Torkamani

cs.SE 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

DialogAgent: An Auto-engagement Agent for Code Question Answering Data Production

Xiaoyun Liang, Jingyi Ren, ... (+3 more)

cs.SE 🏛 ICSE 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

ENCO: Life-Cycle Management of Enterprise-Grade Copilots

Yiwen Zhu, Mathieu Demarne, ... (+13 more)

cs.SE 🏛 arXiv 📚 1 cites 1 year ago

R.I.P. 👻 Ghosted

From Critique to Clarity: A Pathway to Faithful and Personalized Code Explanations with Large Language Models

Zexing Xu, Zhuang Luo, ... (+3 more)

cs.SE 🏛 arXiv 📚 1 cites 1 year ago