R.I.P.
👻
Ghosted
🏛️ The Software Engineering Crypt
cs.SE: Where Software Engineering papers rest without their code.
16351
Total Papers
13410
No Code
294
Twilight
2647
Has Code
16.2%
Survival Rate
R.I.P.
👻
Ghosted
What to Fix? Distinguishing between design and non-design rules in automated tools
R.I.P.
👻
Ghosted
From Temporal Models to Property-Based Testing
R.I.P.
👻
Ghosted
Using Source Code Metrics and Ensemble Methods for Fault Proneness Prediction
R.I.P.
👻
Ghosted
A Software Reuse Approach and Its Effect On Software Quality, An Empirical Study for The Software Industry
R.I.P.
👻
Ghosted
Causality and Responsibility for Formal Verification and Beyond
R.I.P.
👻
Ghosted
On the Distinction of Functional and Quality Requirements in Practice
R.I.P.
👻
Ghosted
At Ease with Your Warnings: The Principles of the Salutogenesis Model Applied to Automatic Static Analysis
R.I.P.
👻
Ghosted
Self-Awareness of Cloud Applications
R.I.P.
👻
Ghosted
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
R.I.P.
👻
Ghosted
Analysis of Software Delivery Process Shortcomings and Architectural Pitfalls
R.I.P.
👻
Ghosted
Model Checking of BPMN Models for Reconfigurable Workflows
R.I.P.
👻
Ghosted
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
R.I.P.
👻
Ghosted
Symbolic Reachability Analysis of B through ProB and LTSmin
R.I.P.
👻
Ghosted
Alloy meets TLA+: An exploratory study
R.I.P.
👻
Ghosted
From Design Contracts to Component Requirements Verification
R.I.P.
👻
Ghosted
TANGO: Transparent heterogeneous hardware Architecture deployment for eNergy Gain in Operation
R.I.P.
👻
Ghosted
Detection and Quantification of Flow Consistency in Business Process Models
R.I.P.
👻
Ghosted
A Learning Algorithm for Change Impact Prediction
R.I.P.
👻
Ghosted
Software-Based Fault Recovery via Adaptive Diversity for COTS Multi-Core Processors
R.I.P.
👻
Ghosted
Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability
R.I.P.
👻
Ghosted
To What Extent Is Stress Testing of Android TV Applications Automated in Industrial Environments?
R.I.P.
👻
Ghosted
Evaluation of Variability Concepts for Simulink in the Automotive Domain
R.I.P.
👻
Ghosted