🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

A Formal Analysis of Iterated TDD

Hemil Ruparel, Nabarun Mondal

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

From B Specifications to $\{log$\}$ Forgrams

Maximiliano Cristiá

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Seeing is Believing: Vision-driven Non-crash Functional Bug Detection for Mobile Apps

Zhe Liu, Cheng Li, ... (+7 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Efficient DNN-Powered Software with Fair Sparse Models

Xuanqi Gao, Weipeng Jiang, ... (+4 more)

cs.SE 🏛 ISSTA 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Pushing the Boundary: Specialising Deep Configuration Performance Learning

Jingzhi Gong

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

RefExpo: Unveiling Software Project Structures through Advanced Dependency Graph Extraction

Vahid Haratian, Pouria Derakhshanfar, ... (+2 more)

cs.SE 🏛 MSR 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Effective Technical Reviews

Scott Ballentine, Eitan Farchi

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

ToffA-DSPL: an approach of trade-off analysis for designing dynamic software product lines

Michelle Larissa Luciano Carvalho, Paulo Cesar Masiero, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Towards debiasing code review support

Tobias Jetzen, Xavier Devroey, ... (+2 more)

cs.SE 🏛 IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Towards Quantifying Requirements Technical Debt for Software Requirements concerning Veracity: A Perspective and Research Roadmap

Judith Perera, Ewan Tempero, ... (+3 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Unicorns Do Not Exist: Employing and Appreciating Community Managers in Open Source

Raphael Sonabend, Anna Carnegie, ... (+3 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Please do not go: understanding turnover of software engineers from different perspectives

Michelle Larissa Luciano Carvalho, Paulo da Silva Cruz, ... (+3 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs

Shiyu Zhang, Haoyang Song, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Systematic literature review of the trust reinforcement mechanisms exist in package ecosystems

Angel Temelko, Fang Hou, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Aligning Programming Language and Natural Language: Exploring Design Choices in Multi-Modal Transformer-Based Embedding for Bug Localization

Partha Chakraborty, Venkatraman Arumugam, Meiyappan Nagappan

cs.SE 🏛 2024 IEEE/ACM International Workshop on Natural Language-Based Software Engineering (NLBSE) 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Search-based Trace Diagnostic

Gabriel Araujo, Ricardo Caldas, ... (+4 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Process Algebra Based Tool Coordination Architectures in Raku and Go

Bob Diertens

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

On The Effectiveness of Dynamic Reduction Techniques in Automated Program Repair

Omar I. Al-Bataineh

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries

Igor Wodiany, Antoniu Pop, Mikel Luján

cs.SE 🏛 ASE 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Beyond words and actions: Exploring Multimodal Analytics and Collaboration in the Digital Age

Diego Miranda, Rene Noel, ... (+4 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study

Rafael Sá Menezes, Edoardo Manino, ... (+4 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Model-driven realization of IDTA submodel specifications: The good, the bad, the incompatible?

Holger Eichelberger, Alexander Weber

cs.SE 🏛 ICETFA 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

A Step Towards a Universal Method for Modeling and Implementing Cross-Organizational Business Processes

Gerhard Zeisler, Tim Tobias Braunauer, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

W2E (Workout to Earn): A Low Cost DApp based on ERC-20 and ERC-721 standards

Do Hai Son, Nguyen Danh Hao, ... (+2 more)

cs.SE 🏛 ICICDV 📚 0 cites 2 years ago