🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Finding Higher Order Mutants Using Variational Execution

Serena Chen

cs.SE 🏛 arXiv 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Petri Nets and Machines of Things That Flow

Sabah Al-Fedaghi, Dana Shbeeb

cs.SE 🏛 Intelligent Systems with Applications 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Enabling Visual Design Verification Analytics - From Prototype Visualizations to an Analytics Tool using the Unity Game Engine

Markus Borg, Daniel Brytting, Daniel Hansson

cs.SE 🏛 arXiv 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

CFAAR: Control Flow Alteration to Assist Repair

Chadi Trad, Rawad Abou Assi, ... (+2 more)

cs.SE 🏛 ICSRE W 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

AutoFrame: Automatic Frame Inference for Object-Oriented Languages

Victor Rivera, Bertrand Meyer

cs.SE 🏛 arXiv 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs

Victor Rivera, Bertrand Meyer

cs.SE 🏛 SN Computer Science 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Bringing Runtime Verification Home -- A Case Study on the Hierarchical Monitoring of Smart Homes using Decentralized Specifications

Antoine El-Hokayem, Yliès Falcone

cs.SE 🏛 arXiv 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Debugging Native Extensions of Dynamic Languages

Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck

cs.SE 🏛 Managed Languages & Runtimes 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Fast & Flexible IO : A Compositional Approach to Storage Construction for High-Performance Devices

Daniel G. Waddington

cs.SE 🏛 arXiv 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

RuntimeSearch: Ctrl+F for a Running Program

Matúš Sulír, Jaroslav Porubän

cs.SE 🏛 ASE 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Model-Based Monitoring for IoTs Smart Cities Applications

Matteo Orrù, Marco Mobilio, ... (+4 more)

cs.SE 🏛 arXiv 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Moving Beyond the Mean: Analyzing Variance in Software Engineering Experiments

Adrian Santos, Markku Oivo, Natalia Juristo

cs.SE 🏛 ICPFSPI 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Performance and Programming Effort Trade-offs of Android Persistence Frameworks

Zheng "Jason'' Song, Jing Pu, ... (+2 more)

cs.SE 🏛 JSS 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Verification of Shared-Reading Synchronisers

Afshin Amighi, Marieke Huisman, Stefan Blom

cs.SE 🏛 MeTRiD@ETAPS 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design

Simon Bliudze, Saddek Bensalem

cs.SE 🏛 MeTRiD@ETAPS 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Probabilistic Software Modeling

Hannes Thaller

cs.SE 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Engaging Millennials into Learning Formal Methods

Néstor Cataño

cs.SE 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

A Formal Model of the Safety-Critical Java Level 2 Paradigm

Matt Luckcuck, Ana Cavalcanti, Andy Wellings

cs.SE 🏛 FM 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Robustness Testing of Intermediate Verifiers

Yu-Ting Chen, Carlo A. Furia

cs.SE 🏛 ATVA 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

A Focused Mapping Study on Customization in Interactive Technologies for Autism

Roberto E. Lopez-Herrejon, Gerardo Herrera, Javier Sevilla

cs.SE 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Towards the Automation of Metamorphic Testing in Model Transformations

Javier Troya, Sergio Segura, Antonio Ruiz-Cortés

cs.SE 🏛 arXiv 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Assurance Benefits of ISO 26262 compliant Microcontrollers for safety-critical Avionics

Andreas Schwierz, Håkan Forsberg

cs.SE 🏛 ICCSRS 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Combinatorial Modeling and Test Case Generation for Industrial Control Software using ACTS

Sara Ericsson, Eduard Enoiu

cs.SE 🏛 ICSQRS 📚 2 cites 8 years ago

R.I.P. 👻 Ghosted

Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin

Pascal André, Christian Attiogbé, Arnaud Lanoix

cs.SE 🏛 arXiv 📚 2 cites 8 years ago