Source: ICSME 2021 - 37th International Conference on Software Maintenance and Evolution ; https://inria.hal.science/hal-03269129 ; ICSME 2021 - 37th International Conference on Software Maintenance and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Report

SAT-Based Extraction of Behavioural Models for Java Libraries with Collections

Authors : Safina, Larisa; Bliudze, Simon;

Subjects: API; breaking changes; behavioral models

Source: https://inria.hal.science/hal-03720403 ; 2022.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

Authors : Bliudze, Simon; van den Bos, Petra; Huisman, Marieke ...

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Paris; France

Source: FASE 2023 - 26th International Conference on Fundamental Approaches to Software Engineering ; https://inria.hal.science/hal-03911393 ; FASE 2023 - 26th International Conference on Fundamental

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Evaluating the Impact of Java Virtual Machines on Energy Consumption

Authors : Ournani, Zakaria; Belgaid, Mohammed Chakib; Rouvoy, Romain ...

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Bari; Italy

Source: 15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)https://inria.hal.science/hal-0327528615th ACM/IEEE International Symposium on Empirical

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Rotten Green Tests in Java, Pharo and Python ; Rotten Green Tests in Java, Pharo and Python: An Empirical Study

Authors : Aranega, Vincent; Delplanque, Julien; Martinez, Matias ...

Subjects: Testing; Rotten Green Tests; Empirical Study

Source: ISSN: 1382-3256.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Report

Adlet: A Java-based Architecture Description Language

Authors : Seinturier, Lionel;

Subjects: component; software; logiciel

Source: https://inria.hal.science/hal-01964792 ; [Research Report] RR-9242, Inria Lille - Nord Europe. 2018.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Characterizing the Usage, Evolution and Impact of Java Annotations in Practice

Authors : Yu, Zhongxing; Bai, Chenggang; Seinturier, Lionel ...

Subjects: Annotation; Statistical Modelling; Empirical Study

Source: ISSN: 0098-5589 ; IEEE Transactions on Software Engineering ; https://inria.hal.science/hal-02091516 ; IEEE Transactions on Software Engineering, In press, 47 (5), pp.969-986.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Étude Préliminaire À Une Utilisation De Mémoires Secondaires Pour Le Stockage Des Métadonnées Java Dans Des Systèmes Contraints.

Authors : Cogniaux, Geoffroy; Hauspie, Michaël; Marseille, François-Xavier ...

Subjects: Système embarqués; Java; Carte à microprocesseurSaint Malo; France

Source: CFSE 8 ; https://hal.science/hal-00616865 ; CFSE 8, 2011, Saint Malo, France. pp.11

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

ASTOR: A Program Repair Library for Java

Authors : Martinez, Matias; Monperrus, Martin;

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Saarbrücken; Germany

Source: Proceedings of ISSTA, Demonstration Track ; https://hal.science/hal-01321615 ; Proceedings of ISSTA, Demonstration Track, 2016, Saarbrücken, Germany. pp.441-444, ⟨10.1145/2931037.2948705⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي