International Conference

2016

  • Donghwan Shin, Doo-Hwan Bae, “A Theoretical Framework for Understanding Mutation-based Testing Methods”, IEEE International Conference on Software Testing, Verification and Validation (ICST), 2016
  • Donghwan Shin, Shin Yoo, Doo-Hwan Bae, “Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability”, The 11th International Workshop on Mutation Analysis (MUTATION), 2016
  • Misun Yu, Yu-Seung Ma, Doo-Hwan Bae, “Characterizing Non-Deadlock Concurrency Bug Fixes in Open-Source Java Programs”, 31st ACM Symposium on Applied Computing (SAC), 2016
  • Dongwon Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae, “Modeling and Verification for Different Types of System of Systems using PRISM”, ICSE 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS), 2016
  • Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae, “A Runtime Verification Framework for Dynamically Adaptive Multi-agent Systems”, International Conference on Big Data and Smart Computing (BigComp), 2016
  • Eunkyoung Jee, Gee-Yong Park, Jang-Soo Lee, Kee-Choon Kwon, Doo-Hwan Bae, “A safety case for reactor protection system software developed using a prescriptive approach”, 39th Enlarged Halden Programme Group Meeting

2015

  • Dongwon Seo , Donghwan Shin , Doo-Hwan Bae, “Quality Based Software Project Staffing and Scheduling with Budget and Deadline”, Workshop on Alternate Workforces for Software Engineering, December 2015.
  • Dongwon Seo , Donghwan Shin , Doo-Hwan Bae, “Quality Based Software Project Staffing and Scheduling with Cost Bound”, The 22nd Asia-Pacific Software Engineering Conference, December 2015.
  • Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae, “Efficient Testing of Self-adaptive Behaviors in Collective Adaptive Systems”, The 39th Annual International Computers, Software & Applications Conference, July 2015.

2014

  • Minh Chau Nguyen, Enukyoung Jee, Jinho Choi, Doo-Hwan Bae, “Automatic Construction of Timing Diagrams from UML/MARTE Models for Real-Time Embedded Software
    ”, Proceedings of the 29th Annual ACM Symposium on Applied Computing, March. 2014.
  • Jihun Park, Miryung Kim, Doo-Hwan Bae, “An Empirical Study on Reducing Omission Errors in Practice”, 29th IEEE/ACM International Conference on Automated Software Engineering, Sept. 2014.
  • Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae, “Practical Human Resource Allocation in Software Projects Using Genetic Algorithm”, 26th International Conference on Software Engineering and Knowledge Engineering, July. 2014, pp. 688-694.

2013

  • Misun Yu, Sang-Kyung Yoo, Doo-Hwan Bae, “SimpleLock: Fast and Accurate Hybrid Data Race Detector”, 14’th International Conference on Parallel and Distributed Computing, Applications and Technologies, 2013, pp. 50-56.

2012

  • Jinho Choi, Doo-Hwan Bae, “An Approach to Constructing Timing Diagrams from UML./MARTE Behavioral Models for Guidance and Control Unit Software”, International Conferences, EL, DTA and UNESST 2012, pp. 107-110, Springer-Verlag Berlin Heidelberg, Dec, 2012.
  • Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae, “Empirical Evaluation on FBD Model-Based Test overage Criteria Using Mutation Analysis”, 15th International Conference on Model Driven Engineering Languages & Systems, Aug. 2012, pp. 465-479.
  • Jihun Park, Miryung Kim, Baishakhi Ray, Doo-Hwan Bae, “An Empirical Study of Supplementary Bug Fixes”, 9th IEEE Working Conference on Mining Software Repositories, June, 2012, pp. 40-49.
  • Jinho Choi, Eunkyoung Jee , Doo-Hwan Bae, “Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software”, 6th IEEE International Conference on Software Security and Reliability, June 2012, pp. 118-127.
  • Gigon Bae, Gregg Rothermel, Doo-Hwan Bae, “On the Relative Strengths of Model-Based and Dynamic Event Extraction-Based GUI Testing Techniques: An Empirical Study”, 23rd IEEE International Symposium on Software Reliability Engineering, Nov. 2012.

