🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)

Chunhui Guo, Zhicheng Fu, ... (+3 more)

cs.SE 🏛 IEEE IoTJ 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

A Metric of Software Size as a Tool for IT Governance

Marcus Vinicius Borela de Castro, Carlos Alberto Mamede Hernandes

cs.SE 🏛 Brazilian Symposium on Software Engineering 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Which Source Code Plagiarism Detection Approach is More Humane?

Oscar Karnalim, Lisan Sulistiani

cs.SE 🏛 ICAST 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Using JSON-LD to Compose Different IoT and Cloud Services

Darko Andročec

cs.SE 🏛 arXiv 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

DroidBugs: An Android Benchmark for Automated Program Repair

Larissa Azevedo, Altino Dantas, Celso G. Camilo-Junior

cs.SE 🏛 arXiv 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

Tobias R. Gundersen, Florian Lorber, ... (+2 more)

cs.SE 🏛 ICGALFV 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

The Case for API Communicability Evaluation: Introducing API-SI with Examples from Keras

Luiz Marques Afonso, João Antonio Marcondes Dutra Bastos, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

The State of Sustainable Research Software: Results from the Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE5.1)

Daniel S. Katz, Stephan Druskat, ... (+3 more)

cs.SE 🏛 J.ORS 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Recommending Relevant Sections from a Webpage about Programming Errors and Exceptions

Mohammad Masudur Rahman, Chanchal K. Roy

cs.SE 🏛 Conference of the Centre for Advanced Studies on Collaborative Research 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Data-Driven Application Maintenance: Views from the Trenches

Janardan Misra, Shubhashis Sengupta, ... (+3 more)

cs.SE 🏛 2017 IEEE/ACM 4th International Workshop on Software Engineering Research and Industrial Practice (SER&IP) 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier

Eun-Young Kang, Li Huang

cs.SE 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

C-BPMN: A Context Aware BPMN for Modeling Complex Business Process

Debarpita Santra, Sankhayan Choudhury

cs.SE 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

BPjs --- a framework for modeling reactive systems using a scripting language and BP

Michael Bar-Sinai, Gera Weiss, Reut Shmuel

cs.SE 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE

John Galea, Sean Heelan, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Online and Offline Analysis of Streaming Data

Sheik Hoque, Andriy Miranskyy

cs.SE 🏛 ICSAC 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Toward a Better Understanding of How to Develop Software Under Stress - Drafting the Lines for Future Research

Joseph Alexander Brown, Vladimir Ivanov, ... (+4 more)

cs.SE 🏛 ICENASE 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

An Easy & Collaborative RDF Data Entry Method using the Spreadsheet Metaphor

Markus Schröder, Christian Jilek, ... (+3 more)

cs.SE 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Integrating Software Engineering Key Practices into an OOP Massive In-Classroom Course: an Experience Report

Marco Torchiano, Giorgio Bruno

cs.SE 🏛 2018 IEEE/ACM International Workshop on Software Engineering Education for Millennials (SEEM) 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Why Software Effort Estimation Needs SBSE

Tianpei Xia, Jianfeng Chen, ... (+3 more)

cs.SE 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Making Sense of the World: Models for Reliable Sensor-Driven Systems

Muffy Calder, Simon Dobson, ... (+2 more)

cs.SE 🏛 De Computis 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Generic Library Interception for Improved Performance Measurement and Insight

Ronny Brendel, Bert Wesarg, ... (+4 more)

cs.SE 🏛 ESPT/VPA@SC 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Model-based Verification and Validation of an Autonomous Vehicle System

Eun-Young Kang, Dongrui Mu, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing

Saahil Ognawala, Alexander Pretschner, ... (+3 more)

cs.SE 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

Building Better Quality Predictors Using "$ε$-Dominance"

Wei Fu, Tim Menzies, ... (+2 more)

cs.SE 🏛 arXiv 📚 4 cites 8 years ago