🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Monitoring Assumptions in Assume-Guarantee Contracts

Oleg Sokolsky, Teng Zhang, ... (+2 more)

cs.SE 🏛 PrePost@IFM 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Program Repair by Stepwise Correctness Enhancement

Nafi Diallo, Wided Ghardallou, Ali Mili

cs.SE 🏛 PrePost@IFM 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Enterprise Software Service Emulation: Constructing Large-Scale Testbeds

Cameron Hine, Jean-Guy Schneider, ... (+2 more)

cs.SE 🏛 2016 IEEE/ACM International Workshop on Continuous Software Evolution and Delivery (CSED) 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Reliability Testing Strategy - Reliability in Software Engineering

Kevin Taylor-Sakyi

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Desiree - a Refinement Calculus for Requirements Engineering

Feng-Lin Li, John Mylopoulos

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

BanditRepair: Speculative Exploration of Runtime Patches

Thomas Durieux, Youssef Hamadi, Martin Monperrus

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Problem Solving in Sprego

Maria Csernoch, Piroska Biró

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Performance Localisation

Brendan Cody-Kenny, Michael O'Neill, Stephen Barrett

cs.SE 🏛 GI@ICSE 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Requirement verification in simulation-based automation testing

Eero Siivola, Seppo Sierla, ... (+3 more)

cs.SE 🏛 ICII 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Software Engineers' Attitudes Towards Organizational Change - an Industrial Case Study

Per Lenberg, Lars Göran Wallgren, Robert Feldt

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

State-Of-The-Art In Empirical Validation Of Software Metrics For Fault Proneness Prediction: Systematic Review

Bassey Isong, Obeten Ekabua

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Finite Countermodel Based Verification for Program Transformation (A Case Study)

Alexei P. Lisitsa, Andrei P. Nemytykh

cs.SE 🏛 VPT@ETAPS 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking

Jeroen Meijer, Jaco van de Pol

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Toward interoperability for the Internet of Things with meta-hubs

Julien Mineraud, Sasu Tarkoma

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations

Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Change Patterns for Model Creation: Investigating the Role of Nesting Depth

Barbara Weber, Jakob Pinggera, ... (+2 more)

cs.SE 🏛 CAiSE 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

DeltaImpactFinder: Assessing Semantic Merge Conflicts with Dependency Analysis

Martín Dias, Guillermo Polito, ... (+2 more)

cs.SE 🏛 ICST W 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps

Eric Umuhoza

cs.SE 🏛 STAF Doctoral Symposium 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Usability as a Dominant Quality Attribute

Arif Raza, Luiz Fernando Capretz

cs.SE 🏛 Software Engineering Research and Practice 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

An Intelligent Approach to Software Cost Prediction

Xishi Huang, Luiz Fernando Capretz, ... (+2 more)

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Calibrating Function Points Using Neuro-Fuzzy Technique

Wei Xia, Danny Ho, Luiz Fernando Capretz

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

TDD for Embedded Systems: A Basic Approach and Toolset

Rogerio Atem de Carvalho, Hudson Silva, ... (+2 more)

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Exploratory Analysis of Quality Practices in Open Source Domain

Jie Xu, Luiz Fernando Capretz, Danny Ho

cs.SE 🏛 Computer and Information Science 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Survey Results on Threats To External Validity, Generalizability Concerns, Data Sharing and University-Industry Collaboration in Mining Software Repository (MSR) Research

Ashish Sureka, Ambika Tripathi, Savita Dabral

cs.SE 🏛 arXiv 📚 3 cites 11 years ago