Office: Computer Science Building 468
Phone: (970) 491-4608
Website: http://www.cs.colostate.edu/~ghosh/
Curriculum Vitae: http://www.cs.colostate.edu/~ghosh/CV/vita.pdf
Google Scholar: https://scholar.google.com/citations?user=I5zd7t0AAAAJ&hl=en
Education
- Ph.D. Computer Science, Purdue University, 2000
- MS, Computer Science, Iowa State University, 1995
- BTech, Computer Science and Engineering, Indian Institute of Technology, Kanpur, 1993
About
My research interests are in the areas of modeling and testing software in the object-oriented, aspect-oriented, and component-based paradigms. I serve on the editorial boards of prominent technical publications, co-chair major conferences in the field, and am a member of the ACM and Senior Member of the IEEE.
Publications
- A Gradient-Descent Multi-Algorithm Grid Search Optimization of Deep Learning for Sensor Fusion IEEE Systems Conference.
- A Methodology for Energy Usage Prediction in Long-Lasting Abnormal Events Proceedings of the Fourth IEEE International Conference on Cognitive Machine Intelligence (IEEE CogMI), 2022.
- Resource Efficient Profiling of Spatial Variability in Performance of Regression Models Proceedings of the IEEE International Conference on Big Data (IEEE BigData), 2022.
- Bridging the Model-to-Code Abstraction Gap with Fuzzy Logic in Model-Based Regression Test Selection Software and System Modeling, 2022.
- Flexible Formative/Summative Grading System for Large Courses Proceedings of SIGCSE Technical Symposium on Computer Science Education.
- Detecting Secure Memory Deallocation Violations with CBMC Proceedings of the 8th ACM Cyber-Physical System Security Workshop (CPS@AsiaCCS 2022), 2022.
- An empirical comparison of four java-based regression test selection techniques Journal of Systems and Software/Elsevier, 2022.
- Increase Performance in CS 2 via a Spiral Redesign of CS 1 53rd ACM Technical Symposium on Computer Science Education (SIGCSE TS), 2022.
- Increase Performance and Retention: Teach Students How To Study 53rd ACM Technical Symposium on Computer Science Education (SIGCSE TS), 2022.
- Detecting Temporal Dependencies in Data British International Conference on Databases.
- Anomaly Detection in COVID-19 Time-Series Data Springer Nature Computer Science Special Issue on AI for Healthcare, 2021.
- An Autocorrelation-based LSTM-Autoencoder for Anomaly Detection on Time-Series Data IEEE International Conference on Big Data Special Session on Machine Learning on Big Data, 2020.
- ADQuaTe3: A Data Quality Test Approach for Fault Detection and Explanation in Big Data WWW Journal.
- An Empirical Comparison of Four Java-based Regression Test Selection Techniques Journal of Systems and Software.
- ADQuaTe2: A Data Quality Test Approach for Automated Constraint Discovery and Fault Detection Information System Frontier Special Issue on Heuristics acquisition for Data Science.
- An Interactive Data Quality Test Approach for Constraint Discovery and Fault Detection IEEE International Conference on Big Data, 2019.
- Supporting Inheritance Hierarchy Changes in Model-based Regression Test Selection Software and System Modeling, Springer, 2019.
- Special issue on trustworthy systems and software Software Quality Journal, 2019.
- ADQuaTe: An Automated Data Quality Test Approach for Constraint Discovery and Fault Detection 20th IEEE International Conference on Information Reuse and Integration for Data Science, 2019.
- Bridging the Model-to-Code Abstraction Gap with Fuzzy Logic in Model-Based Regression Test Selection IEEE Transactions on Software Engineering.
- Data Warehouse Testing Advances in Computers, Elsevier (In Press), 223--273, 2019.
- 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018, Main Proceedings IEEE, 2018.
- 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018, Workshop Proceedings IEEE, 2018.
- An Approach for Testing the Extract-Transform-Load Process in Data Warehouse Systems Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018.
- Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017 CEUR-WS.org, 2017.
- Subtle higher order mutants Information and Software Technology, 2017.
- ReMoDD Eclipse Plugin: Collaborative Modeling Using a Model Repository Proceedings of MODELS Satellite events (First Workshop on Tools for Model Driven Engineering--MDETools'17), 2017.
- A Fuzzy Logic Based Approach for Model-based Regression Test Selection Proceedings of ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Foundations Track, IEEE, 2017.
- Model-Based Regression Test Selection for Validating Runtime Adaptationof Software Systems2016 IEEE International Conference on Software Testing, Verificationand Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016 IEEE Computer Society, 2016.
- Using Models to Validate Unanticipated, Fine-Grained Adaptations atRuntime17th IEEE International Symposium on High Assurance Systems Engineering,HASE 2016, Orlando, FL, USA, January 7-9, 2016 IEEE Computer Society, 2016.
- Impact of Design Patterns on Software Quality: A Systematic Literature Review Information and Software Techonology.
- Supporting Inheritance Hierarchy Changes in Model-based Regression Test Selection Software and Systems Modeling Springer.
- Guest Editors Introduction to the Special Issue on Program Debugging Software Quality Journal.
- An approach and tool for measurement of state variable based data-flowtest coverage for aspect-oriented programs Information & Software Technology, 2015.
- Companion Proceedings of the 14th International Conference on Modularity,MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015 ACM, 2015.
- Proceedings of the 14th International Conference on Modularity, MODULARITY2015, Fort Collins, CO, USA, March 16 - 19, 2015 ACM, 2015.
- Cell Phone-Based System (Chaak) for Surveillance of Immatures of Dengue Virus Mosquito Vectors Journal of Medical Entomology, 4, 2014.
- Comparing search techniques for finding subtle higher order mutantsGenetic and Evolutionary Computation Conference, GECCO ’14, Vancouver,BC, Canada, July 12-16, 2014 ACM, 2014.
- Evaluating the Usability of a Visual Feature Modeling NotationSoftware Language Engineering - 7th International Conference, SLE2014, Västerås, Sweden, September 15-16, 2014. Proceedings Springer, 2014.
- HOMAJ: A Tool for Higher Order Mutation Testing in AspectJ andJavaSeventh IEEE International Conference on Software Testing, Verificationand Validation, ICST 2014 Workshops Proceedings, March 31 - April4, 2014, Cleveland, Ohio, USA IEEE Computer Society, 2014.
- Constructing subtle higher order mutants for Java and AspectJ programsIEEE 24th International Symposium on Software Reliability Engineering,ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 IEEE Computer Society, 2013.
- ICST 2010 Special Issue Softw. Test., Verif. Reliab., 5, 2013.
- Visualization, Analysis, and Testing of Java and AspectJ Programswith Multi-level System Graphs27th Brazilian Symposium on Software Engineering, SBES 2013, Brasilia,Brazil, October 1-4, 2013 Brazilian Computer Society, 2013.
- An Exploratory Study of Higher Order Mutation Testing in Aspect-OrientedProgramming23rd IEEE International Symposium on Software Reliability Engineering,ISSRE 2012, Dallas, TX, USA, November 27-30, 2012 IEEE Computer Society, 2012.
- Aspect-Oriented Refactoring of Legacy Applications: An Evaluation IEEE Transactions on Software Eng., 1, 2012.
- On generating mutants for AspectJ programs Information & Software Technology, 8, 2012.
- Tester Feedback Driven Fault LocalizationFifth IEEE International Conference on Software Testing, Verificationand Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012 IEEE Computer Society, 2012.
- Using Cell Phones for Mosquito Vector Surveillance and ControlProceedings of the 24th International Conference on Software Engineering& Knowledge Engineering (SEKE’2012), Hotel Sofitel, RedwoodCity, San Francisco Bay, USA July 1-3, 2012 KSI Research Inc., 2012.
- An approach for testing pointcut descriptors in AspectJ Softw. Test., Verif. Reliab., 3, 2011.
- On the Effectiveness of the Tarantula Fault Localization Techniquefor Different Fault Classes13th IEEE International Symposium on High-Assurance Systems Engineering,HASE 2011, Boca Raton, FL, USA, November 10-12, 2011 IEEE Computer Society, 2011.
- Proximity based weighting of test cases to improve spectrum basedfault localization26th IEEE/ACM International Conference on Automated Software Engineering(ASE 2011), Lawrence, KS, USA, November 6-10, 2011 IEEE Computer Society, 2011.
- A Dataflow Testing Approach for Aspect-Oriented Programs12th IEEE High Assurance Systems Engineering Symposium, HASE 2010,San Jose, CA, USA, November 3-4, 2010 IEEE Computer Society, 2010.
- Barriers to systematic model transformation testing Commun. ACM, 6, 2010.
- Models in Software Engineering, Workshops and Symposia at MODELS2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised SelectedPapers Springer, 2010.
- A Rigorous Approach to Uncovering Security Policy Violations in UMLDesigns14th IEEE International Conference on Engineering of Complex ComputerSystems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009 IEEE Computer Society, 2009.
- A Test-Driven Approach to Developing Pointcut Descriptors in AspectJSecond International Conference on Software Testing Verification andValidation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009 IEEE Computer Society, 2009.
- Test Input Generation Using UML Sequence and State Machines ModelsSecond International Conference on Software Testing Verification andValidation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009 IEEE Computer Society, 2009.
- A Joinpoint Coverage Measurement Tool for Evaluating the Effectivenessof Test Inputs for AspectJ Programs19th International Symposium on Software Reliability Engineering (ISSRE2008), 11-14 November 2008, Seattle/Redmond, WA, USA IEEE Computer Society, 2008.
- A test driven approach for aspectualizing legacy software using mocksystems Information & Software Technology, 7-8, 2008.
- Bytecode fault injection for Java software Journal of Systems and Software, 11, 2008.
- Fault Injection Testing of User-space File Systems Using Traditionaland Aspect-based TechniquesProceedings of the Twentieth International Conference on SoftwareEngineering & Knowledge Engineering (SEKE’2008), San Francisco,CA, USA, July 1-3, 2008 KSI Research Inc., 2008.
- Guest editors’ introduction to the special section on the softwareengineering track of the 22nd annual ACM symposium on applied computing(ACM SAC-SE 2007) Software Quality Journal, 3, 2008.
- Panels at MODELS 2008Model Driven Engineering Languages and Systems, 11th InternationalConference, MoDELS 2008, Toulouse, France, September 28 - October3, 2008. Proceedings Springer, 2008.
- Using UML Sequence Diagrams and State Machines for Test Input Generation19th International Symposium on Software Reliability Engineering (ISSRE2008), 11-14 November 2008, Seattle/Redmond, WA, USA IEEE Computer Society, 2008.
- 4th International Workshop on Model Driven Engineering, Verification,and Validation: Integrating Verification and Validation in MDEModels in Software Engineering, Workshops and Symposia at MoDELS 2007,Nashville, TN, USA, September 30 - October 5, 2007, Reports and RevisedSelected Papers Springer, 2007.
- A Generic Approach for Automatic Model CompositionModels in Software Engineering, Workshops and Symposia at MoDELS 2007,Nashville, TN, USA, September 30 - October 5, 2007, Reports and RevisedSelected Papers Springer, 2007.
- Providing Support for Model Composition in Metamodels11th IEEE International Enterprise Distributed Object ComputingConference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland,USA IEEE Computer Society, 2007.
- Testing UML designs Information & Software Technology, 8, 2007.
- A Systematic Approach to Generate Inputs to Test UML Design Models17th International Symposium on Software Reliability Engineering (ISSRE2006), 7-10 November 2006, Raleigh, North Carolina, USA IEEE Computer Society, 2006.
- Developing Distributed Services Using an Aspect Oriented Model DrivenFramework Int. J. Cooperative Inf. Syst., 4, 2006.
- Directives for Composing Aspect-Oriented Design Class Models Transactions on Aspect Oriented Software Development Springer, 2006.
- Model-Driven Development Using UML 2.0: Promises and Pitfalls IEEE Computer, 2, 2006.
- Software Component Specification: A Study in Perspective of ComponentSelection and ReuseFifth International Conference on Commercial-off-the-Shelf (COTS)-BasedSoftware Systems, ICCBSS 2006, 13-16 February 2006, Orlando, Florida,USA, Proceedings Springer, 2006.
- Testing During Refactoring: Adding Aspects to Legacy Systems17th International Symposium on Software Reliability Engineering (ISSRE2006), 7-10 November 2006, Raleigh, North Carolina, USA IEEE Computer Society, 2006.
- A COTS Component Comprehension Process13th International Workshop on Program Comprehension (IWPC 2005),15-16 May 2005, St. Louis, MO, USA IEEE Computer Society, 2005.
- A middleware-transparent approach to developing distributed applications Software Practice and Experience, 12, 2005.
- A Tool-Supported Approach to Testing UML Design Models10th International Conference on Engineering of Complex Computer Systems(ICECCS 2005), 16-20 June 2005, Shanghai, China IEEE Computer Society, 2005.
- An Aspect Oriented Model Driven FrameworkNinth IEEE International Enterprise Distributed Object ComputingConference (EDOC 2005), 19-23 September 2005, Enschede, The Netherlands IEEE Computer Society, 2005.
- Enabling the Selection of COTS ComponentsCOTS-Based Software Systems, 4th International Conference, ICCBSS2005, Bilbao, Spain, February 7-11, 2005, Proceedings Springer, 2005.
- Report on the 2nd Workshop on Model Development andValidation - MoDeVa!!!Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 InternationalWorkshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica,October 2-7, 2005, Revised Selected Papers Springer, 2005.
- UMLAnT: an Eclipse plugin for animating and testing UML designsProceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange,ETX 2005, San Diego, California, USA, October 16-17, 2005 ACM, 2005.
- Using Aspect Oriented Techniques to Support Separation of Concernsin Model Driven Development29th Annual International Computer Software and Applications Conference,COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume1 IEEE Computer Society, 2005.
- A UML-based language for specifying domain-specific patterns Journal of Visual Languages and Computing, 3-4, 2004.
- A UML-Based Pattern Specification Technique IEEE Transactions on Software Engineering, 3, 2004.
- Aspect-oriented approach to early design modelling IEE Proceedings - Software, 4, 2004.
- EPTUD: An Eclipse Plugin for Testing UML DesignsUML Modeling Languages and Applications, UML2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004,Revised Selected Papers Springer, 2004.
- Middleware Transparent Development of Dependable CORBA Applications15th International Symposium on Software Reliability Engineering (ISSRE2004), 2-5 November 2004, Saint-Malo, Bretagne, France IEEE Computer Society, 2004.
- Model Composition DirectivesUML 2004 - The Unified ModellingLanguage: Modelling Languages and Applications. 7th InternationalConference, Lisbon, Portugal, October 11-15, 2004. Proceedings Springer, 2004.
- Using Subject-Oriented Modeling to Develop Jini Applications8th International Enterprise Distributed Object Computing Conference(EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings IEEE Computer Society, 2004.
- A Metamodeling Approach to Pattern-Based Model Refactoring IEEE Software, 5, 2003.
- A Role-Based Metamodeling Approach to Specifying Design Patterns27th International Computer Software and Applications Conference (COMPSAC2003): Design and Assessment of Trustworthy Software-Based Systems,3-6 November 2003, Dallas, TX, USA, Proceedings IEEE Computer Society, 2003.
- Rigorous Testing by Merging Structural and Behavioral UML RepresentationsUML 2003 - The Unified Modeling Language,Modeling Languages and Applications, 6th International Conference,San Francisco, CA, USA, October 20-24, 2003, Proceedings Springer, 2003.
- Supporting Effective Software Modeling L’OBJET, 4, 2003.
- Test Adequacy Assessment for UML Design Model Testing14th International Symposium on Software Reliability Engineering (ISSRE2003), 17-20 November 2003, Denver, CO, USA IEEE Computer Society, 2003.
- Test adequacy criteria for UML design models Journal of Software Testing, Verification and Reliability, 2, 2003.
- Visualizing Interactions in Distributed Java Applications11th International Workshop on Program Comprehension (IWPC 2003),May 10-11, 2003, Portland, Oregon, USA IEEE Computer Society, 2003.
- A Model for Understanding Software Components18th International Conference on Software Maintenance (ICSM 2002),Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal,Quebec, Canada IEEE Computer Society, 2002.
- Mutation of Java Objects13th International Symposium on Software Reliability Engineering (ISSRE2002), 12-15 November 2002, Annapolis, MD, USA IEEE Computer Society, 2002.
- Towards Measurement of Testability of Concurrent Object-Oriented ProgramsUsing Fault Insertion: A Preliminary Investigation2nd IEEE International Workshop on Source Code Analysis and Manipulation(SCAM 2002), 1 October 2002, Montreal, Canada IEEE Computer Society, 2002.
- Using Role-Based Modeling Language (RBML) to Characterize ModelFamilies8th International Conference on Engineering of Complex Computer Systems(ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA IEEE Computer Society, 2002.
- Validating Run-time Interactions in Distributed Java Applications8th International Conference on Engineering of Complex Computer Systems(ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA IEEE Computer Society, 2002.
- A Technique for Mutation of Java Objects16th IEEE International Conference on Automated Software Engineering(ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA,USA IEEE Computer Society, 2001.
- A Test Management and Software Visualization Framework for HeterogeneousDistributed Applications6th IEEE International Symposium on High-Assurance Systems Engineering(HASE 2001), Special Topic: Impact of Networking, 24-26 October2001, Albuquerque, NM, USA, Proceedings IEEE Computer Society, 2001.
- An Extensible Framework for Testing Distributed Java Applications Journal of Research and Practice in Information Technology, 2, 2001.
- Fault Injection Testing for Distributed Object SystemsTOOLS USA 2001: Software Technologies for the Age of the Internet,39th International Conference & Exhibition, Santa Barbara,CA, USA, July 29 - August 3, 2001 IEEE Computer Society, 2001.
- Interface mutation Journal of Software Testing, Verification and Reliability, 3, 2001.
- Towards a Model-Driven Approach to ReuseOOIS’2001, 7th International Conference on Object Oriented InformationSystems, 27-29 August 2001, Calgary, Canada. Proceedings Springer, 2001.
- Interface Mutation to Assess the Adequacy of Tests for Componentsand SystemsTOOLS 2000: 34th International Conference on Technology of Object-OrientedLanguages and Systems, 30 July - 3 August 2000, Santa Barbara, CA,USA IEEE Computer Society, 2000.
- Mining System Tests to Aid Software Maintenance IEEE Computer, 7, 1998.