🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Identification of Practices and Capabilities in API Management: A Systematic Literature Review

Max Mathijssen, Michiel Overeem, Slinger Jansen

cs.SE 🏛 arXiv 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

A Theory of Black-Box Tests

Mohammad Torabi Dashti, David Basin

cs.SE 🏛 arXiv 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Predicting Health Indicators for Open Source Projects (using Hyperparameter Optimization)

Tianpei Xia, Wei Fu, ... (+3 more)

cs.SE 🏛 EMSE 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Assessing Practitioner Beliefs about Software Engineering

N. C. Shrikanth, William Nichols, ... (+2 more)

cs.SE 🏛 EMSE 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Why are many businesses instilling a DevOps culture into their organization?

Jessica Diaz, Daniel López-Fernández, ... (+2 more)

cs.SE 🏛 arXiv 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures

Sona Ghahremani, Holger Giese, Thomas Vogel

cs.SE 🏛 ACM Transactions on Autonomous and Adaptive Systems 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Efficient Binary-Level Coverage Analysis

M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz

cs.SE 🏛 FSE 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Optimising the Fit of Stack Overflow Code Snippets into Existing Code

Brittany Reid, Christoph Treude, Markus Wagner

cs.SE 🏛 GECCO Companion 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Annotation-Based Static Analysis for Personal Data Protection

Kalle Hjerppe, Jukka Ruohonen, Ville Leppänen

cs.SE 🏛 Privacy and Identity Management 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Declarative Stream Runtime Verification (hLola)

Martin Ceresa, Felipe Gorostiaga, Cesar Sanchez

cs.SE 🏛 Asian Symposium on Programming Languages and Systems 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Verifying Array Manipulating Programs with Full-Program Induction

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

cs.SE 🏛 ICTACAS 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges

Naoto Sato, Hironobu Kuruma, ... (+2 more)

cs.SE 🏛 arXiv 📚 13 cites 7 years ago

R.I.P. 👻 Ghosted

Time-aware Test Case Execution Scheduling for Cyber-Physical Systems

Morten Mossige, Arnaud Gotlieb, ... (+3 more)

cs.SE 🏛 CP 📚 13 cites 7 years ago

R.I.P. 👻 Ghosted

Empirical Notes on the Interaction Between Continuous Kernel Fuzzing and Development

Jukka Ruohonen, Kalle Rindell

cs.SE 🏛 ICSRE W 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Bug Searching in Smart Contract

Xiaotao Feng, Qin Wang, ... (+2 more)

cs.SE 🏛 arXiv 📚 13 cites 7 years ago

R.I.P. 👻 Ghosted

The Evolution of Empirical Methods in Software Engineering

Michael Felderer, Guilherme Horta Travassos

cs.SE 🏛 Contemporary Empirical Methods in Software Engineering 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Feature-Interaction Aware Configuration Prioritization for Configurable Code

Son Nguyen, Hoan Nguyen, ... (+3 more)

cs.SE 🏛 ASE 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Selecting Reliable Blockchain Peers via Hybrid Blockchain Reliability Prediction

Peilin Zheng, Zibin Zheng, Liang Chen

cs.SE 🏛 IET Software 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Engineering for a Science-Centric Experimentation Platform

Nikos Diamantopoulos, Jeffrey Wong, ... (+5 more)

cs.SE 🏛 ICSE 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Critical Requirements Engineering in Practice

Leticia Duboc, Curtis McCord, ... (+2 more)

cs.SE 🏛 Software 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

A Mutation-based Approach for Assessing Weight Coverage of a Path Planner

Thomas Laurent, Paolo Arcaini, ... (+2 more)

cs.SE 🏛 Asia-Pacific Software Engineering Conference 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Automated Characterization of Software Vulnerabilities

Danielle Gonzalez, Holly Hastings, Mehdi Mirakhorli

cs.SE 🏛 ICSME 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Using simulated annealing for locating array construction

Tatsuya Konishi, Hideharu Kojima, ... (+2 more)

cs.SE 🏛 IST 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Architecture Definition in Complex System Design Using Model Theory

Charles E. Dickerson, Michael K. Wilkinson, ... (+6 more)

cs.SE 🏛 Systems Journal 📚 13 cites 6 years ago