🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Demystification and Near-perfect Estimation of Minimum Gas Limit and Gas Used for Ethereum Smart Contracts

Danilo Rafael de Lima Cabral, Pedro Antonino, Augusto Sampaio

cs.SE 🏛 SoCC 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Open Challenges in the Formal Verification of Autonomous Driving

Paolo Burgio, Angelo Ferrando, Marco Villani

cs.SE 🏛 FMAS@iFM 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

How to Drawjectory? -- Trajectory Planning using Programming by Demonstration

Leonhard Alkewitz, Timo Zuccarello, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Tracking Software Security Topics

Phong Minh Vu, Tung Thanh Nguyen

cs.SE 🏛 arXiv 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Nirjas: An open source framework for extracting metadata from the source code

Ayush Bhardwaj, Sahil, ... (+2 more)

cs.SE 🏛 Confluence 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

A Feedback Toolkit and Procedural Guidance for Teaching Thorough Testing

Steffen Dick, Christoph Bockisch, ... (+3 more)

cs.SE 🏛 arXiv 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Security Implications of User Non-compliance Behavior to Software Updates: A Risk Assessment Study

Mahzabin Tamanna, Mohd Anwar, Joseph D. W. Stephens

cs.SE 🏛 J.ISA 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

"So Am I Dr. Frankenstein? Or Were You a Monster the Whole Time?": Mitigating Software Project Failure With Loss-Aversion-Aware Development Methodologies

Junade Ali

cs.SE 🏛 arXiv 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Framework to coordinate ubiquitous devices with SOA standards

Oscar A. Testa, Efrain R. Fonseca C., ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Runtime Instrumentation for Reactive Components (Extended Version)

Luca Aceto, Duncan Paul Attard, ... (+2 more)

cs.SE 🏛 ECOOP 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Fast Abstracts and Student Forum Proceedings -- EDCC 2024 -- 19th European Dependable Computing Conference

Simona Bernardi, Tommaso Zoppi

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

gFaaS: Enabling Generic Functions in Serverless Computing

Mohak Chadha, Paul Wieland, Michael Gerndt

cs.SE 🏛 SANER 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Daisy: An integrated repeat protein curation service

Manuel Bezerra-Brandao, Ronaldo Romario Tunque Cahui, Layla Hirsh

cs.SE 🏛 J.SB 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

sqlelf: a SQL-centric Approach to ELF Analysis

Farid Zakaria, Zheyuan Chen, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Field-based Security Testing of SDN configuration Updates

Jahanzaib Malik, Fabrizio Pastore

cs.SE 🏛 IEEE TR 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Predicting Software Reliability in Softwarized Networks

Hasan Yagiz Ozkan, Madeleine Kaufmann, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

HyperGraphOS: A Modern Meta-Operating System for the Scientific and Engineering Domains

Antonello Ceravola, Frank Joublin

cs.SE 🏛 arXiv 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages

Boqi Chen, José Antonio Hernández López, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis

Mohammad Robati Shirzad, Patrick Lam

cs.SE 🏛 arXiv 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks

Vladimir Zakharov, Yegor Bugayenko

cs.SE 🏛 arXiv 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Metamorphic Debugging for Accountable Software

Saeid Tizpaz-Niari, Shiva Darian, Ashutosh Trivedi

cs.SE 🏛 arXiv 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Unlocking the Power of Environment Assumptions for Unit Proofs

Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel

cs.SE 🏛 ICSE 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Choosing the Right Communication Protocol for your Web Application

Mohamed Hassan

cs.SE 🏛 arXiv 📚 0 cites 1 year ago

R.I.P. 👻 Ghosted

Multi-Pass Targeted Dynamic Symbolic Execution

Tuba Yavuz

cs.SE 🏛 arXiv 📚 0 cites 1 year ago