Powered by

International Workshop on Formal Methods for Analysis of Business Systems (ForMABS 2016), September 4, 2016, Singapore, Singapore

ForMABS 2016 – Proceedings

Contents - Abstracts - Authors

Twitter: https://twitter.com/ASEConf2016

International Workshop on Formal Methods for Analysis of Business Systems (ForMABS 2016)

Title Page
Article: asews16formabsforeword-fm000-p doi:

Message from the Chairs
Article: asews16formabsforeword-fm001-p doi:

Flexible, Adaptable, and Compliant Business Systems with Dynamic Condition Response Graphs
Thomas Hildebrandt
(IT University of Copenhagen, Denmark)
Article: asews16formabskey-inv1-p doi:

SemFix and Beyond: Semantic Techniques for Program Repair
Abhik Roychoudhury
(National University of Singapore, Singapore)
Article: asews16formabskey-inv2-p doi:

Business Process Adaptation using Discrete Event Controller Synthesis
Sebastian Uchitel
(University of Buenos Aires, Argentina; Imperial College London, UK)
Article: asews16formabskey-inv3-p doi:

Static Analysis to Enable Verification and Transformation of Data-Intensive Business Applications
Komondoor V. Raghavan
(Indian Institute of Science, India)
Article: asews16formabskey-inv4-p doi:

Improving Configurable Software Testing with Statistical Test Selection
Dusica Marijan
(Simula Research Laboratory, Norway)
Article: asews16formabsmain-formabsmainid5-p doi:

Domain-Independent Method of Detecting Inconsistencies in SBVR-Based Business Rules
Pavan Kumar Chittimalli and Kritika Anand
(Tata Consultancy Services, India)
Article: asews16formabsmain-formabsmainid3-p doi:

proc time: 0.73