ForMABS 2016 – Proceedings

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

Frontmatter

Invited Talks

Flexible, Adaptable, and Compliant Business Systems with Dynamic Condition Response Graphs
Thomas Hildebrandt
(IT University of Copenhagen, Denmark)


@InProceedings{ForMABS16p1, author = {Thomas Hildebrandt}, title = {Flexible, Adaptable, and Compliant Business Systems with Dynamic Condition Response Graphs}, booktitle = {Proc.\ ForMABS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }

SemFix and Beyond: Semantic Techniques for Program Repair
Abhik Roychoudhury
(National University of Singapore, Singapore)


@InProceedings{ForMABS16p9, author = {Abhik Roychoudhury}, title = {SemFix and Beyond: Semantic Techniques for Program Repair}, booktitle = {Proc.\ ForMABS}, publisher = {ACM}, pages = {9-8}, doi = {}, year = {2016}, }

Business Process Adaptation using Discrete Event Controller Synthesis
Sebastian Uchitel
(University of Buenos Aires, Argentina; Imperial College London, UK)


@InProceedings{ForMABS16p17, author = {Sebastian Uchitel}, title = {Business Process Adaptation using Discrete Event Controller Synthesis}, booktitle = {Proc.\ ForMABS}, publisher = {ACM}, pages = {17-16}, doi = {}, year = {2016}, }

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


@InProceedings{ForMABS16p25, author = {Komondoor V. Raghavan}, title = {Static Analysis to Enable Verification and Transformation of Data-Intensive Business Applications}, booktitle = {Proc.\ ForMABS}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, }

Full Papers

Improving Configurable Software Testing with Statistical Test Selection
Dusica Marijan
(Simula Research Laboratory, Norway)


@InProceedings{ForMABS16p33, author = {Dusica Marijan}, title = {Improving Configurable Software Testing with Statistical Test Selection}, booktitle = {Proc.\ ForMABS}, publisher = {ACM}, pages = {33-32}, doi = {}, year = {2016}, }

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


@InProceedings{ForMABS16p41, author = {Pavan Kumar Chittimalli and Kritika Anand}, title = {Domain-Independent Method of Detecting Inconsistencies in SBVR-Based Business Rules}, booktitle = {Proc.\ ForMABS}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2016}, }

proc time: 0.73