Productivity Tools and Software Engineering       

links

 photoPANKAJ DHOOLIA photo Senthil Kumar (Senthil Kumar) Kumarasamy Mani photo photo photo

Productivity Tools and Software Engineering Publications



2014

What Gives? A Hybrid Algorithm for Error Trace Explanation
V. Murali, N. Sinha, E. Torlak, S. Chandra
6th Working Conference on Verified Software: Theories, Tools, and Experiments, 2014

Operational Abstractions of Model Transforms
V S Sinha, P Dhoolia, S Mani, and S Sinha
Proceedings of the 7th India Software Engineering Conference (ISEC), pp. 3:1-3:10, 2014
Abstract

Global Software Testing under Deadline Pressure: Vendor-side Experiences
H Shah, M J Harrold, and S Sinha
Information and Software Technology 56(1), 6-19, 2014

Data-Guided Repair of Selection Statements
Divya Gopinath; Sarfraz Khurshid; Diptikalyan Saha; Satish Chandra
International Conference on Software Engineering, 2014
Abstract

Software Services: A Research Roadmap.
S Chandra, V S Sinha, S Sinha, and K Ratakonda
36th International Conference on Software Engineering (ICSE 2014), Future of Software Engineering, to appear

Robust Test Automation Using Contextual Clues
Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra
Proceedings of the 2014 International Symposium on Software Testing and Analysis, pp. 304--314, ACM
Abstract

API as a Social Glue
Rohan Padhye, Debdoot Mukherjee, and Vibha Singhal Sinha
36th International Conference on Software Engineering (ICSE 2014), NIER Track

A Study of External Community Contribution to Open-Source Projects on GitHub
Rohan Padhye, Senthil Mani and Vibha Singhal Sinha
11th Working Conference on Mining Software Repositories (MSR 2014), Challenge Track


2013

Compiling Mockups to Flexible UIs.
N. Sinha, R. Karim
Foundations of Software Engineering, 2013

Distributed Program Tracing
Diptikalyan Saha, Pankaj Dhoolia, Gaurab Paul
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, pp. 180--190, ACM

Interprocedural Data Flow Analysis in Soot using Value Contexts
Rohan Padhye and Uday Khedker
ACM SIGPLAN Internationational Workshop on the State Of the Art in Java Program Analysis (SOAP 2013)

Efficient and Flexible GUI Test Execution via Test Merging
P Devaki, S Thummalapenta, N Singhania, S Sinha
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2013
Abstract

Guided Test Generation for Web Applications
S Thummalapenta, K V Lakshmi, S Sinha, N Sinha, S Chandra
Proceedings of the 35th International Conference on Software Engineering (ICSE), pp. 162--171, 2013
Abstract

Efficient and Change-Resilient Test Automation: An Industrial Case Study
S Thummalapenta, P Devaki, S Sinha, S Chandra, S Gnanasundaram, D Nagaraj, S Sathishkumar
Proceedings of the 35th International Conference on Software Engineering (ICSE), Software Engineering in Practice Track, pp. 1002--1011, 2013
Abstract

TestEvol: A Tool for Analyzing Test-Suite Evolution
L S Pinto, S Sinha, A Orso
Proceedings of the 35th International Conference on Software Engineering (ICSE), Tool Demonstrations Track, pp. 1303--1306, 2013
Abstract


2012

Alternate and Learn: Finding Witnesses without looking all over
N. Sinha, N. Singhania, S. Chandra, M. Sridharan
Computer-Aided Verification, 2012

Efficiently Scripting Change-Resilient Tests
S Thummalapenta, N Singhania, P Devaki, S Sinha, S Chandra, A Das and S Mangipudi
Proceedings of the 20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Research Tool Demonstrations Track, 2012
Abstract

Understanding Myths and Realities of Test-Suite Evolution
L Sales Pinto, S Sinha, and A Orso
Proceedings of the 20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), 2012
Abstract

Automating Test Automation
S Thummalapenta, S Sinha, N Singhania, S Chandra
Proceedings of the 34th International Conference on Software Engineering (ICSE), pp. 881--891, 2012
Abstract

