May 2013 25-26

2nd International NSF sponsored Workshop on Realizing Artificial Intelligence Synergies in Software Engineering

Prospective participants should submit either a 5-7 page position statement (for publication in the ICSE online proceedings) describing late-breaking research results or a 2-3 page research vision statement (circulated only to workshop participants) on one or more of the following perspectives:

  • 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, etc.
  • 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.
  • 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.

CFP in pdf


Day 1: State of the Art - Room: Bayview B

[8:30-9:00] Plenary
Welcome, Introductions

[9:00-10:00] Keynote
The Synergy of Human and Artificial Intelligence in Software Engineering,
Tao Xie, North Carolina State University, USA

[10:00-10:30]: MOEA
A. Salam Sayyad and H. Ammar,
Pareto-Optimal Search-Based Software Engineering (POSBSE): A Literature Survey

[10:30-11:00] TEA / COFFEE

[11:00-12:00] Algorithms
N. Bencomo, A. Belaggoun and V. Issarny.
Bayesian Artificial Intelligence for Tackling Uncertainty in Self-adaptive Systems: the Case of Dynamic Decision Networks

C. Deiters, A. Rausch and M. Schindler.
Using Spectral Clustering to Automate Identification and Optimization of Component Structures

[12:00-12:30] Perspectives1:
Incremental Knowledge Engineering
Paul Compton, University of New South Wales

[12:30-14:00] LUNCH

[14:00-16:00] Requirements, Design and Data Repositories
R. Torres, N. Bencomo and H. Astudillo.
Addressing the QoS drift in specification models of self-adaptive service-based systems [Slides]

C. Heitmeyer, M. Pickett, L. Breslow, D. Aha, J.G. Trafton and E. Leonard,
High Assurance Human-Centric Decision Systems [Paper]

E. Kocaguneli, B. Cukic and H. Lu,
Predicting More from Less: Synergies of Learning

Ö. Bozcan and A.B. Bener,
Handling Missing Attributes using Matrix Factorization

[16:00-16:30] TEA / COFFEE

[16:30-17:00] Perspectives2:
Current AISE is too narrow!
Robert Feldt, Chalmers University of Technology, Sweden

Day 2: Over the Horizon - Room: Bayview B

[8:30-9:00] Plenary
Welcome to Day 2

[9:00-10:00] Keynote
SE and AI: a two-way street,
John Clark, University of York, UK

[10:00-10:30] Vision Statements
S. Yoo, TAO: Turing test As Objective Function BEST PAPER AWARD! [Slides]

G. Gay and M. Heimdahl,
Community-Assisted Software Engineering Decision Making

[10:30-11:00] TEA / COFFEE

[11:00-12:00] Vision Statements
T. Xie, D. Zhang, X. Xiao and C. Weng,
Synergetic Cooperation of Artificial & Human Intelligence: Advancing Foundation & Practice of Software Analytics

L. Moreno and A. Marcus,
Knowledge Transfer to Support Change during Software Evolution

B. Turhan and A. Bener,
On Combining the Scattered Knowledge: Putting the Bricks Together

T. Zimmermann,
Mining Software Repositories in the Year 2020

W. Tichy, M. Landhäußer and S. Körner,
Universal Programmability - How AI Can Help [Slides]

[12:00-12:30] Perspectives3
Xin Yao: University of Birmingham, United Kingdom

[12:30-14:00] LUNCH

[14:00-16:00] Break-out Sessions

[16:00-16:30] TEA / COFFEE

[16:30-17:30] Report back and planning
What was learned? Should there be a RAISE'14?

Motivation and Relevance

The aim of this workshop is to bring together researchers and industrial practitioners to exchange and discuss the latest innovative synergistic AI and SE techniques and practices. Much of the innovation in the modern world is based on information technologies. Software engineering 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 have the potential to support the development of increasingly complex SE systems. Conversely, in theory, SE might also play a role in alleviating development costs and the development effort associated with AI tools. 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 ’13 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 software engineering problems but also the application of software engineering techniques to AI problems.

Paper Submission and Selection

For Day 1 ten position papers will be chosen for 15 minute presentations followed by approximately 5 minutes of critical discussion from the attendees. For Day 2 five vision statements will be chosen for fast presentations to stimulate discussion of a strategic research roadmap.

Following the workshop the authors will be invited to extend their position papers into full journal papers, for a Special Issue of Automated Software Engineering.

Participation will be sought with the aim of encouraging a selection of about 30 colleagues from the academic, industrial and commercial communities. The interactive nature of the workshop will provide a forum for discussion and debate in order to promote interdisciplinary research between the disciplines. Following presentation of the position papers, the participants will be split into two Working Groups, and each will be given a specific question to focus on, taken from the workshop themes.

Please submit your IEEE formatted position paper via Easychair.


Important Dates

  • Submission: 14 February 2013 (hard deadline)
  • Notification of acceptance: 28 February 2013
  • Camera-ready papers: 7 March 2013
  • Workshop dates: 25-26 May 2013

Programme Committee

  • Jeremy S. Bradbury, University of Ontario, Canada
  • Francisco Chicano, University of Malaga, Spain
  • John Clark, University of York, UK
  • Daniela da Cruz, University of Minho, Portugal
  • Jim Davies, University of Oxford, UK
  • Massimiliano Di Penta, University of Sannio, Italy
  • João Pascoal Faria, Universidade do Porto, Portugal
  • Bernd Fischer, University of Southampton, UK
  • Sol Greenspan, NSF, USA
  • Mark Harman, University College London (UCL), UK.
  • Rachel Harrison, Oxford Brookes University, UK
  • Pedro Henriques, University of Minho, Portugal
  • Israel Herraiz, Technical University of Madrid (UPM), Spain
  • Tim Menzies, West Virginia University, USA
  • Marjan Mernik, University of Maribor, Slovenia
  • Daniel Rodríguez, University of Alcalá, Spain
  • Alessandra Russo, Imperial College, UK
  • Walter Tichy, Karlsruhe Institute of Technology, Germany
  • Richard Torkar, Blekinge Institute of Technology, Sweden
  • Burak Turhan, University of Oulu, Finland
  • Tao Xie, North Carolina State University, USA
  • Xin Yao, University of Birmingham, UK
  • Yuming Zhou, Nanjing University, China


  • John Clark, University of York, UK.
  • Tao Xie, North Carolina State University, USA

PC Chairs

  • Rachel Harrison, Oxford Brookes University, UK
  • Tim Menzies, West Virginia University, USA

Steering Committee

  • Rachel Harrison, Oxford Brookes University, UK
  • Sol Greenspan, NSF, USA
  • Pedro Henriques, University of Minho, Portugal
  • Tim Menzies, West Virginia University, USA
  • Marjan Mernik, University of Maribor, Slovenia
  • Daniel Rodríguez, University of Alcalá, Spain

Publicity Chair

    Burak Turhan, University of Oulu, Finland


  • Daniel Rodriguez, University of Alcala, Spain

Conclusions from the Workshop

  • Day1 Report
  • Day2 Report

Previous RAISE


  • This workshop acknowledges support from NFS grant CCF-.1252577. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.
  • ICSE sponsors