[ecoop-info] CFP: ASE 2013 Workshops

ASE2013 invitation at ira.uka.de
Thu Jul 25 17:57:37 CEST 2013

                        - ASE 2013 WORKSHOPS -

         * JPF * RERS * MALIR-SE * SoftMine * MOMPES * TRANSFER *

28th IEEE/ACM International Conference on Automated Software Engineering

             November 11-15, 2013, Silicon Valley, California



                        JOINT CALL FOR PAPERS


   * The Java Pathfinder Workshop 2013

       Abstract:                  Jul 28
       Full Paper:                Aug 01

   * RERS: Rigorous Examination of Reactive Systems Workshop

       Training Phase:   May 21 - Jun 30
       Challenge Phase:  Jul 05 - Sep 30

   * MALIR-SE: First International Workshop on Machine Learning and
     Information Retrieval for Software Engineering

       Abstract:                  Aug 01
       Full Paper:                Aug 06

   * SoftMine: The Second International Workshop on Software Mining

       Full Paper:                Aug 08

   * MOMPES: 9th International Workshop on Model-based Methodologies for
     Pervasive and Embedded Software

       Full Paper:                Aug 08

   * TRANSFER: The International Workshop on Transfer Learning in
     Software Engineering

       Full Paper:                Aug 18


   * Web: http://ase2013.org/workshops.html
   * Email: ase2013workshops at easychair.org


                   - Java Path Finder Workshop -


We solicit submissions for existing research, applications, work in
progress, and position papers on topics related to JPF or its
extensions. If the underlying research idea has been published in
another venue the paper needs to clarify the novel aspects that are
being presented in the paper. We also solicit comparative analysis
papers that evaluate algorithms in JPF or its extensions with relevant
tools. The goal of the workshop is to encourage the flow of ideas
relevant to JPF. The papers should be at most 5 pages long in the ACM
Proceedings format.

Accepted papers will be published in the ACM digital library.


    Peter Mehlitz, NASA Ames
    Neha Rungta, NASA Ames
    Willem Visser, U. Stellenbosch


                             - RERS -
          Rigorous Examination of Reactive Systems Workshop

The RERS Challenge series aims at a systematic investigation,
evaluation, comparison, combination and improvement of any kind of
methods for the analysis and validation of reactive systems, be they
static, dynamic, black box or white box. Its second edition, the (RERS
Challenge 2012), focused on ECA systems, a popular class of reactive
systems, which comprises in particular Web services, decision support
systems, and programmable logical controllers (PLCs). Besides their
industrial relevance, ECA systems where chosen as they are on the one
hand fully 'white-box': the full Java/C code will be available, but one
the other hand have a black-box character: being simply one huge loop of
guarded commands, the ECA code structure essentially reveals nothing
about the implemented functionality. This property was meant to also
address competitors who base their validation on execution rather than
source code analysis.

The RERS Challenge 2013 builds on last year's experience. It involves
more complex code/data structures in order to attract source code
analyzers, and it explicitly addresses execution-based analyses by
providing black box and grey box scenarios. In particular the latter
scenarios are challenging as they profit most from the combination of
source code and execution-based analyses. We therefore hope to encourage
people working on areas as diverse as

* program analysis and verification,
* symbolic execution,
* software model checking,
* statistical model checking,
* model-based testing,
* inference of invariants,
* automata learning,
* run-time verification,
* monitoring,

to not only apply there 'home' methods, but to investigate how their
methods can be improved by combining them with others.


The RERS Challenge 2013 will provide a wealth of Benchmark problems of
increasing complexity, the more involved of which will probably be
beyond any individual state-of-the-art method or tool. A large set of
Benchmarks will be synthesized to exhibit chosen properties, and then
enhanced in an automated process to cover dedicated dimensions of
difficulty, including:

1. conceptual complexity of the exhibited properties (reachability,
    safety, liveness),
2. size of the systems (from a few hundred lines of code to millions
    of them), and
3. language features (arrays, indirect addressing, floating point
    arithmetics, virtual method calls, recursion).

Automatically generated problems will be presented

* white box: i.e. in Java and C,
* black box: as executables, not meant to be textually analyzed,
* grey box: a mixture thereof.

The challenge rules are essentially free style in order include as many
participants as possible. They have a numeric part, which allows for a
clear ranking in terms of number of correctly answered questions, and a
textual part, where competitors are supposed to describe the approach.
This part will be evaluated by the RERS committee. Details about the
ranking or evaluation method can be found here.

