ASE 2016 Workshops
31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016)
Powered by
Conference Publishing Consulting

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

ForMABS 2016 – Proceedings

Contents - Abstracts - Authors

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


Title Page
Message from the Chairs

Invited Talks

Flexible, Adaptable, and Compliant Business Systems with Dynamic Condition Response Graphs
Thomas Hildebrandt
(IT University of Copenhagen, Denmark)
Publisher's Version Article Search
SemFix and Beyond: Semantic Techniques for Program Repair
Abhik RoychoudhuryORCID logo
(National University of Singapore, Singapore)
Publisher's Version Article Search
Business Process Adaptation using Discrete Event Controller Synthesis
Sebastian Uchitel
(University of Buenos Aires, Argentina; Imperial College London, UK)
Publisher's Version Article Search
Static Analysis to Enable Verification and Transformation of Data-Intensive Business Applications
Komondoor V. Raghavan
(Indian Institute of Science, India)
Publisher's Version Article Search

Full Papers

Improving Configurable Software Testing with Statistical Test Selection
Dusica Marijan
(Simula Research Laboratory, Norway)
Publisher's Version Article Search
Domain-Independent Method of Detecting Inconsistencies in SBVR-Based Business Rules
Pavan Kumar Chittimalli and Kritika Anand
(Tata Consultancy Services, India)
Publisher's Version Article Search

proc time: 1.19