Publications

(2022). Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization. 2022 IEEE/ACM International Conference on Software Engineering (ICSE).

PDF Cite

(2022). PRINS: Scalable Model Inference for Component-based System Logs. Empirical Software Engineering (to appear).

PDF Cite Code

(2022). Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques. 2022 IEEE/ACM International Conference on Software Engineering (ICSE).

PDF Cite

(2021). Log-based Slicing for System-level Test Cases. 2021 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

PDF Cite DOI

(2021). Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search (Experience Paper). 2021 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

PDF Cite DOI

(2021). Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. 2021 IEEE International Conference on Software Testing, Verification and Validation (ICST).

PDF Cite

(2021). Can Offline Testing of Deep Neural Networks Replace Their Online Testing?. Empirical Software Engineering.

PDF Cite

(2020). Effective Removal of Operational Log Messages: an Application to Model Inference. arXiv Preprint.

PDF Cite

(2020). Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. 2020 IEEE International Conference on Software Testing, Verification and Validation (ICST).

PDF Cite

(2019). Formal Modeling and Verification of a Federated Byzantine Agreement Algorithm for Blockchain Platforms. 2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE).

Cite DOI

(2019). Empirical evaluation of mutation-based test case prioritization techniques. Software Testing, Verification and Reliability.

PDF Cite Code Dataset DOI

(2018). A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion. IEEE Transactions on Software Engineering.

PDF Cite DOI

(2018). Are Mutation Scores Correlated with Real Fault Detection?: A Large Scale Empirical Study on the Relationship Between Mutants and Real Faults. Proceedings of the 40th International Conference on Software Engineering.

PDF Cite DOI

(2018). ABC+: Extended Action-benefit-cost Modeling with Knowledge-based Decision-making and Interaction Model for System of Systems Simulation. Proceedings of the 33rd Annual ACM Symposium on Applied Computing.

PDF Cite DOI

(2017). Mutation Analysis for System of Systems Policy Testing. Proceedings of the Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems.

PDF Cite DOI

(2016). Comprehensive analysis of FBD test coverage criteria using mutants. Software & Systems Modeling.

PDF Cite DOI

(2016). Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability. 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Cite DOI

(2016). A Theoretical Framework for Understanding Mutation-Based Testing Methods. 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Cite DOI

(2016). A Case Study for Mutation-based Fault Localization for FBD Programs. KIISE Transactions on Computing Practices.

Cite

(2015). Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. 2015 IEEE 39th Annual Computer Software and Applications Conference.

Cite DOI

(2015). Quality-based software project staffing and scheduling with project deadline. Journal of KIISE.

Cite

(2015). Quality Based Software Project Staffing and Scheduling with Budget and Deadline.. QuASoQ/WAWSE/CMCE@ APSEC.

Cite

(2015). Human Resource Allocation in Software Project with Practical Considerations. International Journal of Software Engineering and Knowledge Engineering.

PDF Cite DOI

(2014). Practical Human Resource Allocation in Software Projects Using Genetic Algorithm.. SEKE.

Cite

(2014). Automated test case generation for FBD programs implementing reactor protection system software. Software Testing, Verification and Reliability.

PDF Cite DOI

(2013). Automatic Project Planning Technique and Tool Based on Software Industry Requirements. Journal of Software Engineering Society.

Cite

(2013). Automated Human Resource Allocation based on Practical Feedback from Software Industry. Journal of KIISE: Software and Applications.

Cite

(2012). Identification of Quality Improvement Strategies using COPQ in Software Industry. International Journal of Performability Engineering.

Cite

(2012). Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. Model Driven Engineering Languages and Systems.

Cite

(2012). Definition of Mutation Operators for FBD Models. Proceedings of the Korean Information Science Society Conference.

Cite