Browse "School of Computing(전산학부)" by Author Choi, Yunja
Showing results 1 to 3 of 3
| Formal verification of a flash memory device driver - An experience report Kim, Moonzoo; Choi, Yunja; Kim, Yunho; Kim, Hotae, 15th International SPIN Workshop on Model Checking of Software, SPIN 2008, pp.144 - 159, SPIN, 2008-08-10 |
| Pre-testing Flash Device Driver through Model Checking Techniques Kim, Moonzoo; Kim, Yunho; Choi, Yunja; Kim, Hotae, IEEE International Conference on Software Testing, Verification and Validation, pp.475 - 484, IEEE, 2008-04-11 |
| Precise Concolic Unit Testing of C Programs Using Extended Units and Symbolic Alarm Filtering Kim, Yunho; Choi, Yunja; Kim, Moonzoo, International Conference on Software Engineering (ICSE), pp.315 - 326, IEEE Computer Society and ACM SIGSOFT, 2018-05-30 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,775 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989