There are five price categories: white box, black box, grey box, overall
and for the best approach taken (which must not necessarily have scored
highest). In addition we will distribute achievement certificates for
solutions passing a specific threshold.


There will be an overall price and price for each kind, as well as a
price for the best conceptual contribution in form of a gift certificate
for Springer books sponsored by Springer. In addition there will be
certificates for the first three in each category, and achievement
certificates for every team passing the required threshold.

The teams with the best solutions in their categories will be invited
for a STTT Special Section summarizing the results of the challenge,
and, in particular, presenting the most advanced solutions.


Please refer to the website for further instructions:



    Corina Pasareanu, NASA Ames, USA
    Bernhard Steffen, Techinische Universitaet Dortmund, Germany


    Falk Howar, NASA Ames, USA


    Hasan Ibne Akram, Techinische Universitaet Dortmund, Germany
    Dirk Beyer, University of Passau, Germany
    Corina Pasareanu, NASA Ames, USA
    Bernhard Steffen, Techinische Universitaet Dortmund, Germany
    Markus Schordan, Lawrence Livermore National Laboratory, CA, USA
    Jaco van de Pol, University of Twente, The Netherlands
    Siccor Verwer, Radboud University Nijmegen, The Netherlands
    More PC members to be added!


                             - MALIR-SE -
                    First International Workshop on
   Machine Learning and Information Retrieval for Software Engineering

The workshop aims at providing a forum for discussions about the
adoption of Machine Learning and Information Retrieval in software
maintenance and evolution, that is a forum to establish a roadmap about
the state-of-the-art as well as about future directions of the research
in these topics.

The workshop topics include all those concerning Machine Learning and
Information Retrieval in software evolution; in particular but not
limiting to:

* Using and defining Machine Learning and Information Retrieval
   techniques in all the phases of the software maintenance and evolution

* Evaluating and comparing Machine Learning and Information Retrieval
   techniques and tools

* New trends in adopting Machine Learning and Information Retrieval

* Combining Machine Learning and Information Retrieval techniques for
   software maintenance and evolution

* Exploring new needs in software evolution for applying Machine
   Learning and Information Retrieval

* Reporting lessons learned in applying Machine Learning and Information

* Identifying strengths and weaknesses of Machine Learning and
   Information Retrieval techniques

* Systematic reviews and surveys about the state-of-the-art practices
   for the application of Machine Learning and Information Retrieval

We plan for having a one-day discussion-oriented workshop. In
particular, we would like to include four types of sessions:

* Short position statements from authors of the accepted papers (10/15
   minutes) followed by preliminary discussion moderated by the
   organizers. We will give guidelines about structuring the position

* A short plenary session to define discussion themes from both the
   workshop theme and the interests of the participants, and split
   participants in breakout working groups

* A final plenary session at the end of the workshop will feature
   outcomes of the working groups, and outlook on next steps, including
   collaboration opportunities between academia and industry, and shared


We welcome submissions by two types: (i) technical and (ii) industrial
papers. All the papers have to be related to the topics of interest as
listed above.

Technical Papers

Technical papers (max 4 pages in the IEEE format). Full papers describe
new, ongoing and concluded research works in the field of interest for
the workshop. For example, a full paper might describe how machine
learning can be applied to analyze software artifacts during software
evolution tasks. Again, a full paper can describe case studies and
experiments in which Information Retrieval techniques have been applied
in real contexts.

Industrial Papers

Industrial papers (max 4 pages in the IEEE format). This kind of paper
should present experiences in the use of Machine Learning and
Information retrieval in software industry. For example, an industrial
paper might describe how machine learning techniques are applied and
empirically assessed to predict the effort to perform maintenance
operations. With respect to Information Retrieval techniques, an
industrial paper could present how these techniques have been applied
for the recovery of traceability links among software artifacts in the
contact of impact analysis.

All papers submitted to the workshop will be peer-reviewed by three
members of the Program Committee. Acceptance will be primarily based on
originality, contribution to the area, ability to generate discussion,
quality of the paper and of the research, research completeness and
maturity. Only original papers not submitted to journals or other
conferences will be considered.

