Teaching
Courses
__École Polytechnique de Montreal
LOG2430: Software
Validation and Verification (undergraduate course)
Description:
Introduction to Testing and Validation Methods. Drivers, Stubs, Oracles.
Black Box Testing. White Box Testing. Test Generation for Finite State
Machines. Introduction to Object-Oriented Testing. Strategies for
Integration Testing. Statistical Approaches in Software Validation and
Verification.
o Lecturer Fall’10, Winter'12
o Teaching Assistant Fall’08, Fall’09, Winter’10, Winter'12
INF1005A: Procedural Programming (undergraduate course)
Description:
Introduction to computers, operating systems, file systems. Problem
resolution: strategy, role of algorithms. Concepts and properties of
algorithms.
Internal representation of
data. The MATLAB language:
variables, types, control
structures, functions and parameters.
Programming methodology:
structured programming, analysis, testing and
correction tools.
o
Lecturer
Fall’11
INF6102: Applied Meta-Heuristics
for Computer Science (graduate course)
Description:
Hard Combinatorial Problems in Computer Science. Solving Approaches:
Build/Repair. Solving Techniques: Greedy Heuristic, Simulated Annealing,
Tabu Search, Iterative Local Search, Genetic Algorithms, Ant Colony
Optimization. Hybridization, Memetic Algorithms. Adaptation of
Meta-Heuristics to Problems at hand. Efficient Search of Best Neighbor:
Appropriate Data Structures, Incremental Algorithms. Parameter Settings
for Heuristics. Statistical Analysis of Experimental Results.
Applications in Tele-communications Networks, Bio-Informatics,
Scheduling.
o
Teaching Assistant
Winter’07, Winter’08, Winter’09, Winter’10
INF6305: Advanced
Techniques for Software Testing (graduate course)
Description: Main notions of software testing . Certification and validation activities in software development process. Advanced Black Box and White Box testing. Automatic test data generation. Object Oriented Software Testing. Evaluation of software reliability, robustness and safety through quantitative models. Advanced techniques for the detection of security loopholes .
o
Teaching Assistant
Winter’09,Winter’10,Winter’11
Co-Tutoring
__École Polytechnique de Montreal
· Reza Mirsalari, M. Sc. Student, Winter’12
· Ahmed Belderrar, M. Sc. student, Summer’10 - Summer'11
Summer School
PASED - Canadian Summer School on Practical Analyses of Software
Engineering Data
June 16-20, 2011
Basic statistic processing. Predictive models and machine learning.
o
Teaching Assistant