2nd Recent Advances in Program Analysis and Software Testing


About The Event


The conference on Program Analysis and Software Testing is a special session under the workshop category which will be held in conjunction with ISEC-2023, Indian Institute of Information Technology, Allahabad Prayagraj, UP, India. It is in line with the scope of ISEC-2023 which will be specially focused on the theme of the event. The theme is based on the research work specific to the areas mentioned in the scope of this conference. RAPAST-2023 is expected to be a good avenue where the researchers from Academia and Industries will participate by presenting their most recent research findings and experimental results in the domain of the scope.

Aim & Scope

Testing consumes the largest effort among all phases of software development. More than 50% of the development effort is being spent on testing. Reliability, quality and effective reuse of software depend to a large extent on thorough testing. Software testing requires the largest manpower among all other development roles, which implies more job opportunities in software industries. Software testing is getting more complex and sophisticated every year due to larger and more complex programs and newer programming paradigms, such as object-oriented programming, aspect-oriented programming, feature- oriented programming, etc. The traditional black box and white box testing techniques cannot be directly applied to the testing of software developed in these programming languages. Software testing has emerged as one of the breakthroughs in Software Engineering. Various software testing techniques and tools have been developed in recent days to assist software developers and testers. These testing techniques will help in achieving better reliability and quality of the software systems. Also, recently many new techniques have come up in the area of program analysis, which help in better software understanding and debugging. Hence, there is a need to promote research and development in these areas. This special session RAPAST-2023 will provide a forum for discussions on theoretical and practical aspects of advanced program analysis and testing, exchanging research ideas and challenges, and exploring possible solutions and future directions. The main aim of this special session is to bring together researchers and practitioners from both academia and industry. This special session is an attempt to bring together the researchers and practitioners who are working in the areas of program analysis, software testing, software reliability and quality, to discuss and present their work. RAPAST-2023 includes majorly the following domains, but is not restricted to:

  • Program Analysis
    • Static Analysis
    • Dynamic Analysis
    • Program Slicing and its Applications
    • Test case generation and certification
  • Software Verification
    • Different verification techniques
    • Verification and Validation
    • Applications of Verification
  • Software Testing
    • Black-box Testing
    • White-box Testing
    • Mutation Testing
    • Model Based Testing
    • Integration Testing
    • System Testing
    • Performance Testing
    • Regression Testing
    • Test Case Optimization
    • Test Case Prioritization
    • Test Case Management
    • Automated Testing Tools
  • Special Testings
    • Testing of Agile Software
    • Testing of O-O Software
    • Testing of Web-based Software
    • Testing of Client-Server Applications
    • Testing of Mobile / Android Apps
    • Testing of IOT based Applications
    • Testing of Big Data Applications
    • Testing of Data warehousing Software
    • Any Other Special Testing
  • Software Debugging
  • Software Reliability
    • Reliability Prediction
    • Assurance and metrics
    • Applications of Reliability
  • Software Quality
  • Program Repair
  • Software Fault Localization
  • Applications of Machine Learning and Deep Learning Techniques in Software Testing and Reliability

Important Dates

  • Submission of Papers: Dec 20, 2022 January 2nd, 2023
  • Notification of Acceptance: Jan 15, 2023 January 31st, 2023
  • Camera-ready version: Jan 30, 2023 February 7th, 2023
  • Workshop: February 23rd, 2023

Call for Papers

We invite good submissions of research papers describing original and unpublished results of the topics mentioned in the scope. There will be two tracks in RAPAST-2023. The first track will be the FULL PAPER and the second will be SHORT PAPER. Each paper submitted to both tracks will be evaluated based on its originality, soundness, completeness, high level of English language, verifiability, and presentation.

How to submit?

Participants are required to submit contributions with a length between 6 to 12 pages (including references and appendices). All submissions will be peer-reviewed. Submissions must be in PDF following one column CEURART style.The submission Web page for RAPAST-2023 is RAPAST - EasyChair.

Papers will be screened for plagiarism and when identified the paper will be rejected. All papers that conform to submission guidelines will be peer-reviewed and evaluated based on originality, technical and/or research content/depth, correctness, relevance to the conference, contributions, and readability. Acceptance of papers will be communicated to authors by email. The authors of the accepted papers will be allowed to make corrections in accordance with the suggestions of the reviewers and submit the final camera-ready papers within the stipulated deadline.