Submit papers through EasyChair:



    Giuseppe Scanniello, Universita degli Studi della Basilicata, Italy
    Alessandro Marchetto, Fondazione Bruno Kessler, Italy
    Nasir Ali, Ecole Polytechnique de Montreal, Canada
    David Lo, Singapore Management University, Singapore
    Collin McMillan, School of Computer Science, University of Notre Dame


    Andrian Marcus, Wayne State University, USA
    Bram Adams, Ecole Polytechnique de Montreal, Canada
    Denys Poshyvanyk, The College of William and Mary
    Fabrizio Silvestri, ISTI, CNR, Italy
    Giuliano Antoniol, Ecole Polytechnique de Montreal, Canada
    Hongyu Zhang, Tsinghua University, China
    John Hosking, University of Auckland, New Zealand
    Jonathan I. Maletic, Kent State University, USA
    Sunghun Kim, Hong Kong University of Science and Technology
    Tim Menzies, West Virginia University, USA
    Yann-Gael Gueheneuc, Ecole Polytechnique de Montreal, Canada
    Rainer Koschke, Universitaet Bremen, Ge
    Michele Lanza, University of Lugano, Switzerland


                             - SoftMine -
         The Second International Workshop on Software Mining

The workshop calls for research papers reporting original investigation
results, real-world applications and system development experience in
all aspects of software mining. The topics of the SoftwareMining-2013
submissions may roughly fall into four major aspects, including 1) Data
mining foundations for software analytics, 2) Software mining
techniques, 2) Mining practices on various types of software-related
data, and 3) Applications of data mining to facilitate specialized tasks
in software engineering. Topics of interest include but are not limited

A. Data mining foundations for software analytics
   A1. Emerging machine learning methods for software analytics
   A2. Predictive/descriptive modeling techniques for software analytics
   A3. Novel frequent pattern mining techniques for software analytics
   A4. Evolutionary computing techniques for software analytics
B. Software mining techniques
   B1. Software mining models and techniques
   B2. Robust and highly scalable algorithms for mining large scale
       software system
   B3. Understanding and visualizing software mining results
   B4. Noise-tolerant software mining
   B5. Privacy preserving software mining
C. Mining specific software data
   C1. Mining software specifications
   C2. Mining source code
   C3. Mining execution traces and logs
   C4. Mining change patterns and trends
   C5. Mining bug and crash reports
   C6. Mining natural language artifacts in software data
   C7. Mining developer-related artifacts
D. Software mining in specialized tasks
   D1. Mining for software defect identification and characterization
   D2. Mining for software testing and debugging
   D3. Mining for cost/effort estimation
   D4. Mining for software development and reuse
   D5. Mining for resource allocation
   D6. Mining for process control


Each submission should be no more than 8 pages total in length,
consisting of title, authors' names, postal and email addresses, an up
to 200-words abstract, up to 5 keywords, and a body with all contents,
figures, tables, and references. The format should be kept the same as
the ASE main track format. Additional information about formatting and
style files is available online at:


All manuscripts must be submitted electronically in a single PDF file
using the conference management tool. Please make sure that any special
fonts used are included in the submitted documents. Detailed
instructions will be available soon on the SoftwareMining-2013 website:


For accepted papers, authors are required to prepare their final
submissions for the workshop proceedings according to the reviewers'


    Ming Li, Nanjing University, China
    Hongyu Zhang, Tsinghua University, China
    David Lo, Singapore Management University, Singapore


    Mithun Acharya, ABB Research, USA
    Hong Cheng, The Chinese University of Hong Kong, China
    Jens Grabowski, University of Gottingen, Germany
    Shi Han, Microsoft Research Asia, China
    Steffen Herbold, University of Gottingen, Germany
    Lingxiao Jiang, Singapore Management University, Singapore
    Sunghun Kim, Hong Kong University of Science and Technology, China
    Jian-Guang Lou, Microsoft Research Asia, China
    Leonardo Mariani, University of Milan Bicocca, Italy
    Tim Menzies, West Virginia University, USA
    Leandro L. Minku, University of Birmingham, UK
    Tien N. Nguyen, Iowa State University, USA
    Lin Tan, University of Waterloo, Canada
    Min-Ling Zhang, Southeast University, China
    Xiangyu Zhang, Purdue University, USA
    Zhengyu Zhang, Institute of Software of CAS, China
    Thomas Zimmermann, Microsoft Research, USA


                              - MOMPES -
                     9th International Workshop on
      Model-based Methodologies for  Pervasive and Embedded Software

We are seeking for research papers and experience reports (max. 20
pages), as well as short and position papers (max. 6 pages). Submissions
must conform to the ACM SEN formatting guidelines and should be
submitted via EasyChair:


Submissions will be selected based on the relevance to the workshop
topics and the suitability to trigger interesting discussions. Each
paper will be reviewed by at least 3 members of the Programme Committee.

