ALDB: Debugging Alloy Models of Behavioural Requirements

Aman Dureja, Aditya Keerthi, Andrew Liang, Paul Zhang, Nancy Day. ALDB: Debugging Alloy Models of Behavioural Requirements. In 10th IEEE International Model-Driven Requirements Engineering, MoDRE@RE 2020, Zurich, Switzerland, August 31, 2020. pages 21-30, IEEE, 2020. [doi]

Authors

Aman Dureja

This author has not been identified. Look up 'Aman Dureja' in Google

Aditya Keerthi

This author has not been identified. Look up 'Aditya Keerthi' in Google

Andrew Liang

This author has not been identified. Look up 'Andrew Liang' in Google

Paul Zhang

This author has not been identified. Look up 'Paul Zhang' in Google

Nancy Day

This author has not been identified. Look up 'Nancy Day' in Google