🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Bringing Back-in-Time Debugging Down to the Database

Arian Treffer, Michael Perscheid, Matthias Uflacker

cs.SE 🏛 SANER 📚 2 cites 9 years ago

📚 📚 The Cartographer

A Tutorial on Using Dafny to Construct Verified Software

Paqui Lucio

cs.SE 🏛 PROLE 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Source Code Verification for Embedded Systems using Prolog

Frank Flederer, Ludwig Ostermayer, ... (+2 more)

cs.SE 🏛 WLP / WFLP 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

Jiri Vinarek, Petr Hnetynka

cs.SE 🏛 FESCA@ETAPS 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

An initial performance review of software components for a heterogeneous computing platform

Ivan Švogor

cs.SE 🏛 ECSA 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Parichayana: An Eclipse Plugin for Detecting Exception Handling Anti-Patterns and Code Smells in Java Programs

Ashish Sureka

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

HADAS Green Assistant: designing energy-efficient applications

Nadia Gamez, Monica Pinto, Lidia Fuentes

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

A green program lifecycle supporting energy-efficient applications

Nadia Gamez, Jose-Miguel Horcas, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Multi-Objective Service Composition in Ubiquitous Environments with Service Dependencies

Nebil Ben Mabrouk, Nikolaos Georgantas, Valérie Issarny

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Software Quality - Traditional vs. Agile: an Empirical Investigation

Mohamad Kassab, JooYoung Lee, ... (+3 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

From Event-B to Verified C via HLL

Ning Ge, Arnaud Dieumegard, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Interprocedural Semantic Change-Impact Analysis using Equivalence Relations

Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery

Mohammad Amin Alipour, Alex Groce, ... (+3 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Systematic Mapping Protocol: Have Systematic Reuse Benefits Been Transferred to Real-world Settings?

Jose Luis Barros-Justo, Fernando Pinciroli, ... (+3 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Two limitations of our knowledge of quality

Johannes Reich

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Debugging of Markov Decision Processes (MDPs) Models

Hichem Debbi

cs.SE 🏛 CREST 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

A Combined Dependability and Security Approach for Third Party Software in Space Systems

David Escorial Rico, Mark Hann

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

From Manual Android Tests to Automated and Platform Independent Test Scripts

Mattia Fazzini, Eduardo Noronha de A. Freitas, ... (+2 more)

cs.SE 🏛 arXiv 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters

Thomas Brihaye, Benoît Delahaye, ... (+3 more)

cs.SE 🏛 EPTCS 220, 📚 2 cites 9 years ago

R.I.P. 👻 Ghosted

Generating Counterexamples for Model Checking by Transformation

G. W. Hamilton

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

R.I.P. 👻 Ghosted

GUICop: Approach and Toolset for Specification-based GUI Testing

Dalal Hammoud, Fadi A. Zaraket, Wes Masri

cs.SE 🏛 Software testing, verification & reliability 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Lessons from DEPLOYment

Manuel Mazzara, Cliff Jones, Alexei Iliasov

cs.SE 🏛 arXiv 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Formal refinement of extended state machines

Thomas Fayolle, Marc Frappier, ... (+2 more)

cs.SE 🏛 Refine@FM 📚 2 cites 10 years ago

R.I.P. 👻 Ghosted

Bubbles: a data management approach to create an advanced industrial interoperability layer for critical systems development applying reuse techniques

Aleksander Lodwich, Jose María Alvarez-Rodríguez

cs.SE 🏛 arXiv 📚 2 cites 10 years ago