2011

  • S. Park, S. Min, and D. Bae, “Process Instance Management facilities based on Meta-Process Models”, 11th International Conference on Computational Science and Its Applications, June, 2011, pp. 326-341.
  • H.J. Kim, D.H. Bae, V. Debroy, and W.E. Wong, “Deriving Data Dependence from/for UML State Machine Diagrams”, 5th International Conference on Secure Software Integration and Reliability Improvement, June 2011.
  • H.J. Kim, V. Debroy, D.H. Bae, “Identifying Properties of UML State Machine Diagrams that Affect Data and Control Dependence”, 26th Symposium on Applied Computing, Mar. 2011, pp. 1464-1469.

2010

  • H.J. Kim, W. E. Wong, V. Debroy, D.H. Bae, “Bridging the Gap Between Fault Trees and UML Statemachine Diagrams for Safety Analysis”, 17th Asia-Pacific Software Engineering Conference, Dec. 2010, pp. 196-205.
  • T.K. Le-Do, K.A. Yoon, Y.S. Seo, D.H. Bae, “Filtering of Inconsistent Software Project Data for Analogy-based Effort Estimation”, 34th Annual Computer Software and Applications Conference, July 2010, pp. 503-508.
  • L.T. Giang, D.W. Kang, D.H. Bae, “Software Fault Prediction Models for Web applications”, 34th Annual Computer Software and Applications Conference, July 2010, pp. 51-56.

2009

  • Y.S. Seo, K.A. Yoon, D.H. Bae, “Improving the Accuracy of Software Effort Estimation based on Multiple Least Square Regression Models by Estimation Error-Based Data Partitioning”, 16th Asia-Pacific Software Engineering Conference, Dec, 2009, pp. 3-10.
  • I.G. Song, S.U. Jeon, D.H. Bae, “A Graph Based Approach to Detecting Causes of Implied Scenarios Under the Asynchronous and Synchronous Communication Styles”, 16th Asia-Pacific Software Engineering Conference, Dec. 2009, pp. 53-60.
  • J.M. Hwa, S.H. Lee, Y.R. Kwon, “Hierarchical Understandability Assessment Model for Large-Scale OO System”, 16th Asia-Pacific Software Engineering Conference, Dec, 2009, pp. 11-18.
  • S.H. Park, H.J. Kim, D.H. Bae, “Change Impact Analysis of a Software Process using Process Slicing”, Ninth International Conference on Quality Software, Aug. 2009, pp. 359-366.

2008

  • D.W. Kang, I.G. Song, S.H. Park, D.H. Bae, H.K. Kim and N.B. Lee, “A case Retrieval Method for Knowledge-Based Software Process Tailoring Using Structural Similarity”, The 15th Asia-Pacific Software Engineering Conference(APSEC’08), Dec. 2008, pp. 51-58.
  • A.R. Han, S.U. Jeon, D.H. Bae and J.E. Hong, “Behavioral Dependency Measurement for Change-proneness Prediction in UML 2.0 Design Models”, in Proceedings of the 32nd IEEE Int. Conf. COMPSAC, July 2008, pp. 76-83.
  • S.H. Park, H.J. Kim, D.W. Kang, D.H. Bae, “Developing a Simulation Model using a SPEM-based Process Model and Analytical Models”, 4th International Workshop on Enterprise & Organizational Modeling and Simulation, June 2008.
  • Y.S. Seo, K.A. Yoon, D.H. Bae, “Empirical Analysis of Software Effort Estimation with Outlier Elimination”, 4th International Workshop on Predictor Models in Software Engineering, p25-32, May 2008.

