Home › International Journal

International Journal

2022

  • Lingjun Liu, Eunkyoung Jee, and Doo-Hwan Bae, “MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software”, Software Testing, Verification and Reliability 32.8 (2022)
  • Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, and Doo-Hwan Bae, “Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing”, Information and Software Technology 147 (2022)
  • Young-Min Baek, Esther Cho, Donghwan Shin, and Doo-Hwan Bae, “Literature Review to Collect Conceptual Variables of Scenario Methods for Establishing a Conceptual Scenario Framework”, arXiv preprint arXiv 2205.08290 (2022)
  • Yong-Jun Shin, Donghwan Shin, and Doo-Hwan Bae, “Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification”, arXiv preprint arXiv 2204.06799, 2022 (2022)

2020

  • Misun Yu, Yu-Seung Ma, and Doo‐Hwan Bae, “Efficient noise injection for exposing hidden data races,” The Journal of Supercomputing 76.1 (2020): 292-323.

2019

  • Donghwan Shin, Shin Yoo, Mike Papadakis, and Doo‐Hwan Bae, “Empirical Evaluation of Mutation-based Test Case Prioritization Techniques,” Software Testing, Verification and Reliability 29.1-2 (2019): e1695.

2018

  • Jiyoung Song, Eunkyoung Jee, and Doo-Hwan Bae, “FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states,” Science of Computer Programming (SCP) 163 (2018): 115-137.

