Tweets by @RAISEWorkshop
June 2014 3

3rd Workshop on Realizing Artificial Intelligence Synergies in Software Engineering

This workshop brings together researchers and industrial practitioners to exchange and discuss the latest innovative synergistic AI and SE techniques and practices. SE is now expected to solve a plethora of increasingly complex questions that are dynamic, automated, adaptive, or must execute on a very large scale. In theory, other disciplines could better support SE. For example, AI technologies can support the development of increasingly complex SE systems as in the case of recommendation systems. Conversely, in theory, SE might also play a role in alleviating development costs and the development effort associated with AI tools and applications such as robotics, where proper development and testing practices are of utmost importance. In practice, this theoretical connection between SE and AI is rarely achieved. We believe that SE has much to offer AI about systems engineering and scalability of methodologies. Yet AI research rarely uses this work. All this begs the question:

Are SE and AI researchers ignoring important insights from AI and SE?

To answer this question, RAISE'14 will be a crossover workshop where the state of the art in both fields is documented and extended. This workshop will explore not only the application of AI techniques to SE problems but also the application of SE techniques to AI problems.

CFP in pdf

Workshop Program

Accepted Papers

General statistics:

Topics of Interest

Prospective participants should submit either a state of the art position statement describing late-breaking research results or a research vision statement on one or more of the following perspectives.

  1. Improving SE through AI – including but not limited to knowledge acquisition, knowledge representation, reasoning, agents, machine learning, machine-human interaction, planning and search, natural language understanding, problem solving and decision-making, understanding and automation of human cognitive tasks, AI programming languages, reasoning about uncertainty, new logics, statistical reasoning, software analytics, etc.
  2. Applying AI to SE activities – including but not limited to requirements, design, specification, traceability, program understanding, model-driven development, testing and quality assurance, domain-specific software engineering, adaptive systems, software evolution, etc.
  3. SE for AI – including but not limited to AI programming languages, program derivation techniques in AI domains, platforms and programmability, software architectures, rapid prototyping and scripting for AI techniques, software engineering infrastructure for reflective and self-sustaining systems, etc.
  4. Deployed Applications of AI or SE – papers that describe a deployed SE application in AI domain or an AI application in SE domain including nut not limited to robotics software development and recommendation systems in SE, etc.

We seek papers that are position statements that review current state of the art results as well as papers that will look over the horizon for discover future directions. Papers may either be regular research papers that will be published in the ICSE proceedings, or they may be “abstract only” and they would only be seen by workshop attendees, presented in brainstorming sessions and discussed in breakout groups.

Paper Submission

Submit papers, in PDF format, to Easychair. Submissions should be 5 to 7 pages long and can either be position statements that review state of the art results or a vision statement looking over the horizon. All papers are intended to be archival for publication in the ICSE Companion proceedings, however the authors may chose an abstract only publication of their work. If accepted, each paper will be presented in 15-20 minutes presentation sessions to stimulate discussion. Submissions must not be published or under review elsewhere, and conform to formatting using ACM Formatting Guidelines. Submission length should not exceed the above page limits and all submissions must be in English.

Following the workshop the authors will be invited to extend their papers into full journal papers (together with an open call), for a Special Issue of the Software Quality Journal, edited by Burak Turhan, Çetin Meriçli and Ayşe Başar Bener.


Important Dates

  • Abstracts due: 24 January 2014
  • Submission deadline: 31 January 2014
  • Notification of acceptance: 24 February
  • Camera-ready papers submission: 14 March 2014
  • Workshop date: 3 June 2014

Programme Committee

  • H. Levent Akin, Bogazici University, Turkey
  • Ayşe Başar Bener, Ryerson University, Canada
  • Francisco Chicano, University of Malaga, Spain
  • Bojan Cukic, West Virginia University, USA
  • Daniela da Cruz, University of Minho, Portugal
  • Onur Dikmen , Aalto University, Finland
  • Massimiliano Di Penta, University of Sannio, Italy
  • João Pascoal Faria, Universidade do Porto, Portugal
  • Mark Harman, University College London (UCL), UK
  • Rachel Harrison, Oxford Brookes University, UK
  • Israel Herraiz, Technical University of Madrid (UPM), Spain
  • Jacky KeungCity University of Hong Kong, Hong Kong
  • Ekrem Kocaguneli, West Virginia University, USA
  • Jouni Markkula, University of Oulu, Finland
  • Tim Menzies, West Virginia University, USA
  • Tekin Alp Meriçli, Carnegie Mellon University, USA
  • Marjan Mernik, University of Maribor, Slovenia
  • Leandro Minku, University of Birmingham, UK
  • Andriy Miransky, IBM Toronto, Canada
  • Mika Qvist, Elektrobit Wireless Ltd., Finland
  • Daniel Rodríguez, University of Alcalá, Spain
  • Alessandra Russo, Imperial College, UK
  • Jaakko Sauvola, University of Oulu, Finland
  • Walter Tichy, Karlsruhe Institute of Technology, Germany
  • Yuming Zhou, Nanjing University, China


Nazim Madhavji (Professor, University of Western Ontario),

"Impediments to Regulatory Compliance of Requirements RAISEs some challenges to SE and AI":

It is a given that large-scale contractual systems engineering projects need to comply with a myriad of government regulations and standards as part of contractual fulfillment. Thus, a key activity in the requirements engineering (RE) process for such a project is to demonstrate that all relevant requirements have been elicited from the regulatory documents and have been traced to the contract as well as to the target system components. However, there are impediments to achieving this level of compliance due to such complexity factors as: voluminous contract, large number of regulatory documents, multiple domains of the system, and others. In this talk, I will describe hitherto uncovered impediments in qualitative and quantitative terms, identified from the study of a large systems engineering project. I shall portray these as challenges raised to SE/AI technological effort to automate compliance work in system development.

Workshop Chairs

  • Burak Turhan, University of Oulu, Finland
  • Çetin Meriçli, Carnegie Mellon University, USA

Workshop Organising Committee

  • Burak Turhan, University of Oulu, Finland
  • Ayşe Başar Bener, Ryerson University, Canada
  • Çetin Meriçli, Carnegie Mellon University, USA
  • Andriy Miransky, IBM Toronto, Canada
  • Leandro Minku, University of Birmingham, UK

SQJ Special Issue Editors

  • Burak Turhan, University of Oulu, Finland
  • Ayşe Başar Bener, Ryerson University, Canada
  • Çetin Meriçli, Carnegie Mellon University, USA


  • Andriy Miransky, IBM Toronto, Canada
  • Leandro Minku, University of Birmingham, UK


    • , University of Alcala, Spain

    Previous RAISE-s