Opentocs

SEmotion '18- Proceedings of the 3rd International Workshop on Emotion Awareness in Software Engineering

SEmotion '18- Proceedings of the 3rd International Workshop on Emotion Awareness in Software Engineering

Full Citation in the ACM Digital Library

SESSION: Sentiment analysis in open source

The evolution of emotional displays in open source software development teams: an individual growth curve analysis

  • Karl Werder

Software developers communicate and interact with each other in order to solve complex problems. Such communication often includes emotional displays that have been shown to influence team processes and performance. Yet, little is known about the evolution of team emotional displays. Hence, we investigate a sample of 1121 Open Source Software (OSS) projects from GitHub, using longitudinal data analysis. The results from growth curve analysis shows that the team emotional display decrease over time. This negative linear trend decelerates mid-term as suggested by a positive quadratic trend of time. Such deceleration diminishes toward the end as a negative cubic trend suggests.

Continue reading

ACM SIGSOFT Software Engineering Notes: Vol. 44, No. 1. 2019

Full Citation in the ACM Digital Library

SESSION: Columns

Passages

  • Alex Groce

In every larger-scale endeavor, or at least in most larger-scale endeavors, there comes a time to evaluate progress, solicit opinion, ask your public, survey your customers -- in short, to find out if what you are doing is actually worth doing. In some cases, this step may be omitted, or the results ignored: it is possible that if Herman Melville had shown people Moby Dick when he was half-done with it, everyone except Nathaniel Hawthorne would have said "Er, we're not sure what this is all about. Where's the nice adventure of Omoo? Just what are you up to, Sir?" He should not have therefore ditched the manuscript and gone on to something else; also, Nathaniel Hawthorne gets 50,000 votes. However, in general, you (and I) are not Melville writing Moby Dick. Scientific projects tend to publish some papers before they are "complete" and if these are universally derided and rejected, or receive no citations, it is often the case that they are doing nothing of much interest. There are exceptions, but they are rarer, perhaps, than we might think. Most things that are ignored are ignored for a good reason.

Continue reading

SERF 2017- Proceedings of the 1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics

Continue reading

SER&IP '18- Proceedings of the 5th International Workshop on Software Engineering Research and Industrial Practice

SER&IP '18- Proceedings of the 5th International Workshop on Software Engineering Research and Industrial Practice

Full Citation in the ACM Digital Library

Decoding technology transfer through experiences at microsoft

  • Dongmei Zhang

Technology transfer is an important form of collaboration between software engineering researchers and industrial practitioners. Despite benefits to both parties, it remains a huge challenge to carry out a technology transfer successfully. Based on the experiences at Microsoft, this talk discusses some key aspects in technology transfer, including technology readiness, partnership building, and one team as collaboration model.

Continue reading

SER&IPs 2014- Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices

SER&IPs 2014- Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices

Full Citation in the ACM Digital Library

Continue reading

SEsCPS '18- Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems

SEsCPS '18- Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems

Full Citation in the ACM Digital Library

SESSION: Keynote

Multi-paradigm modelling of cyber-physical systems: extended abstract

  • Hans Vangheluwe

The networking of multi-physics (mechanical, electical, hydraulic, biochemical, ...) with computational systems (control systems, signal processing, logical inferencing, planning, ...) processes, interacting with often uncertain environments, with human actors, in a socio-economic context, leads to so-called Cyber-Physical Systems (CPS).

Continue reading

SESoS '18- Proceedings of the 6th International Workshop on Software Engineering for Systems-of-Systems

SESoS '18- Proceedings of the 6th International Workshop on Software Engineering for Systems-of-Systems

Full Citation in the ACM Digital Library

SESSION: Modelling, adaptation and reconfiguration of SoS

A meta-model for representing system-of-systems ontologies

  • Young-Min Baek
  • Jiyoung Song
  • Yong-Jun Shin
  • Sumin Park
  • Doo-Hwan Bae

