Yunja Choi
Orcid: 0000-0002-6300-1364
According to our database1,
Yunja Choi
authored at least 46 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software.
Proc. ACM Softw. Eng., 2024
Non-Functional Requirements Discovery and Quality Assurance Using Goal Model for Earthquake Warning System in Operation.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024
2023
Softw. Test. Verification Reliab., 2023
2020
IEEE Access, 2020
Property-based testing for LG home appliances using accelerated software-in-the-loop simulation.
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020
2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
2018
Sci. Comput. Program., 2018
A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems.
J. Syst. Softw., 2018
Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering.
Proceedings of the 40th International Conference on Software Engineering, 2018
2017
Softw. Syst. Model., 2017
A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns.
IEICE Trans. Inf. Syst., 2017
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017
2016
Light-Weight API-Call Safety Checking for Automotive Control Software Using Constraint Patterns.
Proceedings of the 6th International Conference on IT Convergence and Security, 2016
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
2015
Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation.
Sci. Comput. Program., 2015
Automated system-level safety testing using constraint patterns for automotive operating systems.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
2014
Model checking Trampoline OS: a case study on safety analysis for automotive software.
Softw. Test. Verification Reliab., 2014
A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications.
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
IEICE Trans. Inf. Syst., 2013
Integration testing through reusing representative unit test cases for high-confidence medical software.
Comput. Biol. Medicine, 2013
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
2012
J. Inf. Process. Syst., 2012
Controlled composition and abstraction for bottom-up integration and verification of abstract components.
Inf. Softw. Technol., 2012
Concolic testing of the multi-sector read operation for flash storage platform software.
Formal Aspects Comput., 2012
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012
2011
Design verification in model-based <i>μ</i>-controller development using an abstract component.
Softw. Syst. Model., 2011
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011
2010
Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software.
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010
2009
Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009
2008
Proceedings of the Model Checking Software, 2008
Proceedings of the First International Conference on Software Testing, 2008
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008
2007
J. Object Technol., 2007
Formal Methods Syst. Des., 2007
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007
2005
2004
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
2003
Model Checking Software Requirement Specifications using Domain Reduction Abstraction.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003
2002
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.
Requir. Eng., 2002
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002
2001
Automatic abstraction for model checking software systems with interrelated numeric constraints.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001