• Aucun résultat trouvé

18 résultats avec le mot-clé: 'assessing improving mutation testing practice pit'

Assessing and Improving the Mutation Testing Practice of PIT

The presence of redundant mutants has long been recog- nized, i.e., since 1993 [46], but only recently, received atten- tion. The studies of Tai [21], [46] were focused on reducing

Protected

N/A

12
0
0
2021
Assessing and Improving the Mutation Testing Practice of PIT

The presence of redundant mutants has long been recog- nized, i.e., since 1993 [46], but only recently, received atten- tion. The studies of Tai [21], [46] were focused on reducing

Protected

N/A

11
0
0
2021
Assessing and Improving the Mutation Testing Practice of PIT

However, popular mutation testing tools use a restrictive set of mutants which does not conform to the community standards and mutation testing literature. This can be problematic

Protected

N/A

6
0
0
2021
RFX1 and RFX3 Transcription Factors Interact with the D Sequence of Adeno-Associated Virus Inverted Terminal Repeat and Regulate AAV Transduction OPEN

To explore the possible involvement of RFX1 and RFX3 in AAV transduction efficiency, HEK-293 cells transfected with siRNAs against either RFX1, RFX3 (respectively siRFX1, siRFX3)

Protected

N/A

12
0
0
2021
Tamely ramified Iwasawa modules having no non-trivial pseudo-null submodules

Itoh, “On tamely ramified Iwasawa modules for the cyclotomic Z p -extension of abelian fields”, Osaka J. Mizusawa, “On tamely ramified pro-p-extensions over Z p -extensions

Protected

N/A

15
0
0
2021
PRÉSENTATION DE L’ÉTUDE DE CAS : AUTOROUTES/ÉCHANGEURS

Ce classeur présente les comparables étudiés dans le cadre du projet de reconstruction du complexe Turcot.. Il regroupe l’ensemble des informations recueillies pour

Protected

N/A

2
0
0
2022
Package ‘leaps’

force.in vector indicating variable that must be in the model force.out vector indicating variable that must not be in the model nbest Number of subsets of each size to report.

Protected

N/A

8
0
0
2022
Stochastic Targeted (STAR) Glycemic Control - Design, Safety and Performance

Method: Clinically validated virtual trials using data from 370 patients in the SPRINT (Specialised Relative Insulin and Nutrition Titration) study are used to design

Protected

N/A

29
0
0
2021
STATISTIQUE TRAVAIL. Toutes les statistiques du système de collecte des données du ministère utiles au monde du travail

d’activité économique 3 Conventions collectives et salariés touchés 5 Grandes conventions Selon la région administrative 5 Par secteur d’activité économique 6 Notes techniques

Protected

N/A

7
0
0
2022
Mesures contre le commerce de biens utilisés pour la peine de mort, la torture et autres peines ou traitements cruels, inhumains ou dégradants

47. L'étude de faisabilité qui a précédé cette recommandation a constaté qu' « au moins un petit nombre de sociétés basées dans certains États membres du

Protected

N/A

72
0
0
2022
Low-latency transmission of low-rate analog sources

The outline of the paper is as follows. In Section II, we present new results which aim to show the benefit of feedback regarding optimality, yet with minimal latency through a

Protected

N/A

5
0
0
2022
Modèles Mathématiques Avec Impulsions

Dans le quatrième chapitre, nous étudions un modèle de traitement chimiothérapeutique par deux médicaments l’un à effet instantané et l’autre avec effet continu pour une

Protected

N/A

108
0
0
2021
ARCHITECTURE D'UNSYSTÈME DE TRAITEMENT

L'unité de traitement dialogue avec la mémoire pour y stocker des informations et pour extraire des informations. •L'interface de sortie reçoit les infor- mations numériques pour

Protected

N/A

4
0
0
2022
Hypermédias et situation didactique

La didactique apparaît comme un moyen de doter l'informatique éducative de bases plus adaptées, centrées notamment sur la situation et les variables didactiques.. Dans cet

Protected

N/A

4
0
0
2021
Lignes aériennes : matériels.

— un alliage d’aluminium, l’almélec, qui possède une résistance mécanique à la traction notablement plus importante que celle de l’aluminium et permet, de ce fait, de

Protected

N/A

10
0
0
2022
Rapprochement entre administrations locales et citoyens via les technologies de l'information et de la communication

Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of

Protected

N/A

4
0
0
2021
PIT a Practical Mutation Testing Tool for Java

the new mutants of PIT are still under development and will be released soon. A beta-version of the tool is available at http://hibernia.ucd.ie/PITest++/.. of using mutation analysis

Protected

N/A

4
0
0
2021
Etude relative à l'application du code de bonne conduite au transit de gaz naturel | CREG : Commission de Régulation de l'Électricité et du Gaz

L’apparition d’une congestion ne signifie pas automatiquement que toute la capacité attribuée aux utilisateurs du réseau est effectivement utilisée (nominée). Il s’avère

Protected

N/A

52
0
0
2022

Télécharger plus de documents et télécharger des études de documentation immédiatement !