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)
Design, Development, Verification and Reliability Analysis of Prototype Control Room HMI Software for Fast Breeder Reactors Indira Gandhi Centre For Atomic Research (IGCAR)
RTOS Validation and Development Support Hindustan Aeronautics Limited, MCSRDC Division
GENERAL MOTORS ECS CRL FOR EDUCATION General Motors Technical Centre India Pvt. Ltd.
Area of Research: Software Reliability
Area of Research: Fault Localization
Area of Research: Software Testing
Jyoti Prakash Meher
Area of Research: Software Engineering Applications