🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Rigorous Assessment of Model Inference Accuracy using Language Cardinality

Donato Clun, Donghwan Shin, ... (+2 more)

cs.SE 🏛 ACM TOSEM 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

JSON Stats Analyzer

Juan Cruz Viotti, Mital Kinderkhedia

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Towards Trace-based Deductive Verification (Tech Report)

Richard Bubel, Dilian Gurov, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Data Management in Integrated Research Institutes: Undertaking a Review of Research Data Management at the Rosalind Franklin Institute

Felicity Currie, Mark Basham, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model

Alexis Soifer, Diego Garbervetsky, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Excel Spreadsheet Analyzer

Amir Nassereldine, Patrick Chen, Jinjun Xiong

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

🌅 💤 Eternal Rest

System-Specific Interpreters Make Megasystems Friendlier

Matthew Sotoudeh

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

UMLsec4Edge: Extending UMLsec to model data-protection-compliant edge computing systems

Sven Smolka, Jan Laufer, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Fault Injection based Failure Analysis of three CentOS-like Operating Systems

Hao Xu, Yuxi Hu, ... (+5 more)

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

From Function to Failure

Hamid Jahanian

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

🌅 💤 Eternal Rest

Multifaceted Hierarchical Report Identification for Non-Functional Bugs in Deep Learning Frameworks

Guoming Long, Tao Chen, Georgina Cosma

cs.SE 🏛 Asia-Pacific Software Engineering Conference 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Codeless App Development: Evaluating A Cloud-Native Domain-Specific Functions Approach

Chuhao Wu, Jose Miguel Perez-Alvarez, ... (+2 more)

cs.SE 🏛 HICSS 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Conceptual Modeling Applied to Data Semantics

Sabah Al-Fedaghi

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

StacerBot: A Stacktrace Search Engine for Stack Overflow

Md Abdullah Al Alamin

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Towards Auditable Distributed Systems

Lev Sorokin

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Bounded Invariant Checking for Stateflow

Predrag Filipovikj, Gustav Ung, ... (+2 more)

cs.SE 🏛 FMAS/ASYDE@SEFM 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

CSRE4SOC (CSR evaluation for software companies)

Elisa Jimenez, Coral Calero, Maria Ángeles Moraga

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Systematic Mapping Protocol -- Agile strategies for software development according to technical and environmental complexity factors

Fernando Pinciroli

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Facilitating Change Implementation for Continuous ML-Safety Assurance

Chih-Hong Cheng, Nguyen Anh Vu Doan, ... (+10 more)

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Blockchain-Oriented Services Computing in Action: Insights from a User Study

Giovanni Quattrocchi, Damian Andrew Tamburri, WIllem-Jan Van Den Heuvel

cs.SE 🏛 ICSOC 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Assisted Specification of Code Using Search

Steven P. Reiss

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Some Long-Standing Quality Practices in Software Development

Sibonile Moyo

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Two case studies on implementing best practices for Software Process Improvement

Bartosz Walter, Branko Marovic, ... (+3 more)

cs.SE 🏛 European Conference on Software Process Improvement 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Non-Functional Testing of Runtime Enforcers in Android

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

cs.SE 🏛 FM 📚 0 cites 3 years ago