The workshop will have a strong emphasis on interaction among the
participants. Hence, we intend to use a combination of (1) paper
presentations with discussions on paper topics in the morning and (2) an
interactive session in the afternoon.

Accepted papers will be published in an ACM SIG newsletter. By
submitting, authors are granting permission for ACM to publish in print
and digital formats for the newsletter and the ACM archive. The authors
retain copyright as is the case with any ACM newsletter publication of
original material. The statement "Copyright is held by author." should
appear on the first page of each paper.

Download the full CfP in PDF format:



    Joao M. Fernandes, U Minho, PT
    Goetz Botterweck, LERO and U Limerick, IE
    Julia Rubin, IBM Research, Haifa, IL
    Rita Suzana Maciel, UF Bahia, BR


    Robert Baillargeon, SODIUS, US
    Leandro Buss Becker, UF Santa Catarina, BR
    Gaelle Calvary, U Joseph Fourier, FR
    Holger Giese, HPI Potsdam, DE
    Luis Gomes, UN Lisboa, PT
    Timo D. Hamalainen, TU Tampere, FI
    Chris Hankin, Imperial College, UK
    Luis Lamb, UFRGS, BR
    Pedro Jose Marron, U Duisburg-Essen, DE
    Elvinia Riccobene, U Milano, IT
    Pablo Sanchez, U Malaga, ES
    Oleg Sokolsky, U Pennsylvania, US
    Olaf Spinczyk, U Dortmund, DE
    Jonathan Sprinkle, U Arizona, US


                           - TRANSFER -
                    The International Workshop on
              Transfer Learning in Software Engineering

Why is generality so hard to find in software engineering? Do such
general principles exist (and we just have not found them yet)? Or are
we doomed to a perpetual revision of all our coding and management
practices for each new project? On this issue, we can identify two
feuding schools of thought. Globalists and localists use different
strategies for learning best practices. Globalists learn lessons once
from all data then reuse those lessons at multiple sites, whereas
localists learn best practices many times from local data and use them
only at a single site (which implies that project managers must devote
their scant resources to a "local lessons team" that pursues best local

This workshop will focus on the following issue: Whose strategy is best
for finding project-specific best practices: the globalists or the
localists? Or perhaps it is best to combine both approaches. It is
certainly important to learn best practices from past projects. However,
it is just as important to know how to transfer and adapt that
experience to current projects. No project is exactly like previous
projects -- hence, the trick is to find which parts of the past are most
relevant and can be transferred into the current project.


Topics of interest are theoretical foundations and practical approaches
related, but not limited, to the integration of the transfer learning
and software engineering. While our focus in on automatic methods, we
are also interested in hybrid human/computer methods.


We invite submissions in either of the following forms:

* Research papers presenting novel approaches with new research results
   (maximum 8 pages including references).

* Position papers describing new ideas not yet fully developed or
   preliminary tool support (maximum 4 pages including references).

Submitted papers must be written in English, should not have been
submitted for review or published elsewhere, and must conform to the ACM
SIG proceedings templates. Submissions are accepted via Easy Chair.
Submit your paper here:



Accepted papers will be published in the workshop proceedings and
available electronically via ACM Digital Library within its
International Conference Proceedings Series. Authors of best papers will
be invited to submit a revised and extended version of their papers to a
journal special issue.


    Tim Menzies, West Virginia University, USA


    Leandro Minku, The University of Birmingham, UK
    Ye Yang, Chinese Academy of Sciences, China


    Ayse Bener, Ryerson University
    David Bowes, University of Hertfordshire
    Filomena Ferrucci, University of Salerno
    Harald Gall, University of Zurich
    Gregory Gay, University of Minnesota
    Tracy Hall, Brunel University
    Jacky Keung, City University of Hong Kong
    Ekrem Kocaguneli, West Virginia University
    Chris Lokan, University of New South Wales
    Tim Menzies, West Virginia University
    Leandro Minku, The University of Birmingham
    Brendan Murphy, Microsoft Research
    Sinno Jialin Pan, Institute for Infocomm Research
    Federica Sarro, University College London
    Burak Turhan, University of Oulu
    Ye Yang, Chinese Academy of Sciences
    Qiang Yang, Hong Kong University of Science and Technology


    Fayola Peters, West Virginia University, USA


    Zhimin He, Chinese Academy of Sciences, China


    Leandro Minku, The University of Birmingham, UK

More information about the ecoop-info mailing list