Once the paper gets accepted, then at least one of the authors must register and present their accepted paper(s) as per the below instructions:

  • FULL paper (Talk of 20 min and Q&A of 5 min )
  • SHORT paper (Display of POSTER during the session)


This is the list of programs that are scheduled for the RAPAST - 2023 event.


Event Speakers

Here are our respected speakers.

Title Abstract
Speaker 1

Dr. Rasool Maghareh, Huawei, Canada

TracerX: Approximation of Weakest Precondition for Interpolation Dynamic Symbolic Execution (DSE) is an important method for the testing of programs. The major challenge in symbolic execution is path explosion. The method of abstraction learning has been used to address this. The key step here is the computation of an interpolant to represent the learned abstraction. In this talk, I present the new interpolation algorithm of TracerX in a practical manner. This algorithm is the heart of TracerX. In general, Weakest Precondition (WP) is the ideal interpolant. However, WP is intractable to compute and is exponentially disjunctive. The challenge is to obtain a conjunctive approximation of the WP. In our algorithm, we generate an approximation of the WP with the help of the incoming context.
Speaker 2

Dr. Shouvick Mondal, IIT Gandhinagar

Colosseum: Regression Test Prioritization by Delta Displacement in Test Coverage The problem of test-case prioritization has been pursued for over three decades now and continues to be one of the active topics in software testing research. In this research work, we focus on a code-coverage based regression test-prioritization solution (Colosseum) that takes into account the position of changed (delta) code elements (basic-blocks) along the loop-free straight-line execution path of the regression test-cases. We propose a heuristic that logically associates each of these paths with three parameters: (i) the offset (displacement a) of the first delta from the starting basic-block, (ii) the offset (displacement c) of the last delta from the terminating basic block, and (iii) the average scattering (displacement b) within all the intermediate basic-blocks. We hypothesize that a regression test-case path with a shorter overall displacement has a good chance of propagating the effects of the code-changes to the observable outputs in the program. Colosseum prioritizes test-cases with smaller overall displacements and executes them early in the regression test-execution cycle. The underlying intuition is that the probability of a test-case revealing a regression fault depends on the probability of the corresponding change propagation. The change in this context can potentially lead to an error. Extending this logic, delta displacement provides an approximation to failed error propagation. Evaluation on 20 open-source C projects (totaling: 694,512 SLOC, 280 versions, and 69,305 test-cases) against four state-of-the-art prioritizations reveals that: Colosseum outperforms the competitors with an overall 84.61% success in terms of 13 prioritization effectiveness metrics, majority of which prefer to execute top-k% prioritized test-cases.
Speaker 3

Mr. Shubham Pratap Singh, LDRA, India

Importance of Software Verification in Process Standards With the tremendous adoption of technologies in safety-critical markets like Aerospace & Defense, Automotive, Industrial, Railways, and the like. We always think, ``How safe it is, or will it be." Though a lot of new innovations are revolutionizing industries, a million lines of code in the software development process are quite complex for verification; it should meet the respective process standard to ensure the code is safe and secure. In this session, the speaker will highlight why process standards should be implemented in all domains and how software verification becomes an inevitable aspect of process standards. Also, the speaker will guide the audience in gaining insights about coding standard guidelines for academia and research scholar.
Speaker 4

Prof. Durga Prasad Mohapatra, NIT Rourkela

Android malware detection based on hybrid analysis and machine learning The great majority of people are using Android smartphones. The amount of malicious attacks on smartphones has increased rapidly as human dependence on this technology has grown. There are numerous approaches for detecting malware on Android, but they lack early identification and detection. We provide a machine learning-based hybrid analysis (static + dynamic) technique to detect and identify malware. The proposed hybrid technique performs better at recognizing and detecting malicious attacks than static and dynamic analysis. The malware detection model has a 0.89 Matthews correlation coefficient. While it is 0.88 for the malware category and 0.82 for the malware family classification. The proposed model is effective for identifying and detecting malware since it has a higher MCC.

Accepted Papers