Identifying services from legacy batch applications
R Komondoor, V K Nandivada, S Sinha, J Field
Proceedings of the 5th India Software Engineering Conference (ISEC), pp. 13--22, 2012
Abstract


2011

On Interference Abstractions
N. Sinha, C. Wang
Principles of Programming Languages, 2011

Fault Localization for Data-centric Programs
Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha, Satish Chandra
Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, pp. 157--167, ACM, 2011
Abstract   US Patent App. 13/247,301

Serving Information Needs In Business Process Consulting
M Gupta, D Mukherjee, S Mani, V S Sinha, S Sinha
Proceedings of the 9th International Conference on Business Process Management (BPM), pp. 231--247, Springer Link, 2011

Outsourced, offshored software-testing practice: Vendor-side experiences
H Shah, S Sinha, M J Harrold
Proceedings of the 6th International Conference on Global Software Engineering (ICGSE) Best Paper Award, pp. 131--140, 2011
Abstract

Regression Testing in the Presence of Non-code Changes
A Nanda, S Mani, S Sinha, M J Harrold, A Orso
Proceedings of the 4th International Conference on Software Testing, Verification and Validation (ICST), pp. 21--30, 2011
Abstract

Entering the circle of trust: Developer initiation as committers in open-source projects
V S Sinha, S Mani, S Sinha
Proceedings of the 8th Working Conference on Mining Software Repositories (MSR), pp. 133--142, ACM, 2011
Abstract

Execution hijacking: Improving dynamic analysis by flying off course
P Tsankov, W Jin, A Orso, S Sinha
Proceedings of the 4th International Conference on Software Testing, Verification and Validation (ICST), pp. 200--209, 2011
Abstract


2010

Staged Concurrent Program Analysis
N. Sinha, C. Wang
Foundations of Software Engineering, ACM SIGSOFT Distinguished Paper, 2010

From informal process diagrams to formal process models
D Mukherjee, P Dhoolia, S Sinha, A J Rembert, M G Nanda
Proceedings of the 8th International Conference on Business Process Management (BPM), pp. 145--161, Springer, 2010

Automated support for repairing input-model faults
Senthil Mani, Vibha Singhal Sinha, Pankaj Dhoolia, Saurabh Sinha
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 195--204, ACM, 2010
Abstract

Making Defect-Finding Tools Work For You
M. G. Nanda, M. Gupta, S. Sinha, S. Chandra, D. Schmidt, P. Balachandran
International Conference on Software Engineering (ICSE), Software Engineering in Practice track, pp. 99--108, ACM, 2010
Abstract

Automated bug neighborhood analysis for identifying incomplete bug fixes
M Kim, S Sinha, C Gorg, H Shah, M J Harrold, M G Nanda
Proceedings of the 3rd International Conference on Software Testing, Verification and Validation (ICST), pp. 383--392, 2010
Abstract

BUGINNINGS: Identifying the origins of a bug
V S Sinha, S Sinha, S Rao
Proceedings of the 3rd India Software Engineering Conference (ISEC) Best Paper Award, pp. 3--12, ACM, 2010
Abstract

Debugging model-transformation failures using dynamic tainting
Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha
Proceedings of the 25th European Conference on Object-Oriented Programming (ECOOP), pp. 26--51, Springer, 2010
Abstract


2009

Demystifying model transformations: An approach based on automated rule inference
M G Nanda, S Mani, V S Sinha, S Sinha
Proceeding of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA), pp. 341--360, ACM, 2009
Abstract

Fault localization and repair for Java runtime exceptions
S Sinha, H Shah, C Gorg, S Jiang, M Kim, M J Harrold
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 153--164, ACM, 2009
Abstract

Efficient Testing of Service-Oriented Applications using Semantic Service Stubs
S Mani, V S Sinha, S Sinha, P Dhoolia, D Mukherjee, Chakraborty
Proceedings of the IEEE International Conference on Web Services (ICWS), pp. 197--204, 2009
Abstract

Accurate Interprocedural Null-Dereference Analysis for Java
M G Nanda, S Sinha
Proceedings of the 31st International Conference on Software Engineering (ICSE), pp. 133--144, IEEE Computer Society, 2009
Abstract