Home › Researcher directory › Nassima Aleb
Nassima Aleb
Affiliation : University of Sciences and Technology Houari Boumediene
- 10Publications (affiliation in Algeria)
- 18Total publications
- 51Citations
- 4h-index
Research profile
Nassima Aleb has 10 indexed publications (2011–2016). Their work appears mainly in “Lecture notes in computer science”, “Genetic and Evolutionary Computation Conference Companion (GECCO Companion)” and “Applied Soft Computing”. Their most cited article, “Automatic Test Data Generation Using a Genetic Algorithm” (2013), has been cited 6 times. Their work is co-authored with at least 3 researchers.
Is this you? Get your research seen
Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.
Create my free profile Add my publicationsResearch areas
- 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
Publication venues
- 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 per year
- 20161
- 20134
- 20123
- 20112
Co-authors
Bibliographic data from OpenAlex (open database).
Why choose Dzcademia?
Profiles, articles and conference contributions: give your research a structured public presence. Integrated metadata help search engines and AI assistants identify your work and understand its references.
Comment with Google
Sign in with Google to comment directly on this page.