A System-of-Systems (SoS) is a large-scale complex system that integrates multiple constituent systems, which have managerial and operational independence. In order to achieve higher-level common goals of an SoS, it is important to systematically integrate independent constituent systems by thoroughly analyzing and designing the target SoS as a whole. But before conducting these engineering activities, a number of various SoS stakeholders and engineers should be able to understand their SoS. In order to provide a holistic view as a common knowledge base, this paper focuses on developing a conceptual meta-model that represents SoS ontologies. By investigating several documents for Mass Casualty Incident (MCI) response systems, we identified essential objects and required features for SoS descriptions. Based on the investigation, we generalized the objects into SoS entities, and we develop a meta-model, called M2SoS (Meta-model for System-of-Systems). To design our M2SoS, we borrowed organizational concepts from meta-models for multi-agent systems, and entities and relationships are redefined to specify SoS concepts in M2SoS. Finally, M2SoS is analyzed with respect to SoS characteristics, and we evaluate if M2SoS can represent high-level ontologies for two SoS case scenarios.

Continue reading

SoHeal '18- Proceedings of the 1st International Workshop on Software Health

SoHeal '18- Proceedings of the 1st International Workshop on Software Health

Full Citation in the ACM Digital Library

SESSION: Keynote

Lessons learned from the linux kernel: creating sustained healthy communities

  • Kate Stewart

The Linux Kernel is one of the most successful open source projects to date. After 26 years, the rate of code contribution continues to be high, new developers are still being attracted to participating, and the code is in widespread use. By analyzing the contributions, we can see how individuals impact the kernel's evolution as a whole, as do the organizations in the kernel ecosystem. So what lessons can we learn from this information? What information is relevant to software community health in general that is not being caught in traditional health metrics? This keynote will discuss how the insights from the Linux kernel are being applied to other Linux Foundation open source projects to create healthy vibrant communities producing useful code for us all.

Continue reading

SPIN 2014- Proceedings of the 2014 International SPIN Symposium on Model Checking of Software

SPIN 2014- Proceedings of the 2014 International SPIN Symposium on Model Checking of Software

Full Citation in the ACM Digital Library

SESSION: Research Papers

Approximating happens-before order: interplay between static analysis and state space traversal

  • Pavel Parízek
  • Pavel Jančík

Local state space construction for compositional verification of concurrent systems

  • Hao Zheng

Exploiting synchronization in the analysis of shared-memory asynchronous programs

  • Michael Emmi
  • Burcu Kulahcioglu Ozkan
  • Serdar Tasiran

Certification for configurable program analysis

  • Marie-Christine Jakobs
  • Heike Wehrheim

Incremental bounded software model checking

  • Henning Günther
  • Georg Weissenbacher

An improvement of the piggyback algorithm for parallel model checking

  • Ioannis Filippidis
  • Gerard J. Holzmann

Satisfiability modulo abstraction for separation logic with linked lists

  • Aditya Thakur
  • Jason Breck
  • Thomas Reps

Is there a best büchi automaton for explicit model checking?

  • František Blahoudek
  • Alexandre Duret-Lutz
  • Mojmír Křetínský
  • Jan Strejček

Generic and efficient attacker models in SPIN

  • Noomene Ben Henda

Towards a GPGPU-parallel SPIN model checker

  • Ezio Bartocci
  • Richard DeFrancisco
  • Scott A. Smolka

SESSION: Short Papers

Automatic handling of native methods in Java PathFinder

  • Nastaran Shafiei
  • Franck van Breugel

CTL+FO verification as constraint solving

  • Tewodros A. Beyene
  • Marc Brockschmidt
  • Andrey Rybalchenko

Quantifying information leaks using reliability analysis

  • Quoc-Sang Phan
  • Pasquale Malacaria
  • Corina S. Păsăreanu
  • Marcelo D'Amorim

Toward parameterized verification of synchronous distributed applications

  • Sagar Chaki
  • James Edmondson

Towards a test automation framework for alloy

  • Allison Sullivan
  • Razieh Nokhbeh Zaeem
  • Sarfraz Khurshid
  • Darko Marinov

SpinCause: a tool for causality checking

  • Florian Leitner-Fischer
  • Stefan Leue

Verige: verification with invariant generation engine

  • Nicolas Latorre
  • Francesco Alberti
  • Natasha Sharygina

SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker

  • Zmago Brezočnik
  • Boštjan Vlaovič
  • Aleksander Vreže

TravMC2: higher-order model checking for alternating parity tree automata

  • Robin P. Neatherway
  • C.-H. Luke Ong

