Nassima Aleb

الانتماء : University of Sciences and Technology Houari Boumediene

10منشورات (انتماء جزائري)
18مجموع المنشورات
51الاستشهادات
4مؤشر h

الملف البحثي

لدى Nassima Aleb 10 منشور(ات) مفهرسة (2011–2016). تُنشر أعماله أساسًا في «Lecture notes in computer science»، «Genetic and Evolutionary Computation Conference Companion (GECCO Companion)» و«Applied Soft Computing». أكثر مقالاته استشهادًا هو «Automatic Test Data Generation Using a Genetic Algorithm» (2013)، وقد استُشهد به 6 مرة. شارك في تأليف أعماله 3 باحثًا على الأقل.

هل هذا أنت؟ عرّف بأبحاثك

أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.

إنشاء ملفي المجاني إضافة منشوراتي

مجالات البحث

Software Testing and Debugging Techniques
Logic, programming, and type systems
Computational Drug Discovery Methods
Formal Methods in Verification
Machine Learning in Bioinformatics

المنشورات (10)

Heuristics for deriving distinguishing experiments of nondeterministic finite state machines
2016 · Applied Soft Computing · استُشهد به 4 مرة
Automatic Test Data Generation Using a Genetic Algorithm
2013 · Lecture notes in computer science · استُشهد به 6 مرة
A New Approach for Distributed Symbolic Software Testing
2013 · Lecture notes in computer science · استُشهد به 1 مرة
Path Guided Abstraction Refinement for Safety Program Verification
2013 · Advances in intelligent systems and computing
An interpolation based crossover operator for genetic programming
2013 · Genetic and Evolutionary Computation Conference Companion (GECCO Companion)
Path coverage testing in the cloud
2012 · International Conference on Communications and Information Technology (ICCIT) · استُشهد به 2 مرة
A new framework for scalable genetic programming
2012 · Genetic and Evolutionary Computation Conference Companion (GECCO Companion) · استُشهد به 1 مرة
Toward a backward model checking
2012 · International Journal of Computer Aided Engineering and Technology · استُشهد به 1 مرة
An Evolutionary Approach for Program Model Checking
2011 · Lecture notes in computer science · استُشهد به 2 مرة
A memetic algorithm for program verification
2011 · UKSim European Symposium on Computer Modeling and Simulation (EMS) · استُشهد به 1 مرة

مجلات النشر

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

المنشورات حسب السنة

20161
20134
20123
20112

المؤلفون المشاركون

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).