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
Twitter:
https://twitter.com/ASEConf2016
International Workshop on Formal Methods for Analysis of Business Systems (ForMABS 2016)
Frontmatter
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)
SemFix and Beyond: Semantic Techniques for Program Repair
Abhik Roychoudhury
(National University of Singapore, Singapore)
Business Process Adaptation using Discrete Event Controller Synthesis
Sebastian Uchitel
(University of Buenos Aires, Argentina; Imperial College London, UK)
Static Analysis to Enable Verification and Transformation of Data-Intensive Business Applications
Komondoor V. Raghavan
(Indian Institute of Science, India)
Full Papers
Improving Configurable Software Testing with Statistical Test Selection
Dusica Marijan
(Simula Research Laboratory, Norway)
Domain-Independent Method of Detecting Inconsistencies in SBVR-Based Business Rules
Pavan Kumar Chittimalli and Kritika Anand
(Tata Consultancy Services, India)
proc time: 0.68