Search Results - "programmes java"

Génération de tests de vulnérabilité pour des programmes Java Card itératifs

Authors: Fély, Vincent Frappier, Marc

Index Terms: VTG, Java Card, Event-B, ProB, Tests de vulnérabilité, Model-based testing, Mutation testing, Mémoire de maîtrise

URL: http://hdl.handle.net/11143/15870

Génération de méta-programmes Java à partir des contraintes architecturales OCL

Authors: Kallel, Sahar Tibermacine, Chouki Skay, Mohamed Reda et al.

Contributors: Kallel, Sahar Tibermacine, Chouki Skay, Mohamed Reda et al.

Source: 3ème Conférence en IngénieriE du Logiciel
CIEL 2014 - 3e Conférence en IngénieriE du Logiciel
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104181
CIEL 2014 - 3e Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.56-70

Subject Terms: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: Paris, France

Availability: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104181
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104181v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104181v1/file/SKetAl_CIEL_2014.pdf

INFÉRENCE DE CERTIFICATS POUR LA VÉRIFICATION STATIQUE DES PROGRAMMES JAVA

Authors: Menif, Emna

Thesis Advisors: Debbabi, Mourad, Tawbi, Nadia

Subject Terms: Informatique

File Description: application/pdf

Availability: http://www.theses.ulaval.ca/2012/28119/28119.pdf

Inférence statique et par contraintes des relations de composition dans des programmes Java

Authors: Habti, Norddin

Thesis Advisors: Monnier, Stefan, Gueheneuc, Yann-Gael

Subject Terms: Composition, Ingénierie inverse, Langages de modélisation, Java, Reverse engineering, Modelling languages

Availability: http://hdl.handle.net/1866/7216

Détection d'intrusions paramétrée par la politique de sécurité grâce au contrôle collaboratif des flux d'informations au sein du système d'exploitation et des applications : mise en œuvre sous Linux pour les programmes Java

Authors: Hiet, Guillaume

Subject Terms: [INFO:INFO_OH] Computer Science/Other, sécurité informatique, détection d'intrusions, politique de sécurité

Availability: http://tel.archives-ouvertes.fr/tel-00355089
http://tel.archives-ouvertes.fr/docs/00/35/50/89/PDF/these_hiet.pdf

Automatic Analysis and Repair of Exception Bugs for Java Programs ; Analyse et réparation automatique des bugs liés aux exceptions dans les programmes Java

Authors: Cornu, Benoit Self-adaptation for distributed services and large software systems (SPIRALS) Inria Lille - Nord Europe et al.

Contributors: Cornu, Benoit Self-adaptation for distributed services and large software systems (SPIRALS) Inria Lille - Nord Europe et al.

Source: https://tel.archives-ouvertes.fr/tel-01250092 ; Software Engineering [cs.SE]. Université de Lille, 2015. English.

Subject Terms: Exception Handler, Gestion des Exceptions, Maintenance Logicielle, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: tel-01250092; https://tel.archives-ouvertes.fr/tel-01250092; https://tel.archives-ouvertes.fr/tel-01250092/document; https://tel.archives-ouvertes.fr/tel-01250092/file/main.pdf

Availability: https://tel.archives-ouvertes.fr/tel-01250092
https://tel.archives-ouvertes.fr/tel-01250092/document
https://tel.archives-ouvertes.fr/tel-01250092/file/main.pdf

Inférence statique et par contraintes des relations de composition dans des programmes Java

Authors: Habti, Norddin Monnier, Stefan Guéhéneuc, Yann-Gaël

Contributors: Habti, Norddin Monnier, Stefan Guéhéneuc, Yann-Gaël

Subject Terms: Composition, Ingénierie inverse, Langages de modélisation, Java, Reverse engineering, Modelling languages

Relation: http://hdl.handle.net/1866/7216

Availability: http://hdl.handle.net/1866/7216

The Treewidth of Java Programs

Authors: Gustedt, Jens Maehle, Ole A. Telle, Jan Arne et al.

Contributors: Gustedt, Jens Maehle, Ole A. Telle, Jan Arne et al.

Source: Lecture Notes in Computer Science ISBN: 9783540439776

Subject Terms: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], programmes java, graphe de flux de contrôle, treewidth, 0202 electrical engineering, electronic engineering, information engineering, Java programs, 0102 computer and information sciences, 02 engineering and technology, register allocation, java programs, 01 natural sciences, control flow graph, allocation de registres

File Description: application/pdf

Access URL: https://inria.hal.science/inria-00100731v1
https://inria.hal.science/inria-00072269v1

Building an Operable Graph Representation of a Java Program as a basis for automatic software maintainability analysis

Authors: Bertrand, Sébastien Favier, Pierre-­‐alexandre André, Jean-Marc et al.

Contributors: Bertrand, Sébastien Favier, Pierre-­‐alexandre André, Jean-Marc et al.

Source: 20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle
https://hal.science/hal-03765430
20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jun 2022, Saint-Etienne, France
https://ci.mines-stetienne.fr/pfia2022/conferences/rjcia/

Subject Terms: Software Maintainability, Program Analysis, Program Graphs, Maintenabilité logicielle, Analyse de programme, Graphe de programme, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Subject Geographic: Saint-Etienne, France

Relation: hal-03765430; https://hal.science/hal-03765430; https://hal.science/hal-03765430/document; https://hal.science/hal-03765430/file/RJCIA22_paper12.pdf

Availability: https://hal.science/hal-03765430
https://hal.science/hal-03765430/document
https://hal.science/hal-03765430/file/RJCIA22_paper12.pdf

Formally verified analysis of resource sharing conflicts in multithreaded Java

Authors: Baklanova, Nadezhda

