Search for persons
X
?
Proceedings of the 34th International Conference on Software Engineering ,
5
On the naturalness of software:
, In:
?
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering ,
6
Testing mined specifications:
, In:
?
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1 ,
9
Online inference and enforcement of temporal properties:
, In:
?
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering ,
10
A study of the uniqueness of source code:
, In:
?
Proceedings of the ACM international conference on Object oriented programming systems languages and applications ,
11
Scalable and systematic detection of buggy inconsistencies ..:
, In:
?
Proceedings of the 30th international conference on Software engineering ,
14
Symbolic mining of temporal specifications:
, In:
?
Proceedings of the 30th international conference on Software engineering ,
15