RAISE'2012
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

  • Wasif Afzal, Blekinge Institute of Technology, Sweden
  • Antonio Bahamonte, University of Oviedo, Spain
  • Lionel Briand, Simula, Norway
  • Francisco Chicano, University of Malaga, Spain
  • David Corne, Heriot-Watt University, 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
  • Dragan Gasevic, Athabasca University, Canada
  • 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
  • Shih-Hsi 'Alex' Liu, California State University, USA
  • Ivan Lukovic, University of Novi Sad, Serbia
  • Radu Marinescu, University of Timisoara, Romania
  • Emilia Mendes, Zayed University, UAE
  • Tim Menzies, West Virginia University, USA
  • Marjan Mernik, University of Maribor, Slovenia
  • Giovani Liberlotto, Federal University of Santa Maria, Brazil
  • Juan Pavon, Complutense University, Spain
  • Rajeev Raje, Indiana University Purdue University Indianapolis, USA
  • Marek Reformat, University of Alberta, Canada
  • Daniel Rodríguez, University of Alcalá, Spain
  • Alessandra Russo, Imperial College, UK
  • Richard Torkar, Blekinge Institute of Technology, Sweden
  • Martin Shepperd, Brunel University, UK
  • Maria João Varanda Pereira, Polytechnic Institute of Bragança, Portugal
  • Yuming Zhou, Nanjing University, China
  • Bin Zhou, University of Maryland, USA

Keynote

  • Mark Harman, University College London (UCL), UK.

Workshop Organiser

  • , Oxford Brookes University, UK

Workshop Co-chairs

  • , University of Minho, Portugal
  • , University of Alcalá, Spain

SQJ Special Issue Editors

  • , West Virginia University, USA
  • , University of Maribor, Slovenia

Local Organiser

  • , University of Minho, Portugal

Proceedings

  • , Polytechnic Institute of Bragança, Portugal

Webmaster

  • , University of Alcalá, Spain

Publicity Chair

  • , California State University, USA

Steering Committee

  • , Oxford Brookes University, UK
  • , University of Minho, Portugal
  • , West Virginia University, USA
  • , University of Maribor, Slovenia
  • , University of Alcalá, Spain

Participants

  • , University of Calgary, Canada
  • , Universidade de Coimbra, Portugar
  • , University of Ontario Institute of Technology, Canada
  • , University of Oxford, UK
  • , University of Minho, Portugal
  • , University College London, UK
  • , Oxford Brookes, UK
  • , Leiden Institute of Advanced Computer Science, Netherlands
  • , University of Ontario Institute of Technology, Canada
  • , University of St Andrews, UK
  • , Concordia University, Canada
  • , NTUA / U. Waterloo, Canada
  • , University of St Andrews, UK
  • , Karlsruhe Institute of Technology (KIT), Germany
  • , West Virginia University, USA
  • , INRIA Sophia-Antipolis, France
  • , Universidade do Porto - Faculdade de Engenharia, Portugal
  • , University of Nice, France
  • , Concordia University, Canada
  • , The University of Alcala, Spain
  • , Technische Universität München I1, Germany
  • , Karlsruher Institut für Technologie, Germany
  • , Polytechnic Institute of Bragança, Portugal
  • , University College London, UK