by Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish
Published in Proceedings of the 2013 International Conference on Software Engineering (18.05.2013)

Published in Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation

Published in Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming

by El-Ghali, M., Masri, W.
Published in 2009 ICSE Workshop on Software Engineering for Secure Systems (19.05.2009)