Search results for: Moonzoo Kim
Information and Software Technology > 2017 > 82 > C > 80-95
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 489-500
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Protocols Analysis, Case Studies, and Tools > 429-443
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Automata Theory and Logics > 543-556
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software > 199-213
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Invited Papers > 51-59
Lecture Notes in Computer Science > Reuse of Off-the-Shelf Components > Reengineering Maintanance > 156-169
Lecture Notes in Computer Science
Software Testing, Verification and Reliability > 25 > 4 > 334 - 370
Software Testing, Verification and Reliability > 25 > 3 > 191 - 217
Software Testing, Verification and Reliability > 25 > 2 > 77 - 114