Accueil › Annuaire des chercheurs › Nassima Aleb
Nassima Aleb
Affiliation : University of Sciences and Technology Houari Boumediene
- 10Publications (affiliation algérienne)
- 18Publications au total
- 51Citations
- 4Indice h
Profil de recherche
Nassima Aleb compte 10 publications référencées (2011–2016). Ses travaux paraissent principalement dans « Lecture notes in computer science », « Genetic and Evolutionary Computation Conference Companion (GECCO Companion) » et « Applied Soft Computing ». Son article le plus cité, « Automatic Test Data Generation Using a Genetic Algorithm » (2013), a été cité 6 fois. Ses travaux sont cosignés avec au moins 3 chercheurs.
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- Software Testing and Debugging Techniques
- Logic, programming, and type systems
- Computational Drug Discovery Methods
- Formal Methods in Verification
- Machine Learning in Bioinformatics
Publications (10)
- Heuristics for deriving distinguishing experiments of nondeterministic finite state machines
- Automatic Test Data Generation Using a Genetic Algorithm
- A New Approach for Distributed Symbolic Software Testing
- Path Guided Abstraction Refinement for Safety Program Verification
- An interpolation based crossover operator for genetic programming
- Path coverage testing in the cloud
- A new framework for scalable genetic programming
- Toward a backward model checking
- An Evolutionary Approach for Program Model Checking
- A memetic algorithm for program verification
Revues de publication
- Lecture notes in computer science × 3
- Genetic and Evolutionary Computation Conference Companion (GECCO Companion) × 2
- Applied Soft Computing × 1
- Advances in intelligent systems and computing × 1
- International Conference on Communications and Information Technology (ICCIT) × 1
- International Journal of Computer Aided Engineering and Technology × 1
Publications par année
- 20161
- 20134
- 20123
- 20112
Co-auteurs
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.