June 2012 5

CFP in pdf

RAISE'12 Workshop on Realizing Artificial Intelligence Synergies in Software Engineering

The objective of this workshop is to provide a forum for researchers and industrial practitioners to exchange and discuss the latest innovative synergistic AI and SE techniques/practices. Namely, we are interested in AI solutions to SE changes and SE practices to answer AI obstacles, and techniques that could benefit these realms bi-directionally.

  • Testing and quality assurance
  • Spectra-based software diagnosis
  • System dynamics and simulation models
  • Software metrics applied to AI techniques
  • Rapid prototyping and scripting for AI techniques
  • Cost analysis and risk assessment in software projects
  • Software for knowledge acquisition and representation
  • Knowledge representation, ontologies and reasoning and other semantic aspects in SE
  • Software specification, design, integration and requirement engineering
  • Assessing the quality of datasets (imbalance, noise, missing values, etc.)
  • Cognitive psychology for requirements engineering and knowledge engineering
  • Machine Learning, Optimisation, Search-based SE and Computational Intelligence techniques

Motivation and Relevance

As SE is asked to answer dynamic automated, adaptive, and/or large scale demands, other computer science disciplines come to play. AI is one of them that may bring SE to further heights. Conversely, SE can also play role to alleviate development costs and the development effort associated with AI tools. Such mutually beneficial characteristics have appeared in the past few decades and still evolve due to new challenges.

At this workshop, we ask "what else can AI do?" SE researchers are only exploring a small fraction of AI technologies. For example, AI research topics that we feel could significantly impact SE, but are under-represented include: inductive logic programming, logic programming, case-based reasoning, abduction, and qualitative reasoning. Another example of an AI technique missing in SE is the application of cognitive psychology to the creation of knowledge acquisition tools. As far as we can tell, all this work is absent in SE. Also, all the work on description logics produced well-defined semantics for languages that use inheritance. None of that work is represented in mainstream SE languages. Is SE ignoring important insights from a mature field?

On the other hand, SE has resulted in tools and methodologies that can build large and complex systems. Prior research in AI suffered from too many prototypes and not enough deployed systems. We assert that SE has much to offer AI about systems engineering and scalability of methodologies. Hence, we propose this RAISE crossover workshop where the state of the art in both fields is documented and extended. Thus our 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

Ten position papers (maximum 5 pages) will be chosen for short (i.e. 15 minute) presentations followed by approximately 5 minutes of critical discussion from the attendees. Position papers will be distributed to attendees prior to the workshop and published in a proceedings. Following the workshop the authors will be invited to extend their position papers into full journal papers, for a Special Issue of the Software Quality Journal, edited by Tim Menzies and Marjan Mernik.

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

  • Extended deadline: 2 March 2012 (hard deadline)
  • Notification of acceptance: 19 March 2012
  • Camera-ready papers submission: 29 March 2012
  • Workshop date: 5 June 2012
SQJ

Programme

We will use an informal workshop style. 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.

Each Working Group will prepare a short summary of their findings, which will then be presented to the whole group in a final plenary session.

Advance Program

Timetable

[9.00-9.15]
Plenary: Welcome, Introductions
[9.15-9.45]
Keynote: The Role of Artificial Intelligence in Software Engineering, M. Harman, UCL
[9.45-10.30]
Automated Prediction of Defect Severity Based on Codifying Design Knowledge Using Ontologies, M. Iliev, B. Karasneh, M. Chaudron and E. Essenius [Slides]
Clone Detection Meets Semantic Web Based Transitive Closure Computation, I. Keivanloo and J. Rilling
[10.30-11.00]
Break: Coffee
[11.00-12.30]
Intelligent Monitoring of Software Components, S. Moisan [Slides]
Synchronizing Domain Models with Natural Language Specifications, M. Landhäußer, S. Körner and W.F. Tichy [Slides]
GUI Reverse Engineering with Machine Learning, I. Coimbra, A.C.R. Paiva, J.P. Faria and R. Camacho [Slides]
Learning Gestures for Interacting with Low-Fidelity Prototypes, T. Alcantara, J. Denzinger, J. Ferreira and F. Maurer
[12.30-2.00]
Break: Lunch
[2.00-3.30]
Machine Learning and Software Engineering in Health Informatics, D. Clifton, J. Gibbons, J. Davies and L. Tarassenko
Predicting Mutation Score Using Source Code and Test Suite Metrics, K. Jalbert and J. Bradbury [Slides]
Context-Based Search to Overcome Learning Barriers in Software Development, J. Cordeiro, B. Antunes, and P. Gomes
On Software Engineering Repositories and Their Open Problems, D. Rodriguez, I. Herraiz and R. Harrison [Slides]
[3.30-4.00]
Break: Tea
[4.00-5.00]
Break-out: Working Groups
[5.00-5.30]
Plenary: Working Group Final Reports

Programme Committee

Keynote

Workshop Organiser

Workshop Co-chairs

SQJ Special Issue Editors

Local Organiser

Proceedings

Webmaster

Publicity Chair

Steering Committee

Participants