🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Advancing Trace Recovery Evaluation - Applied Information Retrieval in a Software Engineering Context

Markus Borg

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

MUIT: A Middleware for Adaptive Mobile Web-based User Interfaces in WS-BPEL

Xuanzhe Liu, Mengwei Xu, ... (+4 more)

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Development and Experimentation of a Software Tool for Identifying High Risk Spreadsheets for Auditing

Mahmood H. Shubbak, Simon Thorne

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Regression Testing of Virtual Prototypes Using Symbolic Execution

Bin Lin, Dejun Qian

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Building a Pilot Software Quality-in-Use Benchmark Dataset

Issa Atoum, Chih How Bong, Narayanan Kulathuramaiyer

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

On Properties of Policy-Based Specifications

Andrea Margheri, Rosario Pugliese, Francesco Tiezzi

cs.SE 🏛 ICASVWS W 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Quality of Open Source Systems from Product Metrics Perspective

Mamdouh Alenezi, Ibrahim Abunadi

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Properties of Relationships among objects in Object-Oriented Software Design

Zeynab Rashidi

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Modular Responsive Web Design using Element Queries

Lucas Wiener, Tomas Ekholm, Philipp Haller

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Translating Hierarchical Block Diagrams into Composite Predicate Transformers

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

From Network Traces to System Responses: Opaquely Emulating Software Services

Miao Du, Steve Versteeg, ... (+3 more)

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Automated Synthesis of Distributed Self-Stabilizing Protocols

Fathiyeh Faghih, Borzoo Bonakdarpour, ... (+2 more)

cs.SE 🏛 Log. Methods Comput. Sci. 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Using Software Categories for the Development of Generative Software

Pedram Mir Seyed Nazari, Bernhard Rumpe

cs.SE 🏛 ICMESD 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

What Soft Skills Software Architect Should Have? A Reflection from Software Industry

Faheem Ahmed, Piers Campbell, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example

Julien Signoles

cs.SE 🏛 F-IDE 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

Adaptive Automation: Leveraging Machine Learning to Support Uninterrupted Automated Testing of Software Applications

Rajesh Mathur, Scott Miles, Miao Du

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

A Framework for Process Assessment of Software Product Line

Fahem Ahmed, Luiz Fernando Capretz

cs.SE 🏛 arXiv 📚 4 cites 10 years ago

R.I.P. 👻 Ghosted

DCLfix: A Recommendation System for Repairing Architectural Violations

Ricardo Terra, Marco Tulio Valente, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 11 years ago

R.I.P. 👻 Ghosted

ModularityCheck: A Tool for Assessing Modularity using Co-Change Clusters

Luciana Silva, Daniel Felix, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 11 years ago

R.I.P. 👻 Ghosted

Formal Verification of Real-Time Function Blocks Using PVS

Linna Pang, Chen-Wei Wang, ... (+5 more)

cs.SE 🏛 ESSS 📚 4 cites 11 years ago

R.I.P. 👻 Ghosted

Indefinite waitings in MIRELA systems

Johan Arcile, Jean-Yves Didier, ... (+3 more)

cs.SE 🏛 ESSS 📚 4 cites 11 years ago

R.I.P. 👻 Ghosted

Dynamic Analysis can be Improved with Automatic Test Suite Refactoring

Jifeng Xuan, Benoit Cornu, ... (+4 more)

cs.SE 🏛 arXiv 📚 4 cites 11 years ago

R.I.P. 👻 Ghosted

Semantic Degrees for Industrie 4.0

Chih-Hong Cheng, Tuncay Guelfirat, ... (+4 more)

cs.SE 🏛 arXiv 📚 4 cites 11 years ago

R.I.P. 👻 Ghosted

On the adaptation of context-aware services

Marco Autili, Vittorio Cortellessa, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 11 years ago