🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Verification of Binarized Neural Networks via Inter-Neuron Factoring

Chih-Hong Cheng, Georg Nührenberg, ... (+2 more)

cs.SE 🏛 arXiv 📚 21 cites 8 years ago

R.I.P. 👻 Ghosted

Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

Long H. Pham, Quang Loc Le, ... (+3 more)

cs.SE 🏛 ATVA 📚 21 cites 8 years ago

R.I.P. 👻 Ghosted

A Digital Game Maturity Model (DGMM)

Saiqa Aleem, Luiz Fernando Capretz, Faheem Ahmed

cs.SE 🏛 Entertainment Computing 📚 21 cites 8 years ago

R.I.P. 👻 Ghosted

Open Chemistry: RESTful Web APIs, JSON, NWChem and the Modern Web Application

Marcus D. Hanwell, Wibe A. de Jong, Christopher J. Harris

cs.SE 🏛 J.C 📚 21 cites 8 years ago

R.I.P. 👻 Ghosted

DeepProf: Performance Analysis for Deep Learning Applications via Mining GPU Execution Patterns

Jiazhen Gu, Huan Liu, ... (+2 more)

cs.SE 🏛 arXiv 📚 21 cites 8 years ago

R.I.P. 👻 Ghosted

Extracting Build Changes with BUILDDIFF

Christian Macho, Shane McIntosh, Martin Pinzger

cs.SE 🏛 MSR 📚 21 cites 9 years ago

R.I.P. 👻 Ghosted

Scaling Agile Development in Mechatronic Organizations - A Comparative Case Study

Ulrik Eklund, Christian Berger

cs.SE 🏛 ICSE 📚 21 cites 9 years ago

R.I.P. 👻 Ghosted

A Platform for Automating Chaos Experiments

Ali Basiri, Aaron Blohowiak, ... (+2 more)

cs.SE 🏛 ICSRE W 📚 21 cites 9 years ago

R.I.P. 👻 Ghosted

The Influence of Teamwork Quality on Software Team Performance

Emily Weimar, Ariadi Nugroho, ... (+4 more)

cs.SE 🏛 arXiv 📚 21 cites 9 years ago

R.I.P. 👻 Ghosted

Empirical Evaluation of Effort on Composing Design Models

Kleinner Farias

cs.SE 🏛 ICSE 📚 21 cites 9 years ago

R.I.P. 👻 Ghosted

Anti-patterns and the energy efficiency of Android applications

Rodrigo Morales, Ruben Saborido, ... (+3 more)

cs.SE 🏛 arXiv 📚 21 cites 9 years ago

R.I.P. 👻 Ghosted

Opaque Service Virtualisation: A Practical Tool for Emulating Endpoint Systems

Steve Versteeg, Miao Du, ... (+4 more)

cs.SE 🏛 ICSE 📚 21 cites 10 years ago

R.I.P. 👻 Ghosted

Complete contracts through specification drivers

Alexandr Naumchev, Bertrand Meyer

cs.SE 🏛 Theoretical Aspects of Software Engineering 📚 21 cites 10 years ago

R.I.P. 👻 Ghosted

Using Students as Experimental Subjects in Software Engineering Research -- A Review and Discussion of the Evidence

Dror G. Feitelson

cs.SE 🏛 arXiv 📚 21 cites 10 years ago

📚 📚 The Cartographer

A survey on formal specification and verification of separation kernels

Yongwang Zhao

cs.SE 🏛 Frontiers of Computer Science 📚 21 cites 10 years ago

R.I.P. 👻 Ghosted

An Empirical Study on the Procedure to Derive Software Quality Estimation Models

Jie Xu, Danny Ho, Luiz Fernando Capretz

cs.SE 🏛 arXiv 📚 21 cites 10 years ago

R.I.P. 👻 Ghosted

An Architecture Process Maturity Model of Software Product Line Engineering

Faheem Ahmed, Luiz Fernando Capretz

cs.SE 🏛 Innovations in Systems and Software Engineering 📚 21 cites 10 years ago

R.I.P. 👻 Ghosted

Commit0: Library Generation from Scratch

Wenting Zhao, Nan Jiang, ... (+5 more)

cs.SE 🏛 arXiv 📚 21 cites 1 year ago

R.I.P. 👻 Ghosted

VulEval: Towards Repository-Level Evaluation of Software Vulnerability Detection

Xin-Cheng Wen, Xinchen Wang, ... (+4 more)

cs.SE 🏛 arXiv 📚 21 cites 2 years ago

R.I.P. 👻 Ghosted

Distinguishing LLM-generated from Human-written Code by Contrastive Learning

Xiaodan Xu, Chao Ni, ... (+5 more)

cs.SE 🏛 ACM TOSEM 📚 21 cites 1 year ago

R.I.P. 👻 Ghosted

LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models

Shuncheng Tang, Zhenya Zhang, ... (+4 more)

cs.SE 🏛 ASE 📚 21 cites 1 year ago

R.I.P. 👻 Ghosted

SoVAR: Building Generalizable Scenarios from Accident Reports for Autonomous Driving Testing

An Guo, Yuan Zhou, ... (+8 more)

cs.SE 🏛 ASE 📚 21 cites 1 year ago

R.I.P. 👻 Ghosted

Optimizing Large Language Model Hyperparameters for Code Generation

Chetan Arora, Ahnaf Ibn Sayeed, ... (+3 more)

cs.SE 🏛 arXiv 📚 21 cites 1 year ago

R.I.P. 👻 Ghosted

CodeMirage: Hallucinations in Code Generated by Large Language Models

Vibhor Agarwal, Yulong Pei, ... (+2 more)

cs.SE 🏛 arXiv 📚 21 cites 1 year ago