My research interests lie in the areas of compilers and software engineering. I relate these two subjects through reverse engineering techniques. For the time being the main focus of my research is in software testing and reverse engineering. I use a mixture of compilers and statistical techniques and highly practical software engineering methods. I am interested in automated test data generation and fault localization. I have developed new methods and algorithms for detecting the domain of a program inputs rather than the inputs data, themselves. I believe that statistical approaches to fault localization are biased by the test sets and the bias could be avoided by applying the domain coverage criterion as a basis for evaluating the data sets. We have designed and developed a number of components to facilitate test data generation and automated fault localization, I have been working on the following topics:
- Design and development of fault detection and prediction techniques
- Automatic test data generation for file format fuzz testing
- Automatic detection of a program input domain space
For a brief description of my research activities, please refer to our research laboratory.
If you are interested in pure research in software testing, especially at Ph.D. level, you may contact me through my email, firstname.lastname@example.org.
More about research
Research Topics in Details
- Compiler Optimization & Programming Languages
- Reverse Engineering & Refactoring
- Grid and Distributed Computing
- Formal Methods
- Algorithms (Heuristic & Deterministic)
- Software Engineering
Previous Research Plans
- Automatic Distribution of Sequential Code, 2008
- Automatic Parallelization of Sequential Code, 2007
- Supervision of Ph.D. projects titled:
- Genetic Approach to Automatic Parallelization of Nested loops, 2008.
- Synetic Approach to Automatic Parallelization of Nested loops, 2008.
- Supervision of M.Sc projects in:
- Task graph scheduling
- Reverse engineering
- Compiler Optimizations
- Workflow engines and web services
- Grid computing