Search for persons
X
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
2
Design by Contract for Deep Learning APIs:
, In:
?
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering ,
3
A Hybrid Approach for Inference between Behavioral Exceptio..:
, In:
?
Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference ,
4
On the significance of contract-based typestate specificati..:
, In:
?
2014 IEEE International Conference on Control System, Computing and Engineering (ICCSCE 2014) ,
8