ICSE 2019: Montreal, QC, Canada - Companion Volume

Keynotes

Technical briefings

Static analysis

Debugging and fault localization

IoT and cooperative systems

Security 2

Test generation

Analysis and verification

Model-based software engineering

SE datasets, research infrastructure, and methodology

Process and project management

Requirements

Tool taxonomy and adoption

Dependencies

Requirements engineering for mass-market software

Concurrency

Mining software changes and patterns

Software product lines

API analysis

IDEs

Specifications and models

Testing of AI systems

APIs

Student research competition

Doctoral symposium

Poster papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics