🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Large Language Models in Introductory Programming Education: ChatGPT's Performance and Implications for Assessments

Natalie Kiesler, Daniel Schiffner

cs.SE 🏛 arXiv 📚 30 cites 2 years ago

R.I.P. 👻 Ghosted

Data Mesh: a Systematic Gray Literature Review

Abel Goedegebuure, Indika Kumara, ... (+5 more)

cs.SE 🏛 ACM CSUR 📚 30 cites 3 years ago

R.I.P. 👻 Ghosted

QChecker: Detecting Bugs in Quantum Programs via Static Analysis

Pengzhan Zhao, Xiongfei Wu, ... (+2 more)

cs.SE 🏛 ICQSE W 📚 30 cites 3 years ago

R.I.P. 👻 Ghosted

Early Life Cycle Software Defect Prediction. Why? How?

N. C. Shrikanth, Suvodeep Majumder, Tim Menzies

cs.SE 🏛 ICSE 📚 30 cites 5 years ago

R.I.P. 👻 Ghosted

Identifying candidate routines for Robotic Process Automation from unsegmented UI logs

V. Leno, A. Augusto, ... (+4 more)

cs.SE 🏛 ICPM 📚 30 cites 5 years ago

R.I.P. 👻 Ghosted

Heterogeneous Verification of an Autonomous Curiosity Rover

Rafael C. Cardoso, Marie Farrell, ... (+3 more)

cs.SE 🏛 FM 📚 30 cites 5 years ago

R.I.P. 👻 Ghosted

SLACC: Simion-based Language Agnostic Code Clones

George Mathew, Chris Parnin, Kathryn T Stolee

cs.SE 🏛 ICSE 📚 30 cites 6 years ago

R.I.P. 👻 Ghosted

Dataset of Video Game Development Problems

Cristiano Politowski, Fabio Petrillo, ... (+3 more)

cs.SE 🏛 MSR 📚 30 cites 6 years ago

R.I.P. 👻 Ghosted

Early Prediction for Merged vs Abandoned Code Changes in Modern Code Reviews

Md. Khairul Islam, Toufique Ahmed, ... (+3 more)

cs.SE 🏛 IST 📚 30 cites 6 years ago

R.I.P. 👻 Ghosted

A large-scale, in-depth analysis of developers' personalities in the Apache ecosystem

Fabio Calefato, Filippo Lanubile, Bogdan Vasilescu

cs.SE 🏛 IST 📚 30 cites 7 years ago

R.I.P. 👻 Ghosted

PHANTOM: Curating GitHub for engineered software projects using time-series clustering

Peter Pickerill, Heiko Joshua Jungen, ... (+2 more)

cs.SE 🏛 EMSE 📚 30 cites 7 years ago

R.I.P. 👻 Ghosted

RocketRML - A NodeJS implementation of a use-case specific RML mapper

Umutcan Şimşek, Elias Kärle, Dieter Fensel

cs.SE 🏛 KGB@ESWC 📚 30 cites 7 years ago

R.I.P. 👻 Ghosted

AMOGA: A Static-Dynamic Model Generation Strategy for Mobile Apps Testing

Ibrahim-Anka Salihu, Rosziati Ibrahim, ... (+3 more)

cs.SE 🏛 IEEE Access 📚 30 cites 7 years ago

R.I.P. 👻 Ghosted

Automated Prototype Generation from Formal Requirements Model

Yilong Yang, Xiaoshan Li, ... (+4 more)

cs.SE 🏛 IEEE TR 📚 30 cites 7 years ago

R.I.P. 👻 Ghosted

Recording Concerns in Source Code Using Annotations

Matúš Sulír, Milan Nosáľ, Jaroslav Porubän

cs.SE 🏛 Computer languages, systems & structures 📚 30 cites 7 years ago

R.I.P. 👻 Ghosted

Paving the Roadway for Safety of Automated Vehicles: An Empirical Study on Testing Challenges

Alessia Knauss, Jan Schröder, ... (+2 more)

cs.SE 🏛 IV 📚 30 cites 9 years ago

R.I.P. 👻 Ghosted

A Zero-Positive Learning Approach for Diagnosing Software Performance Regressions

Mejbah Alam, Justin Gottschlich, ... (+4 more)

cs.SE 🏛 NeurIPS 📚 30 cites 8 years ago

R.I.P. 👻 Ghosted

One evaluation of model-based testing and its automation

Alexander Pretschner, Wolfgang Prenninger, ... (+6 more)

cs.SE 🏛 ICSE 📚 30 cites 9 years ago

R.I.P. 👻 Ghosted

A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies

Andrea Margheri, Massimiliano Masi, ... (+2 more)

cs.SE 🏛 IEEE TSE 📚 30 cites 9 years ago

R.I.P. 👻 Ghosted

Exact Finite-State Machine Identification from Scenarios and Temporal Properties

Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto

cs.SE 🏛 International Journal on Software Tools for Technology Transfer (STTT) 📚 30 cites 10 years ago

R.I.P. 👻 Ghosted

Systematically Deriving Domain-Specific Transformation Languages

Katrin Hölldobler, Bernhard Rumpe Ingo Weisemöller

cs.SE 🏛 MODELS 📚 30 cites 10 years ago

R.I.P. 👻 Ghosted

Your Proof Fails? Testing Helps to Find the Reason

Guillaume Petiot, Nikolai Kosmatov, ... (+3 more)

cs.SE 🏛 TAP@STAF 📚 30 cites 10 years ago

R.I.P. 👻 Ghosted

A Business Maturity Model of Software Product Line Engineering

Faheem Ahmed, Luiz Fernando Capretz

cs.SE 🏛 Inf. Syst. Frontiers 📚 30 cites 10 years ago

R.I.P. 👻 Ghosted

Verifying the Safety of a Flight-Critical System

Guillaume Brat, David Bushnell, ... (+4 more)

cs.SE 🏛 FM 📚 30 cites 11 years ago