2007

  • T.H. Song, K.A. Yoon, D.H. Bae, “An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics”, the 14th Asia-Pacific Software Engineering Conference, 406-413, Dec. 2007.
  • S.H. Park, K.S. Choi, K.A, Yoon, D.H. Bae, “Deriving Software Process Simulation Model from SPEM-based Software Process Model”, 14th Asia-Pacific Software Engineering Conference (APSEC’07), p382-389, Dec. 2007.
  • K.A. Yoon, O.S. Kwon, D.H. Bae, “An Approach to Outlier Detection of Software Measurement Data using the K-means Clustering Method”, the 1st International Symposium on Empirical Software Engineering and Measurement, 443-445, Sept. 2007.

2006

  • I.G. Song, S.U. Jeon, J.E. Hong and D.H. Bae, “Implied scenario analysis in UML 2.0 scenario specification”, The First IEEE International Conference on System Integration and Reliability Improvements, Hanoi (Vietnam), Dec. 2006.
  • S.U. Jeon, J.E. Hong, and D.H. Bae, “Using Operational Architecture to Model Embedded Software”, In Proceedings of 13th Asia-Pacific Software Engineering Conference, pages 157-164, Dec. 2006.
  • H.J. Lee, S.U. Jeon, J.E. Hong, D.H. Bae, “Modeling Unexpected Behaviours Using UML Sequence diagram”, ICSOFT 2006, Setubal, Portugal, Sept. 2006.
  • K.S. Choi, D.H. Bae, “Analysis of Software-Intensive System Acquisition Using Hybrid Software Process Simulation”, International Software Process Workshop and International Workshop on Software Process Simulation and Modeling(SPW/ProSim), co-located with ICSE ’06, 254-261, May, 2006.
  • S.U. Jeon, J.E. Hong, and Doo-Hwan Bae, “Interaction-Based Behavior Modeling of Embedded Software”, In Proceedings of 9th International Symposium on Object and component-oriented Real-time distributed Computing(ISORC), pages 351-358, Apr. 2006.
  • I.G. Kim, T. Marew, D.H. Bae, J.E. Hong, and S.Y. Min, “Dimensions of Composition Models For Supporting Software Evolution”, 5th International Symposium on Software composition, Vienna(Austria), pp.211-226, Mar. 2006.
  • T. Marew and D.H. Bae, “Using Classpects for Integrating Non-Functional and Functional Requirements”, 24th IASTED Conference on Software Engineering, pp. 141-147, Feb. 2006.
  • K.S. Choi, S.C. Jung, H.J. Kim, D.H. Bae, D.H. Lee, “UML-based Modeling and Simulation Method for Mission-Critical Real-Time Embedded System Development”, 24th IASTED International Multi-Conference Software Engineering, pp. 160-165, Feb. 2006.

2005

  • K.A. Yoon, S.H. Park, D.H. Bae, H.S. Chang, J.C. Jung, “A framework for the V&V capability assessment focused on the safety-criticality”, the Proceedings of the 13th IEEE International Workshop on Software Technology and Engineering Practice, 17-24, Sept. 2005.
  • I.J.Han, D.H. Bae, “Dynamically Evolvable Composition of Aspect Based On Relation Model”, 17th International Conference on Software Engineering and Knowledge Engineering, 169-174, July 2005.
  • T. Marew, J.Y. Kim, D.H. Bae, “Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development”, 17th International Conference on Software Engineering and Knowledge Engineering, Taipei, Taiwan, July 2005.
  • K.S. Choi, D.H. Bae, “DEVS-based Software Process Simulation Modeling: Formally Specified, Modularized, and Extensible SPSM”, The 6th International Workshop on Software Process Simulation and Modeling, co-located with ICSE’05, pp. 73-82, May 2005.

2004

  • J.Y.Kim, D.H.Bae, “An Approach to Feature Based Modeling by Dependency Alignment for the Maintenace of the Trustworthy System”, International Computer Software and Applications Conference, Sept. 2004.
  • K.A.Yoon, S.Y.Min, and D.H. Bae, “Model-Based Project Process Analysis Using Project Tracking Data”, Software Engineering Research and Applications, LNCS 3026, pp.148-167, May 2004.

