AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Yunja Choi

Yunja Choi

Kyungpook National University - Daegu / South Korea
Engineering & Technology / Computer Science
AD Scientific Index ID: 528080
경북대학교
person_outline Yunja Choi's MOST POPULAR ARTICLES
1-) Model checking RSML/sup-e/requirements 7th IEEE International Symposium on High Assurance Systems Engineering, 2002 …, 2002
2-) Concolic testing of the multi-sector read operation for flash storage platform software Formal Aspects of Computing 24 (3), 355-374, 2012
3-) From NuSMV to SPIN: Experiences with model checking flight guidance systems Formal Methods in System Design 30 (3), 199-216, 2007
4-) Precise concolic unit testing of C programs using extended units and symbolic alarm filtering Proceedings of the 40th International Conference on Software Engineering …, 2018
5-) Formal verification of a flash memory device driver–an experience report International SPIN Workshop on Model Checking of Software, 144-159, 2008