International Workshop on Constraints in Software Testing, Verification and Analysis 2016 (CSTVA’16)

Organizers: Christoph M. Wintersteiger, Omer Tripp
Sunday, July 17

CSTVA brings together researchers from the areas of constraint solving, programming languages (PL), and software engineering (SE). CSTVA aims to cover a broad range of topics related to usage of popular solving techniques (including SAT, SMT, ATP, CP, CSP, etc) in PL/SE, examples being testing and verification based on symbolic execution, constraint-based synthesis, etc. In bringing together researchers from the different communities, CSTVA enables feedback, guidance, insight and collaboration.

More Details

Designing Code Analysis Frameworks (DECAF 2016)

Organizers: Karim Ali, Eric Bodden, Julian Dolby, Yannis Smaragdakis
Sunday, July 17

DECAF aims at gathering the minds behind various code-analysis frameworks for two primary purposes. The first is to discuss the lessons they have learned throughout the process of designing and then using those frameworks. The second is to plan the future, as a community of users of these frameworks, by identifying our wish-list if we are about to design our ideal code-analysis framework, and to discuss conflicting goals and tradeoffs. Join us to shape the future of code-analysis frameworks!

More Details

2nd International Workshop on Quality-Aware DevOps (QUDOS 2016)

Organizers: Danilo Ardagna, Giuliano Casale, Andre van Hoorn, Felix Willnecker
Thursday, July 21

DevOps has emerged in recent years as a set of principles and practices for smoothing out the gap between software development and operations. So far, software engineering research has mainly explored these problems from a functional perspective. However, this has left behind the definition of methods and tools for DevOps to assess, predict, and verify quality dimensions (including performance, reliability, among others). Bringing together experts from academia and industry, QUDOS aims to identify and disseminate novel quality-aware approaches to DevOps.

More details

2nd International Workshop on User Interface Test Automation (INTUITEST 2016)

Organizers: Aho Pekka, Tanja Vos
Thursday, July 21

International Workshop on User Interface Test Automation (INTUITEST) aims to bring together the leading researchers and tool developers working on topics related to the automated testing of software systems through the user interfaces, including but not limited to graphical user interfaces, user interfaces of mobile devices and applications, and user interfaces of web applications. As automated testing is very tool dependent, there is a separate tools track with live or video demonstrations.

More details