Abstract is missing.
- SecSEC: Securing Smart Ethereum ContractsChavhan Sujeet Yashavant. [doi]
- CodeQueries: A Dataset of Semantic Queries over CodeSurya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade. [doi]
- An Approach for Providing Recommendation for Requirements Non-Conformant with Requirement Templates (RTs)Shivani Balwani, Saurabh Tiwari 0001, Sourish Dasgupta, Akhilesh Sharma. [doi]
- How much SPACE do metrics have in GenAI assisted software development?Samarth Sikand, Kanchanjot Kaur Phokela, Vibhu Saujanya Sharma, Kapil Singi, Vikrant Kaulgud, Teresa Tung, Pragya Sharma, Adam P. Burden. [doi]
- Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC)Sangharatna Godboley, P. Radha Krishna 0001, Ritesh Kumar Jha. [doi]
- On the Analysis of Mobile Apps. Why is most of our Research on Android?Alessandra Gorla. [doi]
- SPINE: A Scalable Log Parser with Feedback GuidanceShilin He. [doi]
- Concurrency Testing: A Journey from Research to PracticeAkash Lal. [doi]
- Program Repair and Trusted Automatic ProgrammingAbhik Roychoudhury. [doi]
- Enhancing MVC architecture pattern description using its System of Systems modelMrityunjay Kumar, Venkatesh Choppella. [doi]
- Embedding Privacy First Human Centric in User Experience for Mobile ApplicationsKanchanjot Kaur Phokela, Kapil Singi, Vikrant Kaulgud. [doi]
- Business Process Modeling and Challenges through ExamplesKarnika Shivhare. [doi]
- Neural Networks Verification: Perspectives from Formal MethodPriyanka Maity. [doi]
- Parameterized Static Analysis for Weak Memory ModelsDivyanjali Sharma 0001, Subodh Sharma. [doi]
- A Codebert Based Empirical Framework for Evaluating Classification-Enabled Vulnerability Prediction ModelsTumu Akshar, Vikram Singh, N. L. Bhanu Murthy, Aneesh Krishna, Lov Kumar. [doi]
- Tutorial Report on Legacy Software Modernization: A Journey From Non-AI to Generative AI ApproachesShivali Agarwal, Sridhar Chimalakonda, Saravanan Krishnan, Vini Kanvar, Samveg Shah. [doi]
- Tutorial Report on A Framework for Structured Industry Knowledge for Requirement Understanding in Software DevelopmentAnil Kant Choudhary, Manoj Kumar Lal, Rajesh Vaishampayan, Sumi Lal. [doi]
- Workshop Report on Generative AI-based Software EngineeringRavindra Naik, Asha Rajbhoj, Manasi Patwardhan 0001, Raveendra Kumar Medicherla. [doi]
- Software Development Waste amidst COVID-19 Pandemic: An Industry StudyDhiraj SM Varanasi, Sai Anirudh Karre, Raghu Reddy. [doi]
- Workshop Report on Emerging Software Engineering EducationSantosh Singh Rathore, Saurabh Tiwari 0001, Sheikh Umar Farooq. [doi]
- Safeguarding Controller Variables from SEUs using Static AnalysisGanesha, Sujit Kumar Chakrabarti. [doi]
- Symbolic Verification of Mesh Commissioning Protocol of ThreadPankaj Upadhyay, Subodh Sharma 0001, Guangdong Bai. [doi]
- Workshop Report on Reimagining Future Enterprises and Society using Digital TwinSouvik Barat, Varun Ramamohan. [doi]
- A Contrastive Explanation Tool for Plans in Hybrid DomainsDevdan Dey, Mir Md Sajid Sarwar, Rajarshi Ray 0001, Ansuman Banerjee. [doi]
- A Hierarchical Attention Networks based Model for Bug Report PrioritizationAnurag Yadav, Santosh Singh Rathore. [doi]
- Finding and Investigating Buggy Codes to Make CS1 Learning EfficientNimisha Agarwal. [doi]
- Data-Driven Falsification of Cyber-Physical SystemsAtanu Kundu 0002, Sauvik Gon, Rajarshi Ray 0001. [doi]
- Accelerating Software Development Using Generative AI: ChatGPT Case StudyAsha Rajbhoj, Akanksha Somase, Piyush Kulkarni, Vinay Kulkarni. [doi]