This is the list of papers that are accepted for being presented at RAPAST - 2023 event.

  • Paper-ID 6225: Dynamic Slicing Algorithm for FeatureC++ Programs (Alina Mishra, Harapriya Senapati and Manas Ranjan Kabat) - FULL
  • Paper-ID 4700: Construction and Application of Knowledge Graphs in Requirement Engineering Process (Preeti Malik and Lata Nautiyal) - FULL
  • Paper-ID 8700: Threat Detection and Classification Using ML Techniques (Dr. Rohit Rastogi, Vaibhav Gupta, Vaibhav Sharma and Tushar Gupta) - FULL
  • Paper-ID 9071: Human Detection And Counting (Ambati Tejitha and Kolli Naga Vidya) - SHORT


Organising Secretaries

  • Dr. Sangharatna Godboley, NIT Warangal, India
  • Prof. Durga Prasad Mohapatra, NIT Rourkela, India

Advisory Committee

  • Prof. Rajib Mall, IIT Kharagpur, India
  • Prof. Joxan Jaffar, NUS Signapore
  • Prof. Jin Song Dong, NUS Singapore
  • Prof. Santanu Kumar Rath, NIT Rourkela, India
  • Prof. Swapan Bhattacharya, Ex-Director, KNIT Surathkal
  • Prof. Mike Hinchey, Lero-Irish Software Engineering Centre, Ireland
  • Prof. Marcin Paprzycki, WMA, Warsaw, Poland
  • Prof. R. B. V. Subramanyam, NIT Warangal, India
  • Prof. P. Radha Krishna, NIT Warangal, India
  • Dr. Ravichandra Sadam, NIT Warangal, India
  • Dr. Venkatesh R, TRDDC Pune

Technical Program Committee

  • Prof. Khir Sagar Naik, University of Waterloo, Canada
  • Prof. Richard Lai, Latrobe University, Australia
  • Dr. Rasool Magahreh, Huwai Canada
  • Prof. Adam Przybylek, Gdansk University of Technology, Poland
  • Prof. Tony Clarck, Middlesex University, London, UK
  • Prof. Amey Karkare, IIT Kanpur, India
  • Prof Erik Cambria, NTU, Singapore
  • Prof. Manoranjan Satpathy, IIT Bhubaneswar, India
  • Prof. Dr. Chiranjeev Kumar, IIT(ISM), Dhanbad, India
  • Prof. Anil Kumar Tripathi, IIT (BHU), Varanasi, India
  • Prof. Y. Raghu Reddy, IIIT Hyderabad, India
  • Prof. Aneesh Krishna, Curtin University of Technology, Australia
  • Prof. David Lo, SMU Singapore
  • Prof. Diganta Goswami, IIT Guwahati, India
  • Prof. Ansuman Banerjee, ISI Kolkata, India
  • Prof. Rahul Purandare, IIIT Delhi, India
  • Prof. Subhajit Roy, IIT Kanpur
  • Prof. Debashis Samanta, IIT Kharagpur, India
  • Prof. Philip Samuel, CUST, Kochi
  • Prof. Annapa, KNIT Surathkal
  • Dr. Subhrakanta Panda, BITs Pilani, Hyderabad, India
  • Dr. Jagganath Singh, KIIT university, Bhubaneswar, India
  • Dr Salman Abdul Moiz, University of Hyderabad, India
  • Dr. Anjaneyulu Pasala, Infosys, Bangalore, India

Student Volunteers

  • Golla Monika Rani, NIT Warangal, India
  • Ritesh Kumar Jha, NIT Warangal, India
  • Bikash Singha, NIT Warangal, India
  • Sai Bharat Reddy, NIT Warangal, India


All agencies and organisations are open to contact for sponsorships.


Each accepted paper must be registered to get included in conference proceedings. Please see the registration structure here: ISEC 2023 - Program Committee Members (iiita.ac.in).


All accepted, registered, and presented papers shall be submitted to “CEUR Workshop Proceedings(CEUR-WS.org)". Proceedings shall be submitted to

CEUR-WS.org - CEUR Workshop Proceedings (free, open-access publishing, computer science/information systems)

Contact Us

Dr. Sangharatna Godboley

Ph.D.(NITR), Post-Doc(NUS),

Assistant Professor,

IEEE and ACM Member,

Department of Computer Science and Engineering,

National Institute of Technology (NIT) Warangal


National Institute of Technology (NIT) Warangal, Telangana, Pin- 506004, India.

Phone Number