🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs

Xinwei Fu, Wook-Hee Kim, ... (+5 more)

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

The Fulib Solution to the TTC 2020 Migration Case

Sebastian Copei, Albert Zündorf

cs.SE 🏛 Transformation Tool Contest 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems

Fatma Kachi, Chafia Bouanaka, Souheir Merkouche

cs.SE 🏛 FMAS 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Modular Moose: A new generation software reverse engineering environment

Nicolas Anquetil, Anne Etien, ... (+7 more)

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Environment Modeling for Adaptive Systems: A Systematic Literature Review

Fabian Kneer, Erik Kamsties, Klaus Schmid

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Documentation Generation as Information Visualization

Will Crichton

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Software Framework for Testing of Automated Driving Systems in a Dynamic Traffic Environment

Demin Nalic, Aleksa Pandurevic, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Reframing the Test Pyramid for Digitally Transformed Organizations

Nicole Radziwill, Graham Freeman

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method

Masaki Nakamura, Kazutoshi Sakakibara, Kazuhiro Ogata

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Systematic literature review protocol Identification and classification of feature modeling errors

Samuel Sepúlveda, Jaime Díaz, Marcelo Esperguel

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

A Generic Framework For Capturing Reliability in Cyber Physical Systems

Nazakat Ali, Manzoor Hussain, ... (+2 more)

cs.SE 🏛 Esse 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Test4Enforcers: Test Case Generation for Software Enforcers

Michell Guzman, Oliviero Riganelli, ... (+2 more)

cs.SE 🏛 Runtime Verification 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Underpinning Theories of Software Engineering: Dynamism in Physical Sources of the Shannon Weaver Communication Model

Sabah Al-Fedaghi

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Retrieving and mining professional experience of software practice from grey literature: an exploratory review

Austen Rainer, Ashley Williams, ... (+2 more)

cs.SE 🏛 IET Software 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Exploring System Resiliency and Supporting Design Methods

James J. Cusick

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Multi-Approach Debugging of Industrial IoT Workflows

Andreia Rodrigues, Jose Pedro Silva, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

ConfEx: A Framework for Automating Text-based Software Configuration Analysis in the Cloud

Ozan Tuncer, Anthony Byrne, ... (+4 more)

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

The Impact of Auto-Refactoring Code Smells on the Resource Utilization of Cloud Software

Asif Imran, Tevfik Kosar

cs.SE 🏛 ICSE 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

An ad-hoc social network generation approach

Maurice Tchoupé Tchendji, Martin Xavier Tchembé, Armelle Linda Maténé Kakeu

cs.SE 🏛 International Journal of Software Engineering & Applications 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces

Xiaoxue Ma, Shangru Wu, ... (+5 more)

cs.SE 🏛 ACM TOSEM 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

More Effective Software Repository Mining

Adam Tutko, Austin Henley, Audris Mockus

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Dissipating with Relations: Implication for the Entity-Relationship Model

Sabah Al-Fedaghi

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

📚 📚 The Cartographer

A Survey of Software Code Review Practices in Brazil

Marcos Dosea, Claudio Sant'Anna, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Challenges in Developing Secure Mobile Health Applications, A Systematic Review

Bakheet Aljedaani, M. Ali Babar

cs.SE 🏛 arXiv 📚 2 cites 5 years ago