🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Structure Preserving Transformations for Practical Model-based Systems Engineering

Siyuan Ji, Michael Wilkinson, Charles E. Dickerson

cs.SE 🏛 Information Security Solutions Europe 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

Do Cloud Developers Prefer CLIs or Web Consoles? CLIs Mostly, Though It Varies by Task

Cora Coleman, William G. Griswold, Nick Mitchell

cs.SE 🏛 arXiv 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

Mask-Mediator-Wrapper architecture as a Data Mesh driver

Juraj Dončević, Krešimir Fertalj, ... (+2 more)

cs.SE 🏛 IEEE TSE 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

When Are Names Similar Or the Same? Introducing the Code Names Matcher Library

Moshe Munk, Dror G. Feitelson

cs.SE 🏛 arXiv 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests

Maria Naumcheva, Sophie Ebersold, ... (+4 more)

cs.SE 🏛 J.OT 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

How to Extend the Abstraction Refinement Model for Systems with Emergent Behavior ?

Mohamed Toufik Ailane, Christoph Knieke, Andreas Rausch

cs.SE 🏛 arXiv 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

Assessing the Impact of Execution Environment on Observation-Based Slicing

David Binkley, Leon Moonen

cs.SE 🏛 IEEE Working Conference on Source Code Analysis and Manipulation 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

Computing Maximum Fixed Point Solutions over Feasible Paths in Data Flow Analyses

Komal Pathade, Uday Khedker

cs.SE 🏛 Science of Computer Programming 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

Mask-Mediator-Wrapper: A revised mediator-wrapper architecture for heterogeneous data source integration

Juraj Dončević, Krešimir Fertalj, ... (+2 more)

cs.SE 🏛 Applied Sciences 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

Improving Counterexample Quality from Failed Program Verification

Li Huang, Bertrand Meyer, Manuel Oriol

cs.SE 🏛 ICSRE W 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

Data-access performance anti-patterns in data-intensive systems

Biruk Asmare Muse, Kawser Wazed Nafi, ... (+2 more)

cs.SE 🏛 EMSE 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

When malloc() Never Returns NULL -- Reliability as an Illusion

Gunnar Kudrjavets, Jeff Thomas, ... (+3 more)

cs.SE 🏛 ICSRE W 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

Intertwining Ecosystems: A Large Scale Empirical Study of Libraries that Cross Software Ecosystems

Kanchanok Kannee, Supatsara Wattanakriengkrai, ... (+3 more)

cs.SE 🏛 SSRN 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

Multi-View Pre-Trained Model for Code Vulnerability Identification

Xuxiang Jiang, Yinhao Xiao, ... (+2 more)

cs.SE 🏛 Wireless Algorithms, Systems, and Applications 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

Using clarification questions to improve software developers' Web search

Mia Mohammad Imran, Kostadin Damevski

cs.SE 🏛 IST 📚 2 cites 3 years ago

R.I.P. 👻 Ghosted

A Pattern-based deadlock-freedom analysis strategy for concurrent systems

Pedro Antonino, Augusto Sampaio, Jim Woodcock

cs.SE 🏛 arXiv 📚 2 cites 4 years ago

R.I.P. 👻 Ghosted

Knights and Gold Stars: A Tale of InnerSource Incentivization

Tapajit Dey, Willem Jiang, Brian Fitzgerald

cs.SE 🏛 Software 📚 2 cites 4 years ago

R.I.P. 👻 Ghosted

An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications

Siang-Yun Lee, Heinz Riener, Giovanni De Micheli

cs.SE 🏛 arXiv 📚 2 cites 4 years ago

R.I.P. 👻 Ghosted

Automated Change Rule Inference for Distance-Based API Misuse Detection

Sebastian Nielebock, Paul Blockhaus, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 4 years ago

R.I.P. 👻 Ghosted

PF4Microservices: A decomposion scheme for microservices based on Problem Frames

Zhi Li, Yitao Bo, Hongbin Xiao

cs.SE 🏛 arXiv 📚 2 cites 4 years ago

R.I.P. 👻 Ghosted

An Integrated Framework for DevSecOps Adoption

Akanksha Gupta

cs.SE 🏛 International Journal of Computer Trends and Technology 📚 2 cites 4 years ago

R.I.P. 👻 Ghosted

An Overview on Designs and Applications of Context-Aware Automation Systems

Nada Sahlab, Nasser Jazdi, Michael Weyrich

cs.SE 🏛 ICKIIES 📚 2 cites 4 years ago

R.I.P. 👻 Ghosted

Potential Technical Debt and Its Resolution in Code Reviews: An Exploratory Study of the OpenStack and Qt Communities

Liming Fu, Peng Liang, ... (+4 more)

cs.SE 🏛 ESEM 📚 2 cites 4 years ago

R.I.P. 👻 Ghosted

A Model-Based Approach for Specifying Changes in Replications of Empirical Studies in Computer Science

Margarita Cruz, Beatriz Bernárdez, ... (+3 more)

cs.SE 🏛 Computing 📚 2 cites 4 years ago