2003

  • J.Y.Kim, J.S.Lee, S.H.Lee, D.K.Yoo, D.H.Bae, “Developing a Common Operating Environment for Military Application”, 9th IEEE Workshop on Future Trends of Distributed Computing Systems, pp.367-368, May 2003.

2002

  • S.U. Jeon, J.S. Lee, and D.H Bae, “An Automated Refactoring Approach To Design Pattern-Based Program Transformations in Java Programs”, APSEC 2002, Gold Coast in Austrailia, Dec. 2002.

2001

  • J.S. Lee, D.H. Bae, and I.j. Han, “Towards Coping with Role-binding Anomaly”, Reflection2001, LNCS 2192, Sept. 2001.
  • H.H. Kim, D.H. Bae,C.S. Keum, and B.S. Lee, “Developing Component Architecture for Telecommunication Systems”, The second International Conference on Software Engineering, Artificial Intelligence, Network & Parallel/Distributed Computing, Aug. 2001.
  • I. Kim, J. Hong, D. Bae, I. Han, and C. Yoon, “Scalable Mobile Agents Supporting Dynamic Composition of Functionality”, Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems, T. Wagner and O. Rana, eds., LNAI 1887, pp. 199-213, Springer-Verlag, 2001.
  • I.C. Yoon, S.Y. Min, D.H. Bae, “Tailoring and Verifying Software Process”, APSEC 2001, Decemer 4-7.

2000

  • S.U. Jeon, J.S. Lee, and D.H Bae, “An Automated Refactoring Approach To Design Pattern-Based Program Transformations in Java Programs”, APSEC 2002, Gold Coast in Austrailia, Dec. 2002.

1999

  • H.H. Kim, D.K. Kim, H.T. Jung, Y.D. Chung, and D.H. Bae, “An Operational Component Specification Mothod”, Asia Pacific Software Engineering Conference, pp. 38-45, Dec. 1999.
  • S.Y. Min, D.H. Bae, S.C. Cho, and Y.K. Nam, “Management of Workflow over the Web Supporting Distributed Process Evolution”, Proc. of the 5th International Computer Science Conference (ICSC 99 Internet Applications), Springer-Verlag LNCS 1749, pp. 367-372, Dec. 1999.
  • J.S. Lee, S.Y. Min, and D.H. Bae, “Aspect-Oriented Design (AOD) Technique for Developing Distributed Object Systems over the Internet”, Proc. of the 5th International Computer Science Conference (ICSC 99 Internet Applications), Springer-Verlag LNCS 1749, pp. 156-165, Dec. 1999.
  • W.J. Park, T.H. Kim, D.H. Bae, and S.D. Cha, “Towards Unified Architecture Description Containing Component’s Behaviors”, RACDIS, 1999.
  • S.Y. Min, Y.K. Jang, S.D. Cha, Y.R. Kwon, and D.H. Bae, “Safety Verification of ADA 95 Programs Using Software Fault Trees”, LNCS 1698:Safecomp99, pp. 226-238, Sept. 1999.
  • S.M. Cho, D.H. Bae, S.D. Cha, Y.G. Kim, B.K. Yoo, and S.T. Kim, “Applying Model Checking to Concurrent Object-Oriented Software”, 4th Proc. of International Symposium on Autonomous Decentralized Systems(ISADS’99), pp. 380-383, March 1999.
  • J.S. Lee, T.H. Kim, G.S. Yoon, J.E. Hong, S.D. Cha, and D.H. Bae, “Developing Distributed Object Systems by Incorporating Metaobject Protocol(diMOP) with Unified Modeling Language(UML)”, 4th Proc. of International Symposium on Autonomous Decentralized Systems(ISADS’99), pp. 65-73, March 1999.
  • Y.K. Jang, H.S. Chae, Y.R. Kwon, and D.H. Bae, “Change Impact Analysis for A Class Hierarchy”, Asia Pacific Software Engineering Conference(APSEC’98), pp. 304-311, Dec. 1998.