Unit testing for SPIN: runspin and parsepan

  • Theo C. Ruys

Continue reading

SPIN 2017- Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software

SPIN 2017- Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software

Full Citation in the ACM Digital Library

SESSION: Invited Papers

Cobra: fast structural code checking (keynote)

  • Gerard J. Holzmann

Automated formal reasoning about amazon web services (keynote)

  • Byron Cook

SunDew: systematic automated security testing (keynote)

  • Domagoj Babic

SESSION: Reports

The RERS 2017 challenge and workshop (invited paper)

  • Marc Jasper
  • Maximilian Fecke
  • Bernhard Steffen
  • Markus Schordan
  • Jeroen Meijer
  • Jaco van de Pol
  • Falk Howar
  • Stephen F. Siegel

SESSION: Symbolic Verification

Distributed binary decision diagrams for symbolic reachability

  • Wytse Oortwijn
  • Tom van Dijk
  • Jaco van de Pol

SESSION: Model Checking I

Addressing challenges in obtaining high coverage when model checking Android applications

  • Heila Botha
  • Oksana Tkachuk
  • Brink van der Merwe
  • Willem Visser

LeeTL: LTL with quantifications over model objects

  • Pouria Mellati
  • Ehsan Khamespanah
  • Ramtin Khosravi

Explicit state model checking with generalized Büchi and Rabin automata

  • Vincent Bloemen
  • Alexandre Duret-Lutz
  • Jaco van de Pol

SESSION: Code Verification

Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners

  • Daniel Ratiu
  • Andreas Ulrich

SESSION: Runtime Enforcement

Runtime enforcement using Büchi games

  • Matthieu Renard
  • Antoine Rollet
  • Yliès Falcone

Runtime enforcement of reactive systems using synchronous enforcers

  • Srinivas Pinisetty
  • Partha S. Roop
  • Steven Smyth
  • Stavros Tripakis
  • Reinhard von Hanxleden

SESSION: Model Checking - Short Papers

SIMPAL: a compositional reasoning framework for imperative programs

  • Lucas Wagner
  • David Greve
  • Andrew Gacek

Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study

  • Marco A. Feliú
  • Camilo Rocha
  • Swee Balachandran

Formal verification of data-intensive applications through model checking modulo theories

  • Marcello M. Bersani
  • Francesco Marconi
  • Matteo Rossi
  • Madalina Erascu
  • Silvio Ghilardi

SESSION: Program Synthesis

Practical controller synthesis for MTL<sub>0,&#8734;</sub>

  • Guangyuan Li
  • Peter Gjøl Jensen
  • Kim Guldstrand Larsen
  • Axel Legay
  • Danny Bøgsted Poulsen

An ordered approach to solving parity games in quasi polynomial time and quasi linear space

  • John Fearnley
  • Sanjay Jain
  • Sven Schewe
  • Frank Stephan
  • Dominik Wojtczak

A hot method for synthesising cool controllers

  • Idress Husien
  • Nicolas Berthier
  • Sven Schewe

SESSION: Model Checking II

Backward coverability with pruning for lossy channel systems

  • Thomas Geffroy
  • Jérôme Leroux
  • Grégoire Sutre

Model learning and model checking of SSH implementations

  • Paul Fiterău-Broştean
  • Toon Lenaerts
  • Erik Poll
  • Joeri de Ruiter
  • Frits Vaandrager
  • Patrick Verleg

CARET model checking for malware detection

  • Huu-Vu Nguyen
  • Tayssir Touili

SESSION: Program Sketching

EdSketch: execution-driven sketching for Java

  • Jinru Hua
  • Sarfraz Khurshid

SESSION: Testing

Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)

  • Michalis Kokologiannakis
  • Konstantinos Sagonas

Optimizing parallel Korat using invalid ranges

  • Nima Dini
  • Cagdas Yelen
  • Sarfraz Khurshid

SESSION: Testing - Short Papers

Guided test case generation for mobile apps in the TRIANGLE project: work in progress

  • Laura Panizo
  • Alberto Salmerón
  • María-del-Mar Gallardo
  • Pedro Merino

ExpoSE: practical symbolic execution of standalone JavaScript

  • Blake Loring
  • Duncan Mitchell
  • Johannes Kinder

Continue reading