ISEC

Publications

2024

Akash Lal
Concurrency Testing: A Journey from Research to Practice. ISEC (2024)
Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade
CodeQueries: A Dataset of Semantic Queries over Code. ISEC (2024)
Anurag Yadav, Santosh Singh Rathore
A Hierarchical Attention Networks based Model for Bug Report Prioritization. ISEC (2024)
Shivali Agarwal, Sridhar Chimalakonda, Saravanan Krishnan, Vini Kanvar, Samveg Shah
Tutorial Report on Legacy Software Modernization: A Journey From Non-AI to Generative AI Approaches. ISEC (2024)
Devdan Dey, Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee
A Contrastive Explanation Tool for Plans in Hybrid Domains. ISEC (2024)
Chavhan Sujeet Yashavant
SecSEC: Securing Smart Ethereum Contracts. ISEC (2024)
Kanchanjot Kaur Phokela, Kapil Singi, Vikrant Kaulgud
Embedding Privacy First Human Centric in User Experience for Mobile Applications. ISEC (2024)
Sangharatna Godboley, P. Radha Krishna, Ritesh Kumar Jha
Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC). ISEC (2024)
Karnika Shivhare
Business Process Modeling and Challenges through Examples. ISEC (2024)
Asha Rajbhoj, Akanksha Somase, Piyush Kulkarni, Vinay Kulkarni
Accelerating Software Development Using Generative AI: ChatGPT Case Study. ISEC (2024)
Alessandra Gorla
On the Analysis of Mobile Apps. Why is most of our Research on Android? ISEC (2024)
Proceedings of the 17th Innovations in Software Engineering Conference, ISEC 2024, Bangalore, India, February 22-24, 2024 ISEC (2024)
Nimisha Agarwal
Finding and Investigating Buggy Codes to Make CS1 Learning Efficient. ISEC (2024)
Abhik Roychoudhury
Program Repair and Trusted Automatic Programming. ISEC (2024)
Souvik Barat, Varun Ramamohan
Workshop Report on Reimagining Future Enterprises and Society using Digital Twin. ISEC (2024)
Mrityunjay Kumar, Venkatesh Choppella
Enhancing MVC architecture pattern description using its System of Systems model. ISEC (2024)
Tumu Akshar, Vikram Singh, N. L. Bhanu Murthy, Aneesh Krishna, Lov Kumar
A Codebert Based Empirical Framework for Evaluating Classification-Enabled Vulnerability Prediction Models. ISEC (2024)
Santosh Singh Rathore, Saurabh Tiwari, Sheikh Umar Farooq
Workshop Report on Emerging Software Engineering Education. ISEC (2024)
Shivani Balwani, Saurabh Tiwari, Sourish Dasgupta, Akhilesh Sharma
An Approach for Providing Recommendation for Requirements Non-Conformant with Requirement Templates (RTs). ISEC (2024)
Ganesha, Sujit Kumar Chakrabarti
Safeguarding Controller Variables from SEUs using Static Analysis. ISEC (2024)
Priyanka Maity
Neural Networks Verification: Perspectives from Formal Method. ISEC (2024)
Divyanjali Sharma, Subodh Sharma
Parameterized Static Analysis for Weak Memory Models. ISEC (2024)
Pankaj Upadhyay, Subodh Sharma, Guangdong Bai
Symbolic Verification of Mesh Commissioning Protocol of Thread. ISEC (2024)
Dhiraj SM Varanasi, Sai Anirudh Karre, Raghu Reddy
Software Development Waste amidst COVID-19 Pandemic: An Industry Study. ISEC (2024)
Samarth Sikand, Kanchanjot Kaur Phokela, Vibhu Saujanya Sharma, Kapil Singi, Vikrant Kaulgud, Teresa Tung, Pragya Sharma, Adam P. Burden
How much SPACE do metrics have in GenAI assisted software development? ISEC (2024)
Shilin He
SPINE: A Scalable Log Parser with Feedback Guidance. ISEC (2024)
Ravindra Naik, Asha Rajbhoj, Manasi Patwardhan, Raveendra Kumar Medicherla
Workshop Report on Generative AI-based Software Engineering. ISEC (2024)
Anil Kant Choudhary, Manoj Kumar Lal, Rajesh Vaishampayan, Sumi Lal
Tutorial Report on A Framework for Structured Industry Knowledge for Requirement Understanding in Software Development. ISEC (2024)
Atanu Kundu, Sauvik Gon, Rajarshi Ray
Data-Driven Falsification of Cyber-Physical Systems. ISEC (2024)

2023