ForMABS-2016-Call For Papers

    Home |ASE 2016 Website Submission | Registration |  Program | Travel | Committee|

    After recent advances in the techniques and scalability of formal methods, their application to business systems has become more realistic and practical, similar to their use as technology of choice for verifying reactive systems. The goal of ForMABS 2016 is to provide a platform where people experimenting and applying formal methods to software engineering of business systems, have an opportunity to present and discuss their work with other researchers and practitioners. We welcome authors exploring or applying model checking, data-flow and control-flow analysis, symbolic execution for various purposes like verifying business applications and specifications, extracting specifications from source code, testing and other development activities, especially in the context of business systems. The workshop aims to provide authors with useful feedback about their work and facilitate networking within the community.

    Scope and Topics
    The workshop aims to highlight application of formal methods in the software development life cycle, with focus on business systems, though not restricted to it. We welcome submissions on techniques, experiments, experience reports and tools. The broad areas of interest for ForMABS 2016 include, but are not limited to:

  • Interdisciplinary formal methods: New techniques and novel experiments, New tools using model checking, data-flow and control-flow analysis, symbolic execution independently or combined in novel ways
  • Formal methods in practice: Industrial applications, tool usage reports, experiments with challenging real-life problems.
    As applied to following purposes, but not limited to:
      • Slicing and Specialization of programs
      • Program synthesis
      • Verification of Business processes, Feature models, Business Rules
      • Verification of Services, Software configurations
      • Identification of Services, Features and Processes in source code
      • Extraction of Business rules
      • Test case and Test data generation

    Submission Information

    Papers should be original work, not published or submitted elsewhere, in ACM format, written in English, submitted through Easychair at the following link:

    We solicit two categories of papers:

  • Detailed papers explaining a technique, solution, tool or experience report. They should be of at most 8 pages including references. The proposals must be prepared as per ASE 2016 guidelines (
  • Poster papers submitted in the form of 2-page overview and sample presentation slides as pdf file.
  • Acceptance

  • Papers will be selected based on reviews by members of the program committee. Authors of accepted papers will receive further instructions for submitting camera-ready copy of their papers.
  • Camera-ready copies of accepted papers will be published in ACM DL.
  • Authors of accepted papers will receive instructions for preparing their papers for presentation at the workshop. Atleast one of the authors MUST register for the workshop to present their paper.

Reach Us.