, , 2018.
Static analysis of implicit control flow: Resolving java reflection and android intents (t), Proceedings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), ASE '15, pp.669-679, 2015. ,
An empirical study on limits of clone unification using generics, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05, pp.109-114, 2005. ,
Don't touch my code!: Examining the effects of ownership on software quality, Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC/FSE '11, pp.4-14, 2011. ,
Assert use in github projects, Proceedings of the 37th International Conference on Software Engineering, vol.1, pp.755-766, 2015. ,
Glacier: Transitive class immutability for java, Proceedings of the 39th International Conference on Software Engineering, ICSE '17, pp.496-506, 2017. ,
Applied multiple regression/correlation analysis for the behavioral sciences, 1975. ,
Belief & evidence in empirical software engineering, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pp.108-119, 2016. ,
Building and using pluggable type-checkers, Proceedings of the 33rd International Conference on Software Engineering, ICSE '11, pp.681-690, 2011. ,
Contracts in the wild: A study of java programs, LIPIcs-Leibniz International Proceedings in Informatics, vol.74, 2017. ,
Mining billions of ast nodes to study actual and potential usage of java language features, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.779-790, 2014. ,
The confounding effect of class size on the validity of object-oriented metrics, IEEE Transactions on Software Engineering, vol.27, issue.7, pp.630-650, 2001. ,
Locking discipline inference and checking, ICSE 2016, Proceedings of the 38th International Conference on Software Engineering, pp.1133-1144, 2016. ,
Static detection of dynamic memory errors, Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, PLDI '96, pp.44-53, 1996. ,
Fine-grained and accurate source code differencing, ACM/IEEE International Conference on Automated Software Engineering, ASE '14, pp.313-324, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01054552
Extended static checking for java, Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, PLDI '02, pp.234-245, 2002. ,
Java Language Specification, Second Edition: The Java Series, 2000. ,
, TM) Language Specification, The, 2005.
The Java Language Specification, 2014. ,
An empirical investigation into a large-scale java open source code repository, Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM '10, vol.11, pp.1-11, 2010. ,
Design patterns for annotation-based apis, Proceedings of the 11th Latin-American Conference on Pattern Languages of Programming, SugarLoafPLoP '16, vol.9, pp.1-9, 2016. ,
Energy profiles of java collections classes, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pp.225-236, 2016. ,
Do developers benefit from generic types?: An empirical comparison of generic and raw types in java, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '13, pp.457-474, 2013. ,
Zero-inflated and hurdle models of count data with extra zeros: examples from an hiv-risk reduction intervention trial. The American journal of drug and alcohol abuse, vol.37, pp.367-375, 2011. ,
Reim & reiminfer: Checking and inference of reference immutability and method purity, Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA '12, pp.879-896, 2012. ,
Applied RegressionAnalysis:A Research Tool ,
Project lombok: Clean, concise java code, 2017. ,
Annotations and its benefits in java, 2018. ,
An in-depth study of the promises and perils of mining github, Empirical Softw. Engg, vol.21, issue.5, pp.2035-2071, 2016. ,
An analyzable annotation language, Proceedings of the 17th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '02, pp.231-245, 2002. ,
Revisiting assert use in github projects, Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, EASE'17, pp.298-307, 2017. ,
Challenges for static analysis of java reflection -literature review and empirical study, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), pp.507-518, 2017. ,
An overview of anna -a specification language for ada, 1984. ,
The stanford corenlp natural language processing toolkit, Proceedings of 52nd Annual Meeting of the Association for Computational Linguistics: System Demonstrations, 2014. ,
Understanding the use of lambda expressions in java, Proc. ACM Program. Lang, vol.1, 2017. ,
, , 2015.
Identifying reasons for software changes using historic databases, Proceedings of the International Conference on Software Maintenance (ICSM'00), ICSM '00, p.120, 2000. ,
Use of relative code churn measures to predict system defect density, Proceedings of the 27th International Conference on Software Engineering, ICSE '05, pp.284-292, 2005. ,
Annotation type suppresswarnings, 2017. ,
, Oracle. Lesson: Annotations, 2017.
, Oracle. Annotations, 2018.
Arguments against annotations, 2018. ,
Practical pluggable types for java, Proceedings of the 2008 International Symposium on Software Testing and Analysis, ISSTA '08, pp.201-212, 2008. ,
Adoption and use of java generics, Empirical Softw. Engg, vol.18, issue.6, pp.1047-1089, 2013. ,
Spoon: A library for implementing analyses and transformations of java source code, Software: Practice and Experience, vol.46, pp.1155-1179, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01078532
Ownership, experience and defects: A fine-grained study of authorship, Proceedings of the 33rd International Conference on Software Engineering, ICSE '11, pp.491-500, 2011. ,
, On the" naturalness" of buggy code. ICSE '16, 2016.
A large scale study of programming languages and code quality in github, Proceedings of the ACM SIGSOFT 22nd International Symposium on the Foundations of Software Engineering, FSE '14, 2014. ,
Be a better developer, 2018. ,
How annotations are used in java: An empirical study, SEKE, pp.426-431, 2011. ,
acomment: Mining annotations from comments and code to detect interrupt related concurrency bugs, Proceedings of the 33rd International Conference on Software Engineering, ICSE '11, pp.11-20, 2011. ,
How fields are used in java: An empirical study, 2009 Australian Software Engineering Conference, pp.91-100, 2009. ,
How do java programs use inheritance? an empirical study of inheritance in java software, Proceedings of the 22Nd European Conference on Object-Oriented Programming, ECOOP '08, pp.667-691, 2008. ,
Scrap your boilerplate with object algebras, Proceedings of the, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01261477
, ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, pp.127-146, 2015.