1998

  • W.J. Park, S.Y. Min, D.H. Bae, and P.S. Mah, “Object-Oriented Model Refinement Technique in Software Reengineering”, Proc. of Computer Software and Application Conference(COMPSAC’98), pp. 32-38, Aug. 1998.
  • N.H. Lee, J.E. Hong, S.D. Cha, and D.H. Bae, “Towards Reusable Colored Petri Nets”, Proc. of Int’l Symposium on Software Eng. for Parallel and Distributed Systems.(PDSE’98), pp. 223-229, Apr. 1998.

1997

  • S.Y. Min and D.H. Bae, “An Approach to Software Process Management Based on Formal Process Modeling and Analysis”, Proc. of Asia-Pacific Software Engineering Conf.(APSEC’97), pp. 292-301, Dec. 1997.
  • G.T. Kim, S.D. Cha, and D.H. bae, “An Object Model based Approach for Robot Workcell Application Programming”, Proc. 21 Annual Int’l Computer Software and Applications Conf.(COMPSAC’97), pp. 109-114, August 1997.
  • S.Y. Min and D.H. Bae, “MAM nets : A Petri-net based Approach to Software Process Modeling, Analysis and Management”, Proc. of Int’l Conf. of Software Engineering and Knowledge Engineering(SEKE’97), pp. 76-87, June 1997.
  • H.S. Seung and D.H. Bae, “A Client-Oriented Distributed Architecture for WEB Search Agent”, International Symposium on Autonomous Decentralized Systems (ISADS 97), pp. 299-308, Apr. 1997.

1995

  • S.S. Yau, D.H. Bae, and J. Wang, “An Architecture-Independent Software Development Approach for Parallel Processing Systems”, Proc. 19th Annual Intl Computer and Application Conf., pp. 305-312, 1995.
  • S.S. Yau, L. Li, and D.H. Bae, “An Object-Oriented Framework for Software Development for Autonomous Decentralized Systems”, Proc. Second International Symposium on Autonomous Decentralized Systems (ISADS 95), Apr. 1995.

1994

  • S.S. Yau, D.H. Bae, and K. Yeom, “An Approach to Object-Oriented Requirements Verification in Software Development for Distributed Computing Systems”, Proc. Eighteenth Annual Int’l Computer and Applications Conf. (COMPSAC 94), pp. 96-102, Nov. 1994.

1993

  • S.S. Yau, D.H. Bae, G. Oh, and M. Chidambaram, “An Object-Oriented Approach to Software Design for Distributed Real-Time Computing Systems”, Proc. Fourth IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 297-303, Sept. 1993.

1992

  • S.S. Yau, D.H. Bae, and G. Pour, “A Partitioning Approach for Object-Oriented Software Development for Parallel Processing Systems”, Proc. Sixteenth Annual Intl Computer Software & Application Conf. (COMPSAC 92), pp. 251-256, Sept 1992.
  • S.S. Yau, D.H. Bae, and M. Chidambaram, “A Framework for Software Development for Distributed Computing Systems”, Proc. Third IEEE Workshop on Future Trend for Distributed Parallel Computing Systems, pp. 240-246, Apr. 1992.

1991

  • S.S. Yau, D.H. Bae, G. Oh, and M. Chidambaram, “An Object-Oriented Approach to Software Development for Parallel Processing Systems”, Proc. Fifteenth Intl Computer Software & Application Conf. (COMPSAC 91), pp. 453-458, Sept. 1991.

1990

  • S.S. Yau, X. Jia, and D.H. Bae, “Trend in Software Design for Distributed Computing Systems”, Proc. Second IEEE Workshop on Future Trend of Distributed Computing Systems, pp. 154-160, Sept. 1990.