🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Quality Assurance of Heterogeneous Applications: The SODALITE Approach

Indika Kumara, Giovanni Quattrocchi, ... (+2 more)

cs.SE 🏛 ESOCC 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs

Jesus Gorronogoitia Cruz, Andrey Sadovykh, ... (+4 more)

cs.SE 🏛 ICOSS 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Caveats in Eliciting Mobile App Requirements

Nitish Patkar, Mohammad Ghafari, ... (+2 more)

cs.SE 🏛 EASE 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

FM4SN: A Feature-Oriented Approach to Tenant-Driven Customization of Multi-Tenant Service Networks

Indika Kumara, Jun Han, ... (+3 more)

cs.SE 🏛 ICSC 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Views on Quality Requirements in Academia and Practice: Commonalities, Differences, and Context-Dependent Grey Areas

Andreas Vogelsang, Jonas Eckhardt, ... (+2 more)

cs.SE 🏛 IST 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Design of the Inspection Process Using the GitHub Flow in Project Based Learning for Software Engineering and Its Practice

Yutsuki Miyashita, Yuki Yamada, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

In-The-Field Monitoring of Functional Calls: Is It Feasible?

Oscar Cornejo, Daniela Briola, ... (+2 more)

cs.SE 🏛 JSS 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Runtime Verification of Linux Kernel Security Module

Denis Efremov, Ilya Shchepetkov

cs.SE 🏛 FM W 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Probabilistic Software Modeling: A Data-driven Paradigm for Software Analysis

Hannes Thaller, Lukas Linsbauer, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Simpler Hyperparameter Optimization for Software Analytics: Why, How, When?

Amritanshu Agrawal, Xueqi Yang, ... (+4 more)

cs.SE 🏛 arXiv 📚 4 cites 6 years ago

🌅 🌅 Old Age

Sionnx: Automatic Unit Test Generator for ONNX Conformance

Xinli Cai, Peng Zhou, ... (+3 more)

cs.SE 🏛 arXiv 📚 4 cites 7 years ago

📚 📚 The Cartographer

Architecting Dependable Learning-enabled Autonomous Systems: A Survey

Chih-Hong Cheng, Dhiraj Gulati, Rongjie Yan

cs.SE 🏛 arXiv 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Exploiting Token and Path-based Representations of Code for Identifying Security-Relevant Commits

Achyudh Ram, Ji Xin, ... (+5 more)

cs.SE 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Using LSTMs to Model the Java Programming Language

Brendon Boldt

cs.SE 🏛 ICANN 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Architectural Invariants and Correctness of IoT-based Systems

Christian Attiogbé, Jérôme Rocheteau

cs.SE 🏛 MEDI 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Automatic Observability for Dockerized Java Applications

Long Zhang, Deepika Tiwari, ... (+3 more)

cs.SE 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

IMPRESS: Improving Engagement in Software Engineering Courses through Gamification

Tanja E. J. Vos, I. S. W. B. Prasetya, ... (+6 more)

cs.SE 🏛 ICPFSPI 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Detecting Architectural Erosion using Runtime Verification

Diego Marmsoler, Ana Petrovska

cs.SE 🏛 ICICE 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Refinement type contracts for verification of scientific investigative software

Maxwell Shinn

cs.SE 🏛 Verified Software: Theories, Tools, Experiments 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Modular Verification of Autonomous Space Robotics

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

cs.SE 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Constructing a Maturity Model for a Distributed Software Organization

Bartosz Walter, Marcin Wolski, ... (+2 more)

cs.SE 🏛 European Conference on Software Process Improvement 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

On Distributed Runtime Verification by Aggregate Computing

Giorgio Audrito, Ferruccio Damiani, ... (+2 more)

cs.SE 🏛 VORTEX@ECOOP/ISSTA 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Exploring the relations between net benefits of IT projects and CIOs' perception of quality of software development disciplines

Damjan Vavpotič, Marko Robnik-Šikonja, Tomaž Hovelja

cs.SE 🏛 Business & Information Systems Engineering 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Business-Driven Technical Debt Prioritization

Rodrigo Rebouças de Almeida

cs.SE 🏛 ICSME 📚 4 cites 6 years ago