2017

  • Donghwan Shin, Shin Yoo, and Doo-Hwan Bae, “A Theoretical and Empirical Study of Diversity-aware Mutation Adequacy Criterion,” Transactions on Software Engineering (TSE) (Early Access: https://ieeexplore.ieee.org/document/7994647/), 27, July, 2017.
  • Heejin Lee, Joon-Sang Lee, Eunkyoung Jee, and Doo-Hwan Bae, “A User eXperience Evaluation Framework for Mobile Usability”, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 27, No. 2 (2017) 235-279.
  • Jimin Hwa, Shin Yoo, Yeong-Seok Seo, and Doo-Hwan Bae, “Search-Based Approaches for Software Module Clustering Based on Multiple Relationship Factors,” International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 27, No. 7 (2017) 1033-1062.
  • Misun Yu, Seung-Min Park, Ingeol Chun, and Doo-Hwan Bae, “Experimental Performance Comparison of Dynamic Data Race Detection Techniques,”ETRI Journal, Volume 39, Number 1, February 2017 (https://doi.org/10.4218/etrij.17.0115.1027).

2016

  • Jihun Park, Miryung Kim, Doo-Hwan Bae, “An empirical study of supplementary patches in open source projects”, Empirical Software Engineering (EMSE)
  • Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae, “Comprehensive analysis of FBD test coverage criteria using mutants”, Software & Systems Modeling (SoSym), Volume 15, Issue 3, pp 631–645, .
  • Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae, “Timing consistency checking for UML/MARTE behavioral models”, Software Quality Journal, Volume 24, Issue 3, pp 835–876, September 2015.

2015

  • Ah-Rim Han, Doo-Hwan Bae, Sungdeok Chaa, “An Efficient Approach to Identify Multiple and Independent Move Method Refactoring Candidates”, Information and SoftwareE Technology, Volume 59, pp 53-66, March 2015.
  • Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae, “Human Resource Allocation in Software Project with Practical Considerations”, International Journal of Software Engineering and Knowlege Engineering, Volume 25, Issue 1, pp 5-26, Feburary 2015.

2014

  • Misun Yu and Doo-Hwan Bae, “SimpleLock+: Fast and Accurate Hybrid Data Race Detection”, The Computer Journal, November 2014.
  • Gigon Bae and Gregg Rothermel and Doo-Hwan Bae, “Comparing Model-based and Dynamic Event-Extraction Based GUI Testing Techniques: An Empirical Study”, The Journal of Systems and Software, 2014.
  • Eunkyoung Jee, Donghwan Shin, Sungdeok Cha, Jang-Soo Lee, Doo-Hwan Bae, “Automated test case generation for FBD programs implementing reactor protection system software”, Software Testing, Verification and Reliability (STVR), Volume 24 Issue 8, Pages 608-628, September 2014. 

2013

  • Yeong-Seok Seo, Doo-Hwan Bae, Ross Jeffery, “AREION: Software effort estimation based on multiple regressions with adaptive recursive data partitioning”, Information and Software Technology, Volume 55, Issue 10, pp 1710-1725, October. 2013.
  • Yeong-Seok Seo, Doo-Hwan Bae, “On the value of outlier elimination on software effort estimation research”, Empirical Software Engineering, Volume 18, Issue 4, pp 659-698, August. 2013.
  • Su Yong Kim, Sungdeok Cha, Doo-Hwan Bae, “Automatic and lightweight grammar generation for fuzz testing”, Computers & Security, Vol. 36, pp. 1-11, Jul. 2013.
  • Ah-Rim Han, Doo-Hwan Bae, “Dynamic profiling-based approach to identifying cost-effective refactorings“, Information and Software Technology, Volume 55, Issue 6, Pages 966-985, June 2013.
  • Seung-Hun Park, Doo-Hwan Bae, “Tailoring a large-sized software process using process slicing and case-based reasoning technique“, Software, IET, Volume 7, Issue 1, Pages 47-55, February 2013.

2012

  • Yeong-Seok Seo, Donghwan Shin, Gookhyun Kim, Jongmoon Baik, Doo-Hwan Bae, “Identification of Quality Improvement Strategies using COPQ in Software Industry”, International Journal of Performability Engineering, Vol. 8, no. 6, pp. 679-688, Nov. 2012

2011

  • In-Gwon Song, Sang-Uk Jeon, Ah-Rim Han, Doo-Hwan Bae, “An approach to identifying causes of implied scenarios using unenforceable orders”, Information & Software Technology, Vol. 53, No. 6, pp. 666-681, 2011.
  • S. Lee, G. Bae, H.S. Chae, D.H. Bae, Y.R. Kwon, “Automated scheduling for clone-based refactoring using a competent GA”, Software Practice & Experience, Vol. 41, no. 5, pp.521-550, Apr. 2011.
  • D. Kang, J. Jung, D.H. Bae, “Constraint-based Human Resource Allocation in Software Projects”, Software Practice & Experience, Vol. 41, no. 5, pp.551-577, Apr. 2011.
  • S. Park, D.H. Bae, “An approach to analyzing the software process change impact using process slicing and simulation”, Journal of Systems and Software, Vol. 84, no. 4, pp.528-543, Apr. 2011.
  • W.J. Park, D.H. Bae, “A two-stage framework for UML specification matching”, Information & Software Technology, Vol. 53, no. 3, pp.230-244, Mar. 2011.

2010

  • K.A. Yoon, D.H. Bae, “A pattern-based outlier detection method identifying abnormal attributes in software project data”, Information and Software Technology, Vol. 52, no. 2, pp. 137-151, Feb. 2010.
  • A.R. Han, S.U. Jeon, D.H. Bae, J.E. Hong, “Measuring behavioral dependency for improving change-proneness prediction in UML-based design models”, Journal of Systems and Software, Vol. 83, no. 2, pp. 222-234, Feb. 2010.

2009

  • T. Marew, J.S. Lee, D.H. Bae, “Tactics based approach for integrating non-functional requirements in object-oriented analysis and design”, Journal of Systems and Software, Vol. 82, no. 10, pp. 1642-1656, Oct. 2009.
  • E.k. Jee, J.B. Yoo, S.D. Cha, D.H. Bae, “A data flow-based structural testing technique for FBD programs”, Information and Software Technology, Vol. 41, no. 7, pp. 1131-1139, Jul. 2009.
  • S.U. Jeon, J.E. Hong, I.G. Song, D.H. Bae, “Developing platform specific model for MPSoC architecture from UML-based embedded software models”, Journal of Systems and Software, Vol. 82, no. 10, pp. 1695-1708, Oct. 2009.
  • K.S. Choi, D.H. Bae, “Dynamic project performance estimation by combining static estimation models with system dynamics”, Information and Software Technology, Vol. 51, Issue 1, pp. 162-172, Jan. 2009.

2008

  • H.H. Kim, D.H. Bae, “Object-oriented concept analysis for software modularisation”, Software, IET, Vol. 2, no. 2, pp. 134-148, Apr. 2008.
  • S.H. Park, H.J. Kim, D.W Kang, D.H. Bae, “Developing a software process simulation model using SPEM and analytical models”, Int. J. Simulation and Process Modeling, Vol. 4, No. 3-4, pp. 223-236, 2008.

2007

  • I.G. Kim, D.H. Bae, and J.E. Hong, “A Component composition model providing dynamic, flexible, and hierarchical composition of components for supporting software evolution”, Journal of System and Software, Vol. 80, no. 11, pp. 1755-1938, Nov. 2007.
  • T. Marew, J.Y. Kim, and D.H. Bae, “Systematic Fuctional Decomposition in a Product Line using Aspect-Oriented Software Development: a Case Study”, International Journal of Software Engineering and Knowledge Engineering, Vol. 17, No.1, pp. 33-55 Feb. 2007.

2006

  • K.S. Choi, D.H. Bae, and T.G. Kim, “An Approach to a Hybrid Software Process Simulation using the DEVS Formalism”, Journal, Software Process Improvement and Practice, Vol.11, No. 4, pp.373-383, June. 2006.
  • J.W. Kim, D.H.Bae, “An approach to feature-based software construction for enhancing maintainability”, Software Practice & Experience , Vol.36, pp.923-948, May. 2006.

2004

  • H.S. Chae, Y.R. Kwon, D.H. Bae, “Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables”, Transactions on Software Engineering , Vol.30, pp.826-832, Nov. 2004.
  • J.S. Lee and D.H. Bae, “An aspect-oriented framework for developing component-based software with collaboration-based architecture style”, Information and Software Technology, Vol.46, pp.81-97, Feb. 2004.

2003

  • H.S. Chae, Y.R. Kwon, and D.H. Bae, “Response to ‘More comments on: A cohesion measure for object-oriented classes”, Software Practice & Experience, Vol.31, pp.589-594, May, 2003.

2002

  • S. M. Cho, H. H. Kim, S. D. Cha, and D. H. Bae, “A Semantics of Sequence Diagrams”, Information Processing Letter, Volume 84, Issue 3, pp. 125-130, 15 November, 2002.
  • J.S. Lee and D.H. Bae, “An Enhanced Role Model for Alleviating Role-binding Anomaly”, Software-Practice & Experience, John & Wiley and Sons, vol. 32, issue 14, pp. 1317-1344, Nov. 2002.

2001

  • S.M. Cho, H.H. Kim, S.D. Cha, and D.H. Bae, “Specification and Validation of Dynamic Systems Using Temporal Logic”, IEE Proceedings – Software, Vol. 148, No 4, Aug. 2001.
  • J.E. Hong and D.H. Bae, “High-level Petri net for incremental analysis of object-oriented system requirements”, IEE Porceedings – Software Engineering, Vol. 147, No. 1, Feb 2001.
  • J.E. Hong and D.H. Bae, “A High-Level Petri Net for Incremental Specification of Object-Oriented System Requirements”, International Journal of Software Engineering and Knowledge Engineering, Accepted for publication.

2000

  • J.E. Hong and D.H. Bae, “Software modeling and analysis using a hierarchical object-oriented Petri net”, Journal of Information Science, Vol. 130, pp. 133-164, 2000.
  • H.S. Hong, Y.K. Kim, S.D. Cha, and D.H. Bae, “A Test Sequence Selection Method for Reactive Systems using StateCharts”, Software Testing, Verification and Reliability, Vol. 10, No. 4, pp. 203-227, 2000, 12.
  • H.S. Chae, Y.R. Kwon, and D.H. Bae, “A Cohesion Measure for Object-Oriented Classes”, Software – Practice & Experience, Vol. 30, No. 12, pp. 1405-1431, 2000, 10.
  • S. Shin, S.H. Han, and D.H. Bae, “Integration of Heterogeneous CAD Databases Using STEP and the Internet”, Decision Support Systems, Vol. 28, No. 4, pp. 365-379, June 2000.
  • S.Y. Min, H.D. Lee, and D.H. Bae, “SoftPM: A Software Project Management System Reconciling Formalism with Easiness”, Information and Software Technology, Vol. 42, No 1, pp. 1-16, 2000.
  • J.S. Lee and D.H. Bae, “An Approach to Specifying Concurrent, Distributed, and Autonomous Object Behaviors Using a High-Level Meta-Object Protocol”, IEICE Transactions on Communications, Vol. 83B, No 5, pp. 999-1012, 2000, 5.

1999

  • Y.G. Kim, H.S. Hong, D.H. Bae, and S.D. Cha, “Test Cases Generation from UML State Diagram”, IEE Proceedings – Software, Vol. 146, No 4, pp. 187-192, August 1999.

1994

  • S.S. Yau and D.H. Bae, “Object-Oriented and Functional Software Design for Distributed Real-Time Systems”, Journal of Computer Communications, Vol. 17, No. 10, pp. 691-698, 1994.

1993

  • S.S. Yau, D.H. Bae, and M. Chidambaram, “Object-Oriented Development of Architecture Transparent Software for Distributed Parallel Systems”, Journal of Computer Communications, Vol. 16, No. 5, pp. 317-326, 1993.

1992

  • S.S. Yau, X. Jia, and D.H. Bae, “Software Design Methods for Distributed Computing Systems”, Journal of Computer Communications, Vol. 15, No. 5, pp.213-223, May 1992.

1991

  • S.S. Yau, X. Jia, and D.H. Bae, “PROOF : Parallel Object-Oriented Functional Computation Model”, Journal of Parallel and Distributed Computing, Vol. 12, No. 3, pp. 202-212, July 1991.