ForMABS@ASE

Keyphrases

Publications

2016

Komondoor V. Raghavan
Static analysis to enable verification and transformation of data-intensive business applications. ForMABS@ASE (2016)
Sebastián Uchitel
Business process adaptation using discrete event controller synthesis. ForMABS@ASE (2016)
Abhik Roychoudhury
SemFix and beyond: semantic techniques for program repair. ForMABS@ASE (2016)
Dusica Marijan
Improving configurable software testing with statistical test selection. ForMABS@ASE (2016)
Thomas T. Hildebrandt
Flexible, adaptable, and compliant business systems with dynamic condition response graphs. ForMABS@ASE (2016)
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, ForMABS@ASE 2016, Singapore, Singapore, September 4, 2016 ForMABS@ASE (2016)
Pavan Kumar Chittimalli, Kritika Anand
Domain-independent method of detecting inconsistencies in SBVR-based business rules. ForMABS@ASE (2016)