7th International Workshop on TESting Techniques for event BasED Software (TESTBEDS 2017)

This workshop aims to bring together researchers from both Academia and Industry with the aim of sharing ideas and presenting research on the state of the art in testing techniques for event based software/systems (EBS). Examples of EBS include graphical user interfaces (GUIs), web applications, mobile applications, network protocols, embedded software, web services, device drivers and IoT systems.

One of the key properties of EBS is the simplified, implicit interaction between components that is based on the exchange of events. The interaction is limited to one component publishing an event that can be received by one or more other components, with no inherent coordination, continuation or context preservation. Due to the loose coupling and the implicit interaction between its components, event-based systems may be highly scalable and easy to evolve, but at the same time they can be more difficult to test and debug. Effective strategies, techniques and tools are needed for addressing all the critical aspects of EBS testing and their effectiveness should be experimented with different types of EBS.

2nd International Workshop on Software Support for Collaborative and Global Software Engineering (SCGSE)

Collaboration is a fundamental problem of global software engineering. The Second International Workshop on Software Support for Collaborative and Global Software Engineering aims to bring together researchers interested in software support for collaborative software engineering, including researchers interested in global collaborations. The intent is to involve a wide range of researchers including those who develop software tool support, perform modeling, or perform empirical (quantitative or qualitative) studies of collaborative and global software engineering. The workshop will serve as the unique connector between automated software engineering and global software engineering communities. The hope is to reflect recent progress in both areas.

1st International Workshop on Automated Specification Inference (WASPI)

Specifications provide programmers with a precise description of what an implementation should do. Formal specifications can even automatically verify the code and specification are consistent, providing additional guarantees. However, most programmers do not write such specifications as it is either too hard, too time consuming, or requires expertise not widely available. WASPI provides a venue for researchers and practitioners to come together and discuss the current state of the art of and challenges to specification inference techniques and tools. For example, how do we infer more complex and usable specifications? How do we increase the accuracy of the inference techniques? How do we encourage practitioners to use the inference tools and techniques more than they currently do? The goal of this workshop is to identify the most pressing open problems facing specification inference researchers and provide a solid direction toward solving those problems.

Java Pathfinder Workshop 2017 (JPF)

This year, the workshop is co-located with ASE in Urbana-Champaign, IL, USA on November 3, 2017. The goal of the workshop is to highlight research and tools for Java/Android program verification and analysis. Although there is a particular emphasis on the JPF tool, and on projects that use JPF to support basic research, tool development, or verification case studies, the workshop also welcomes contributions related to general program analysis of Java/Android programs. The hope is to use the workshop to grow the community of researchers investigating Java, Android, and JPF in an effort to foster collaboration and define future needs for program analysis of Java/Android.

6th International Workshop on Software Mining (SoftwareMining-2017)

The Sixth International Workshop on Software Mining aims to bridge research in the data mining community and software engineering community by providing an open and interactive forum for researchers who are interested in software mining to discuss the methodologies and technical foundations of software mining, approaches and techniques for mining various types of software-related data, and applications of data mining to facilitate specialized tasks in software engineering. Participants of diverse background in either data mining or software engineering can benefit from this workshop by sharing their expertise, exchanging ideas, and discussing new research results.

Authors who are interested in software mining are invited to submit their manuscripts related to all aspects of software mining, including software mining foundations, mining specific software data, software mining in specialized tasks, etc.

Towards a National Java Resource

This workshop is the second in a series of workshops with the goal to work towards the establishment of a National Java Resource (NJR). Our vision is a collection of 10,000 Java projects, each of which builds and runs, and for which popular tools succeed and have cached outputs. NJR will lower the barrier to implementation of new tools, speed up research, and ultimately help advance research frontiers. In particular, NJR will enable tools that take advantage of Big Code in such areas as code synthesis, error repair, and program understanding. What do researchers need from NJR to make progress on their tools? A common road block is that existing collections of Java code are either small, without ability to build and run, or both. The main goals of the workshops are to discuss the list of tools that researchers commonly use as building blocks for their own tools, debate what features of the National Java Resource that researchers would like to see, and see how an early prototype of the National Java Resource works.