🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems

Danny Weyns, Paris Avegriou, ... (+4 more)

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee

Nicolas Berthier, Steven De Oliveira, ... (+3 more)

cs.SE 🏛 SAC 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Safety Verification of Declarative Smart Contracts

Haoxian Chen, Lan Lu, ... (+3 more)

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Systematic Literature Review of Gender and Software Engineering in Asia

Hironori Washizaki

cs.SE 🏛 IWESQ/APSEDEI@APSEC 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

An approach for Test Impact Analysis on the Integration Level in Java programs

Muzammil Shahbaz

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Dynamic Slicing by On-demand Re-execution

Ivan Postolski, Victor Braberman, ... (+2 more)

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

A Comparative Study of Smartphone and Smart TV Apps

Yonghui Liu, Xiao Chen, ... (+7 more)

cs.SE 🏛 SSRN 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

TPGen: A Self-Stabilizing GPU-Based Method for Prime and Test Paths Generation

Ebrahim Fazli, Ali Ebnenasir

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives

Julio C. Carrasquel, Irina A. Lomazova

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

gMeta: Template-based Regular Expression Generation over Noisy Examples

Shujun Wang, Yongqiang Tian andDengcheng He

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

An RSE Group Model: Operational and Organizational Approaches From Princeton University's Central Research Software Engineering Group

Ian A. Cosden

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

PolyGloT: A Personalized and Gamified eTutoring System

Antonio Bucchiarone, Tommaso Martorella, Diego Colombo

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications

Alex Gu, Tamara Mitrovska, ... (+3 more)

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

AFETM: Adaptive function execution trace monitoring for fault diagnosis

Wei Zhang, Yuxi Hu, ... (+3 more)

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Cognitive-Driven Development Helps Software Teams to Keep Code Units Under the Limit!

Gustavo Pinto, Alberto de Souza

cs.SE 🏛 JSS 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Trust in Motion: Capturing Trust Ascendancy in Open-Source Projects using Hybrid AI

Huascar Sanchez, Briland Hitaj

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

DooML: A new Database & Object-Oriented Modeling Language for database-driven web application design and development

Thijs Otter

cs.SE 🏛 International Journal of Software Engineering & Applications 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Software system rationalisation: How to get better outcomes through stronger user engagement

Richard Shute, Nick Lynch

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

What UAE Software Students Think about Software Testing: A Replicated Study

Luiz Fernando Capretz, Saad Harous, Ali Bou Nassif

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Does Collaborative Editing Help Mitigate Security Vulnerabilities in Crowd-Shared IoT Code Examples?

Madhu Selvaraj, Gias Uddin

cs.SE 🏛 ESEM 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Enhancing Agile Software Development Sustainability through the Integration of User Experience and Gamification

Manal Alhammad, Ana Moreno

cs.SE 🏛 XP 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Extending Attack-Fault Trees with Runtime Verification

Rafael C. Cardoso, Angelo Ferrando, Michael Fisher

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

R.I.P. 👻 Ghosted

Formal Semantics of the CDL Language

Thorsten Berger, Steven She

cs.SE 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

PTSG: a test generation tool based on extended finite state machine

Zhijie Pan, Ting Shu, Zuohua Ding

cs.SE 🏛 arXiv 📚 1 cites 3 years ago