Hyunsook Do

Associate Professor
Department of Computer Science and Engineering
University of North Texas
1155 Union Circle, #311366 Denton, Texas 76203-5017
Office: NTDP F244
Phone: (940) 565-4864
email: hyunsook dot do at unt dot edu
web: http://www.cse.unt.edu/~hdo

Research

Dr. Do's research interests lie in software engineering, particularly software testing, maintenance, and empirical methodologies. She has been working on problems on evolution-aware testing techniques for object-oriented systems, including test selection, prioritization, test suite design, unit/integration testing, and model-based requirements verification. She received a National Science Foundation CAREER Award in 2012 for her research on software maintenance and testing.

Project Pages

GenCyber Teachers Camp (2023)

Model-based Requirements Analysis and Validation

Teaching

  • CSCE4460/5460 Software Testing and Empirical Methodologies: Spring 2018-2022
  • CSCE4901 Software Development Capstone: Spring 2020-2021
  • CSCE4444/5430 Software Engineering: Fall 2015-2023
  • CSCE4930/5933 Software Testing and Empirical Methodologies: Spring 2016 and 2017

    Teaching at North Dakota State University

  • CS345 Practical Approaches to Software Testing: Spring 2009
  • CS413 Principles of Software Engineering: Fall 2009-2012, and 2014
  • CS714 Software Project Planning and Estimation: Spring 2010-2013
  • CS715 Software Requirements Definition and Analysis: Fall 2007-2012
  • CS747 Software Complexity Metrics: Fall 2008 and 2012; Spring 2011-2013
  • CS783 Software Testing and Empirical Methodologies: Spring 2008 and 2015

    Vita

    PDF.

    Publications

    2023

  • ADSA-Association-Driven Safety Analysis to Expose Unknown Safety Issues. Kaushik Madala, Hyunsook Do and Bastian Tenbergen, IEEE Transactions on Dependable and Secure Computing (TDSC), 2023.

  • A Multi-Model Framework for Semantically Enhancing Detection of Quality-Related Bug Report Descriptions, Rrezarta Krasniqi and Hyunsook Do, Empirical Software Engineering (EMSE) (journal), 2023.

  • Towards Semantically Enhanced Detection of Emerging Quality Concerns in Source Code, Rrezarta Krasniqi and Hyunsook Do, Software Quality Journal (SQJ), 2023.

  • Exploring Generalizability of NLP-based Models for Modern Software Development Cross-Domain Environments, Rrezarta Krasniqi and Hyunsook Do, The 2nd Workshop on Natural Language-based Software Engineering (NLBSE), co-located with ICSE 2023, May 2023.

  • A Hierarchical Topical Modeling Approach for Recommending Repair of Quality Bugs Repair of Quality Bugs, Rrezarta Krasniqi and Hyunsook Do, IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), March 2023.

    2022

  • Identifying Safety Issues from Energy Conservation Requirements, Kaushik Madala, Hyunsook Do and Bastian Tenbergen, Journal of Software: Evolution and Process, 2022.

  • A Hierarchical Dependency-Driven Scenario-Based Testing for Autonomous Vehicles, Kaushik Madala and Hyunsook Do, Springer Book of VEHITS, 2022.

  • Automatically Capturing Quality-Related Concerns in Bug Report Descriptions for Efficient Bug Triaging, Rrezarta Krasniqi and Hyunsook Do, International Conference Evaluation and Assessment in Software Engineering (EASE), June 2022.

    2021

  • Functional Safety Hazards for Machine Learning Components in Autonomous Vehicles, Kaushik Madala and Hyunsook Do, International Conference on Industrial Cyber-Physical Systems (ICPS), April 2021.

  • A Dependency-based Combinatorial Approach for Reducing Effort for Scenario-based Safety Analysis of Autonomous Vehicles, Kaushik Madala and Hyunsook Do, International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS), April 2021.

  • The Need for Location-based Machine Learning Models for Level 5 Autonomous Vehicles, Kaushik Madala and Hyunsook Do, International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS), April 2021.

  • Resolving Confusion of Unknowns in Autonomous Vehicles: Types and Perspectives, Kaushik Madala and Hyunsook Do, International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS), April 2021.

    2020

  • SACC - A property driven approach to expose undesired behaviors among systems components, Kaushik Madala, Keye Hang, Hyunsook Do, and Bastian Tenbergen, IEEE International Symposium on Software Reliability Engineering (ISSRE), October 2020.

  • Model elements identification using neural networks: a comprehensive study, Kaushik Madala, Shraddha Piparia, Eduardo Blanco, Hyunsook Do, and Renee Bryce, Journal: Requirements Engineering, May 2020.

    2019

  • A Systematic Requirements and Risks-Based Test Case Prioritization Using a Fuzzy Expert System, Charitha Hettiarachchi and Hyunsook Do. IEEE International Conference on Software Quality, Reliability, and Security (QRS), Sofia, Bulgaria, July, 2019. PDF.

  • An efficient regression testing approach for PHP Web applications using test selection and reusable constraints, Ravi Eda and Hyunsook Do. Software Quality Journal, 2019, accepted.

  • Identifying Usage Patterns Using Telemetry to Improve Test Prioritization, Jeff Anderson, Maral Azizi, Hyunsook Do, and Saeed Salem. Journal of Information and Software Technology, 2019.

  • Exposing Off-Nominal Behaviors in Multi-Robot Coordination, Kaushik Madala, Hyunsook Do, and Daniel Aceituna, 2nd International Workshop on Robotics Software Engineering, May, 2019. PDF.

  • VeriCCM: Improving the Syntax and Semantics of Requirements Models, Danielle Gaither, Kaushik Madala, Hyunsook Do, and Barrett R. Bryant, The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Poster, April, 2019. PDF.

    2018

  • ReTEST: A Cost Effective Test Case Selection Technique for Modern Software Development, Maral Azizi and Hyunsook Do, International Symposium on Software Reliability Engineering (ISSRE), October, 2018. PDF.

  • Graphite: A Greedy Graph-Based Technique for Regression Test Case, Maral Azizi and Hyunsook Do, 11th International Research Workshop on Advances and Innovations in Software Testing, October, 2018. PDF.

  • Finding Component State Transition Model Elements using Neural Networks: An Empirical Study, Kaushik Madala, Shraddha Piparia, Hyunsook Do, and Renee Bryce, Workshop on Artificial Intelligence for Requirements Engineering (AIRE), August, 2018. PDF.

  • A Knowledge Acquisition Approach for Off-Nominal Behaviors, Kaushik Madala, Hyunsook Do, and Daniel Aceituna, 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS), August, 2018. PDF.

  • Deriving Functional Safety Requirements using Undesired Combination State Templates, Daniel Aceituna, Kaushik Madala, and Hyunsook Do, 4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS), August, 2018. PDF.

  • Combinatorial Approach for Exposing Off-Nominal Behaviors, Kaushik Madala, Hyunsook Do, and Daniel Aceituna, IEEE International Conference on Software Engineering (ICSE), May, 2018. PDF.

  • A Collaborative Filtering Recommender System for Test Case Prioritization in Web Applications, Maral Azizi and Hyunsook Do, The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), April, 2018. PDF.

    2017

  • Toward Detection of Abnormal Behaviors in Timing and Security Requirements, Danielle Gaither, Hyunsook Do, and Barrett R. Bryant, The 24th Asia-Pacific Software Engineering Conference (APSEC), December, 2017. PDF.

  • Addressing the State Explosion Problem when Visualizing Off-Nominal Behaviors in a Set of Reactive Requirements, Daniel Aceituna and Hyunsook Do, Requirements Engineering, Vol. 22, 2017. PDF.

  • Hierarchical Model Exploration for Exposing Off-Nominal Behaviors, Kaushik Madala, Hyunsook Do, and Daniel Aceituna, 14th Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa), September, 2017. PDF.

  • Automated Identification of Component State Transition Model Elements from Requirements, Kaushik Madala, Danielle Gaither, Rodney Nielsen, and Hyunsook Do, Workshop on Artificial Intelligence for Requirements Engineering (AIRE), September, 2017. PDF.

    2016

  • Multilevel Coarse-to-Fine-Grained Prioritization for GUI and Web Applications, Dmitry Murmuradov, Renee Bryce, and Hyunsook Do, Workshop on Automated Software Testing (A-TEST), November, 2016. PDF.

  • Customized Regression Testing Using Telemetry Usage Patterns, Jeff Anderson, Hyunsook Do, and Saeed Salem. IEEE International Conference on Software Maintenance and Evolution (ICSME), October, 2016. PDF.

  • Cost-effective Regression Testing through Adaptive Test Prioritization Strategies, Amanda Schwartz and Hyunsook Do. Journal of Systems and Software, 115:61-81, 2016. PDF.

  • Requirements based Test Prioritization Using Risk Factors: An Industrial Study, Hema Srikanth, Charitha Hettiarachchi, Hyunsook Do. Journal of Information and Software Technology, 69:71-83, 2016. PDF.

  • Risk-based Test Case Prioritization Using a Fuzzy Expert System, Charitha Hettiarachchi, Hyunsook Do, and Byoungju Choi. Journal of Information and Software Technology, 69:1-15, 2016. PDF.

    2015

  • Experience Report: Mining Test Results for Reasons Other Than Functional Correctness, Jeff Anderson, Hyunsook Do, and Saeed Salem. International Symposium on Software Reliability Engineering (ISSRE), November, 2015. PDF.

  • Exposing the Susceptibility of Off-Nominal Behaviors in Reactive System Requirements, Daniel Aceituna and Hyunsook Do. Requirements Engineering RE), August, 2015. PDF.

  • Striving for Failure: An Industrial Case Study About Test Failure Prediction, Jeff Anderson, Saeed Salem, and Hyunsook Do. IEEE International Conference on Software Engineering (ICSE), Software Engineering In Practice (SEIP), Florence, Italy, May, 2015. PDF.

    2014

  • An Efficient Regression Testing Approach for PHP Web Applications: A Controlled Experiment, Hyunsook Do and Md Hossain. Journal of Software Testing, Verification, and Reliability 24:367-385, 2014. PDF.

  • Effective Regression Testing Using Requirements and Risks, Charitha Hettiarachchi, Hyunsook Do, and Byoungju Choi. IEEE International Conference on Software Security and Reliability (SERE), San Francisco, CA, USA, June, 2014, pages 157-166. PDF.

  • Improving the Effectiveness of Test Suite through Mining Historical Data, Jeff Anderson, Saeed Salem, and Hyunsook Do. Working Conference on Mining Software Repositories (MSR) May, 2014. PDF.

  • A Systematic Approach to Transforming System Requirements into Model Checking Specifications, Daniel Aceituna, Hyunsook Do, and Sudarshan Srinivasan. IEEE International Conference on Software Engineering (ICSE), Software Engineering In Practice (SEIP), May, 2014. PDF.

  • Regression Testing for Web Applications Using Reusable Constraint Values, Md Hossain, Hyunsook Do, and Ravi Eda. 4th International Workshop on Regression Testing, April, 2014. PDF.

  • Model-Based Exploratory Testing: A Controlled Experiment, Chris Schaefer, and Hyunsook Do. 10th Workshop on Advances in Model Based Testing (A-MOST), April, 2014. PDF.

  • Trade-off Analysis for Selective versus Brute-Force Regression Testing in FSMWeb, Anneliese Andrews and Hyunsook Do. IEEE International Symposium on High Assurance Systems Engineering (HASE), January, 2014. PDF.

  • Model-Based Requirements Verification Method: Conclusions from Two Controlled Experiments, Daniel Aceituna, Gursimran Walia, Hyunsook Do, and Seok-Won Lee. Journal of Information and Software Technology, 56:312-334, 2014. PDF.

    2013

  • Crushinator: A Framework towards Game-Independent Testing, Christopher Schaefer, Hyunsook Do, and Brian Slator. IEEE/ACM International Conference on Automated Software Engineering (ASE), tool demo, November, 2013. PDF.

  • A Fuzzy Expert System for Cost-Effective Regression Testing Strategies, Amanda Schwartz and Hyunsook Do. IEEE International Conference on Software Maintenance (ICSM), September, 2013. PDF.

  • Model-Based Requirements Verification Method: Conclusions from Two Controlled Experiments, Daniel Aceituna , Gursimran Walia , Hyunsook Do , and Seok-Won Lee. Technical Report: NDSU-CS-TR-13-002, Department of Computer Science, North Dakota State University, June, 2013. PDF.

  • Test Case Prioritization Using Requirements-Based Clustering, Md. Junaid Arafeen and Hyunsook Do. IEEE International Conference on Software Testing, Verification and Validation (ICST), March, 2013. PDF.

    2012

  • An Effective Regression Testing Approach for PHP Web Applications, Aaron Marback, Hyunsook Do, and Nathan Ehresmann, IEEE International Conference on Software Testing, Verification and Validation (ICST), April, 2012. PDF.

  • A Model-based Approach to Security Testing, Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, and Dianxiang Xu. Journal of Software: Practice and Experience, 43:241-258, 2012. PDF.

    2011

  • Adaptive Regression Testing Strategy: An Empirical Study, Md. Junaid Arafeen and Hyunsook Do. International Symposium on Software Reliability Engineering (ISSRE), November, 2011. PDF.

  • A Clustering Approach to Improving Test Case Prioritization: An Industrial Case Study, Ryan Carlson, Hyunsook Do, and Anne Denton. IEEE International Conference on Software Maintenance (ICSM), September, 2011. PDF.

  • Evaluating the Use of Model-based Requirements Verification Method: A Feasibility Study, Daniel Aceituna, Hyunsook Do, Gursimran Walia, and Seok-Won Lee. International Workshop on Empirical Requirements Engineering(EmpiRE) at RE (Requirements Engineering), August, 2011. PDF.

  • Interactive Requirements Validation for Reactive Systems through Virtual Requirements Prototype, Daniel Aceituna, Hyunsook Do, and Seok-Won Lee. Model-Driven Requirements Engineering (MoDRE) at RE (Requirements Engineering), August, 2011. PDF.

    2010

  • SQ2E: An Approach to Requirements Validation with Scenario Question, Daniel Aceituna, Hyunsook Do, and Seok-Won Lee. The 17th Asia-Pacific Software Engineering Conference (APSEC), December, 2010. PDF.

  • A Regression Testing Engine for PHP Web Applications: PARTE, Aaron Marback and Hyunsook Do. International Symposium on Software Reliability Engineering (ISSRE), fast abstract, November, 2010.

  • A Human Interactive Approach to Building Requirements Models, Daniel Aceituna, Hyunsook Do, and Seok-Won Lee. International Symposium on Software Reliability Engineering (ISSRE), fast abstract, November, 2010.

  • The Effects of Time Constraints on Test Case Prioritization: A Series of Controlled Experiments, Hyunsook Do, Siavash Mirarab, Ladan Tahvildari, and Gregg Rothermel. IEEE Transactions on Software Engineering, 36:(5), 2010. PDF.

  • The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual Defects, Pandu Nagahawatte and Hyunsook Do. International Conference on Software Testing, Verification and Validation (ICST), April, 2010. PDF.

    2009

  • Can Regression Testing Techniques be Effective in Reducing the Occurrence of Residual Defects? Pandu Nagahawatte and Hyunsook Do. Technical Report: NDSU-CS-TR-09-004, Department of Computer Science, North Dakota State University, June, 2009.

  • Validating Requirements Models Using SQ Querying. Daniel Aceituna and Hyunsook Do. Technical Report: NDSU-CS-TR-09-003, Department of Computer Science, North Dakota State University, June, 2009.

  • Security Test Generation using Threat Trees. Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, and Dianxiang Xu. The Automation of Software Test (AST), May, 2009. PDF.

    2008

  • An Empirical Study of the Effect of Time Constraints on the Cost-Benefits of Regression Testing. Hyunsook Do, Siavash Mirarab, Ladan Tahvildari, and Gregg Rothermel. The ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), November, 2008. PDF.

  • Using Sensitivity Analysis to Create Simplified Economic Models for Regression Testing. Hyunsook Do and Gregg Rothermel, The International Conference on Software Testing and Analysis (ISSTA), July 2008. PDF.

    2007 and earlier years

  • Using Component Metadata to Regression Test Component-Based Software. Alex Orso, Hyunsook Do, Gregg Rothermel, Mary J. Harrold, and David S. Rosenblum, Journal of Software Testing, Verification, and Reliability, Volume 17, No. 2, 2007, pages 61-94. PDF.

  • An Empirical Study of Regression Testing Techniques Incorporating Context and Lifecycle Factors and Improved Cost-Benefit Models. Hyunsook Do, and Gregg Rothermel, The ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), November, 2006. PDF.

  • On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques. Hyunsook Do, and Gregg Rothermel, IEEE Transactions on Software Engineering, Volume 32, No. 9, 2006, pages 733-752. PDF.

  • Prioritizing JUnit Test Cases: An Empirical Assessment and Cost-Benefits Analysis. Hyunsook Do, Gregg Rothermel, and Alex Kinneer, Empirical Software Engineering: An International Journal, Volume 11, No. 1, 2006, pages 33-70. PDF.

  • Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact. Hyunsook Do, Sebastian Elbaum, and Gregg Rothermel, Empirical Software Engineering: An International Journal, Volume 10, No. 4, 2005, pages 405-435. PDF.

  • A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults. Hyunsook Do, and Gregg Rothermel, IEEE International Conference on Software Maintenance (ICSM), September, 2005. PDF.

  • Empirical Studies of Test Case Prioritization in a JUnit Testing Environment. Hyunsook Do, Gregg Rothermel, and Alex Kinneer, The International Symposium on Software Reliability Engineering (ISSRE), November, 2004. PDF.

  • Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques. Hyunsook Do, Sebastian Elbaum, and Gregg Rothermel, The International Symposium on Empirical Software Engineering (ESE), August, 2004. PDF.

  • Building an infrastructure to support experimentation with software testing techniques. Hyunsook. Do, Sebastian Elbaum, and Gregg Rothermel, Online Proceeding of the ISSTA Workshop on Empirical Research in Software Testing (WERST 2004), July, 2004.

  • Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques. Hyunsook Do, Gregg Rothermel, and Sebastian Elbaum, Technical Report 04-60-01, Department of Computer Science, Oregon State University, January, 2004. PDF.

  • Using Component Metacontents to Support the Regression Testing of Component-Based Software. Alessandro Orso, Mary Jean Harrold, David Rosenblum, Gregg Rothermel, Mary Lou Soffa, and Hyunsook Do, IEEE International Conference on Software Maintenance (ICSM), November, 2001. PDF.

  • INAP protocol test suite verification method using the IUT simulator for AIN system conformance testing. Hyunsook Do, Sungyong Bae, and Sangki Kim, Lecture Notes in Computer Science, Springer, April, 1998.

  • AIN protocol conformance test suite generation using formal methods, Hyunsook Do, Sungyong Bae, and Sangki Kim, Advanced Intelligent Networks (AIN'97), University of Passau, Italy, July, 1997.

  • A design and analysis of telecommunication protocol using object-oriented methodology, Hyunsook Do, The sixth workshop on Synthesis and System Integration of Mixed Technologies, Japan, November, 1996.

    Selected Papers