🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014

Martin Becker, Emanuel Regnath, Samarjit Chakraborty

cs.SE 🏛 ICCSRS 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Code review and cooperative pair programming best practice

Qiang Fu, Francis Grady, ... (+5 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

The risk factors affecting to the software quality failures in Sri Lankan Software industry

Namadawa Bashini Jeewanthi Gamage

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

CodeCity for (and by) JavaScript

Marcos Viana, Andre Hora, Marco Tulio Valente

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J

Jiajun Jiang, Yingfei Xiong

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Towards Decision Support for Smart Energy Systems based on Spatio-temporal Models

Jan Olaf Blech, Lasith Fernando, ... (+3 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Automatically Installing and Deploying Tools for Conducting Systematic Reviews in ReLiS

Brice M. Bigendako, Eugene Syriani

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

ACDC: Altering Control Dependence Chains for Automated Patch Generation

Rawad Abou Assi, Chadi Trad, Wes Masri

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Monitoring Information Quality within Web Service Composition and Execution

Thanh Thoa Pham Thi, Markus Helfert

cs.SE 🏛 Integrated Spatial Databases 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Verification of Concurrent Engineering Software Using CSM Models

Jerzy Mieścicki, Mikołaj Baszun, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Application of Econometric Data Analysis Methods to Physics Software

Maria Grazia Pia, Elisabetta Ronchieri

cs.SE 🏛 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD) 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Modelling collaborative services: The COSEMO model

Thanh Thoa Pham Thi, Thang Le Dinh, ... (+2 more)

cs.SE 🏛 ICSDT 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

A Decision Support Method for Recommending Degrees of Exploration in Exploratory Testing

Ahmad Nauman Ghazi, Kai Petersen, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Modeling Uncertainty and Evolving Self-Adaptive Software: A Fuzzy Theory Based Requirements Engineering Approach

Zhuoqun Yang, Zhi Jin, Zhi Li

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Achieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach

Zhuoqun Yang, Zhi Jin, Zhi Li

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Exploratory Testing: One Size Doesn't Fit All

Ahmad Nauman Ghazi, Kai Petersen, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

A Thematic Study of Requirements Modeling and Analysis for Self-Adaptive Systems

Zhuoqun Yang, Zhi Li, Zhi Jin

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Requirements-Driven Dynamic Adaptation to Mitigate Runtime Uncertainties for Self-Adaptive Systems

Zhuoqun Yang, Wei Zhang, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Modelling politics in requirements engineering: adding emoji to existing notations

Rana Siadati, Paul Wernick, Vito Veneziano

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

System level specification and verification using Concurrent State Machines and COSMA environment

Wiktor B. Daszczuk, Jerzy Mieścicki, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Redundancy Suppression In Time-Aware Dynamic Binary Instrumentation

Pansy Arafa, Hany Kashif, Sebastian Fischmeister

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

An architecture for non-invasive software measurement

Vasilii Artemev, Vladimir Ivanov, ... (+5 more)

cs.SE 🏛 Ershov Informatics Conference 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

jSET - The Java Software Evolution Tracker

Arthur-Jozsef Molnar

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa"

Lilian Burdy, David Déharbe, Étienne Prun

cs.SE 🏛 F-IDE@FM 📚 2 cites 9 years ago