Program source code is not amenable to efficient processing. Consequently, various types of modes of program such as dependency model, flow model, state model, interaction model, etc. can be extracted from source code. Of course, the models would differ in their syntax and sematics for different programming paradigms sporting different programming features and concurrency. Once a suitable program model has been defined, it is used for various software engineering tasks such as test coverage analysis, test case generation, regression test case selection, test prioritixation, optimization, fault-localization, etc.
A Dynamic Slicing Technique for UML Architectural Models by Jaiprakash T. Lallchandani, Rajib Mall IEEE Trans. Software Eng. 37(6) 737-771 (2011)
Task Dependency Analysis for Regression Test Selection of Embedded Programs by Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy Embedded Systems Letters 3(4) 117-120 (2011)
System testing for object‐oriented systems with test case prioritization by D Kundu, M Sarma, D Samanta, R Mall Software Testing, Verification and Reliability 19 (4) 297-333 (2009)
Automatic test case generation using unified modeling language (UML) state diagrams by P Samuel, R Mall, AK Bothra IET software 2 (2) 79-93 (2008)
Automatic test case generation from UML communication diagrams by P Samuel, R Mall, P Kanth Information and software technology 49 (2) 158-171 (2007)
GENERAL MOTORS ECS CRL FOR EDUCATION General Motors Technical Centre India Pvt. Ltd.
Quantification of Software Reliability for Computer-Based I & C Systems of Prototype Fast Breeder Reactor (PFBR) Indira Gandhi Centre For Atomic Research (IGCAR)
RTOS Validation and Development Support Hindustan Aeronautics Limited, MCSRDC Division
Area of Research: Program analysis and testing using machine learning approaches
Area of Research: Software Reliability