CSSL: a logic for specifying conditional scenarios

Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel. CSSL: a logic for specifying conditional scenarios. In Tibor Gyimóthy, Andreas Zeller, editors, SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011. pages 37-47, ACM, 2011. [doi]

Authors

Shoham Ben-David

This author has not been identified. Look up 'Shoham Ben-David' in Google

Marsha Chechik

This author has not been identified. Look up 'Marsha Chechik' in Google

Arie Gurfinkel

This author has not been identified. Look up 'Arie Gurfinkel' in Google

Sebastián Uchitel

This author has not been identified. Look up 'Sebastián Uchitel' in Google