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 Jaiprakash T. Lallchandani, Rajib Mall By IEEE Trans. Software Eng. 37(6) 737-771 (2011)
-
Task Dependency Analysis for Regression Test Selection of Embedded Programs Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy By Embedded Systems Letters 3(4) 117-120 (2011)
-
System testing for object‐oriented systems with test case prioritization D Kundu, M Sarma, D Samanta, R Mall By Software Testing, Verification and Reliability 19 (4) 297-333 (2009)
-
Automatic test case generation using unified modeling language (UML) state diagrams P Samuel, R Mall, AK Bothra By IET software 2 (2) 79-93 (2008)
-
Automatic test case generation from UML communication diagrams P Samuel, R Mall, P Kanth By Information and software technology 49 (2) 158-171 (2007)
Co-Principal Investigator
- GENERAL MOTORS ECS CRL FOR EDUCATION General Motors Technical Centre India Pvt. Ltd.
- RTOS Validation and Development Support Hindustan Aeronautics Limited, MCSRDC Division
Ph. D. Students
Jyoti Prakash Meher
Area of Research: Software Engineering Applications
Sourav Biswas
Area of Research: Software Testing