Index Terms: Informatique, PhD Thesis, NonPeerReviewed

URL: http://thesesups.ups-tlse.fr/2498/1/2014TOU30160.pdf
http://thesesups.ups-tlse.fr/2498/
http://thesesups.ups-tlse.fr/2498

MAÎTRISER L’INSTRUMENTATION DE CODE DES APPLICATIONS ANDROID. (French)

Authors: SAMHI, Jordan

Source: MISC (1631-9036); sep/oct2024, Issue 135, p18-26, 9p, 21 Color Photographs

Hackez Google Android : Introduction à la programmation système

Authors: Brault, Frédéric, Brault, Frédéric

Index Terms: book

URL: https://international.scholarvox.com/book/41001393

Object-Oriented Test Case Generation Using Teaching Learning-Based Optimization (TLBO) Algorithm

Authors: Ohood Al-Masri Wedad Al-Sorori

Source: IEEE Access, Vol 10, Pp 110879-110888 (2022)

Subject Terms: FOS: Computer and information sciences, Code coverage, Test (biology), FOS: Mechanical engineering, object-oriented test case generation, 02 engineering and technology, Unit testing, Redundancy (engineering), Testing-Effort Dependent Models, Engineering, Machine learning, 0202 electrical engineering, electronic engineering, information engineering, Test Case Prioritization, Cover (algebra), Biology, Test suite generation, Automated Testing, Software construction, Automated Software Testing Techniques, Paleontology, Software development, Computer science, coverage-based optimization, Mechanical engineering, TK1-9971, Programming language, Algorithm, Operating system, Computer Science, Physical Sciences, Search-Based Testing, Software Reliability Modeling, Electrical engineering. Electronics. Nuclear engineering, Software Reliability Assessment and Prediction, unit testing, Test case, Regression analysis, Software, Java, Empirical Studies in Software Engineering, Information Systems, Test Management Approach

Access URL: https://doaj.org/article/3aac0774a13c4bc0acb896312870de4e

A Comparative Study of Software Defined Networking Controllers Using Mininet.

Authors: Gupta, Neelam Maashi, Mashael S. Tanwar, Sarvesh et al.

Source: Electronics (2079-9292); Sep2022, Vol. 11 Issue 17, p2715, 37p

Subject Terms: SOFTWARE-defined networking, NETWORK operating system, CONTRAST effect, COMPARATIVE studies

Certain Investigations on Reducing the Cost of Mutation Testing by Substitute Optimization Method.

Authors: R., Shobana G., Maria priscilla

Source: Journal of Algebraic Statistics; 2022, Vol. 13 Issue 3, p764-771, 8p

Subject Terms: MUTATION testing of computer software, GENETIC algorithms, PARTICLE swarm optimization, COST effectiveness, COST control

Tree Regular Model Checking for Lattice-Based Automata

Authors: Genet, Thomas Le Gall, Tristan Legay, Axel et al.

Contributors: Genet, Thomas Le Gall, Tristan Legay, Axel et al.

Subject Terms: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH]

File Description: application/pdf

Access URL: https://inria.hal.science/hal-00687310v2

Kilobyte Virtual Machine Memory Management.

Authors: Aboubacar, Adamou Souleymane

Source: International Review on Computers & Software; Jun2020, Vol. 15 Issue 1, p14-19, 6p

Subject Terms: VIRTUAL machine systems, EMBEDDED computer systems, COMPUTER memory management, COMPUTER storage devices, ALGORITHMS

Time-space efficient regression testing for configurable systems

Authors: Sabrina Souto Marcelo d'Amorim

Source: Journal of Systems and Software. 137:733-746

Subject Terms: FOS: Computer and information sciences, Set (abstract data type), 02 engineering and technology, Testing-Effort Dependent Models, Computer Science - Software Engineering, Context (archaeology), Selection (genetic algorithm), Machine learning, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Data mining, Biology, Code (set theory), Software construction, Automated Software Testing Techniques, D.2.5, Statistics, Paleontology, Regression testing, Computer science, Regression, Programming language, Software Engineering (cs.SE), Computer Science, Physical Sciences, Software system, Requirements Traceability, Software Reliability Modeling, Software Reliability Assessment and Prediction, Test case, Regression analysis, Software, Java, Mathematics, Empirical Studies in Software Engineering, Information Systems

Access URL: http://arxiv.org/pdf/1702.03457
http://arxiv.org/abs/1702.03457

Hackez Google Android : Introduction à la programmation système

Authors: Frédéric Brault Albert Cohen Jean Zundel

Resource Type: eBook.

Subjects: Wireless Internet--Computer programs, G1 (Smartphone)

Categories: COMPUTERS / Operating Systems / General

Une approche parallèle et distribuée pour la complétion d'automates d'arbre

Authors: Caciula, Adrian Courbis, Roméo Felea, Violeta et al.

Contributors: Caciula, Adrian Courbis, Roméo Felea, Violeta et al.

Source: Approches Formelles dans l'Assistance au Développement de Logiciels ; 10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010 ; https://hal.archives-ouvertes.fr/hal-00530350 ; 10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010, Jun 2010, Poitiers, France. pp.43

Subject Terms: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Poitiers, France

Relation: hal-00530350; https://hal.archives-ouvertes.fr/hal-00530350; https://hal.archives-ouvertes.fr/hal-00530350/document; https://hal.archives-ouvertes.fr/hal-00530350/file/CCFHI-AFADL10.pdf

Availability: https://hal.archives-ouvertes.fr/hal-00530350
https://hal.archives-ouvertes.fr/hal-00530350/document
https://hal.archives-ouvertes.fr/hal-00530350/file/CCFHI-AFADL10.pdf