Towards more accurate retrieval of duplicate bug reports C Sun, D Lo, SC Khoo, J Jiang 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 453 | 2011 |
A discriminative model approach for accurate duplicate bug report retrieval C Sun, D Lo, X Wang, J Jiang, SC Khoo Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 440 | 2010 |
Classification of software behaviors for failure detection: a discriminative pattern mining approach D Lo, H Cheng, J Han, SC Khoo, C Sun Proceedings of the 15th ACM SIGKDD international conference on Knowledge …, 2009 | 270 | 2009 |
SMArTIC: Towards building an accurate, robust and scalable specification miner D Lo, SC Khoo Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006 | 215 | 2006 |
Efficient mining of closed repetitive gapped subsequences from a sequence database B Ding, D Lo, J Han, SC Khoo 2009 IEEE 25th International Conference on Data Engineering, 1024-1035, 2009 | 157 | 2009 |
Efficient mining of iterative patterns for software specification discovery D Lo, SC Khoo, C Liu Proceedings of the 13th ACM SIGKDD international conference on Knowledge …, 2007 | 150 | 2007 |
Calculating sized types WN Chin, SC Khoo Higher-Order and Symbolic Computation 14 (2), 261-300, 2001 | 150 | 2001 |
QUARK: Empirical assessment of automaton-based specification miners D Lo, SC Khoo 2006 13th Working Conference on Reverse Engineering, 51-60, 2006 | 135 | 2006 |
Mining modal scenario-based specifications from execution traces of reactive systems D Lo, S Maoz, SC Khoo Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007 | 91 | 2007 |
Mining temporal rules for software maintenance D Lo, SC Khoo, C Liu Journal of Software Maintenance and Evolution: Research and Practice 20 (4 …, 2008 | 85 | 2008 |
Non-redundant sequential rules—Theory and algorithm D Lo, SC Khoo, L Wong Information Systems 34 (4-5), 438-453, 2009 | 79 | 2009 |
Parameterized partial evaluation C Consel, SC Khoo ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (3), 463-493, 1993 | 79 | 1993 |
Mining and ranking generators of sequential patterns D Lo, SC Khoo, J Li Proceedings of the 2008 siam international conference on data mining, 553-564, 2008 | 72 | 2008 |
Mining software specifications: methodologies and applications D Lo, SC Khoo, J Han, C Liu CRC Press, 2011 | 64 | 2011 |
Mining message sequence graphs S Kumar, SC Khoo, A Roychoudhury, D Lo Proceedings of the 33rd International Conference on Software Engineering, 91-100, 2011 | 53 | 2011 |
Mining past-time temporal rules from execution traces D Lo, SC Khoo, C Liu Proceedings of the 2008 international workshop on dynamic analysis: held in …, 2008 | 51 | 2008 |
Semantic patch inference J Andersen, AC Nguyen, D Lo, JL Lawall, SC Khoo Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012 | 50 | 2012 |
Verifying safety policies with size properties and alias controls WN Chin, SC Khoo, S Qin, C Popeea, HH Nguyen Proceedings of the 27th international conference on Software engineering …, 2005 | 48 | 2005 |
Automated generation of test programs from closed specifications of classes and test cases WK Leow, SC Khoo, Y Sun Proceedings. 26th International Conference on Software Engineering, 96-105, 2004 | 45 | 2004 |
Automated lemma synthesis in symbolic-heap separation logic QT Ta, TC Le, SC Khoo, WN Chin Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017 | 44 | 2017 |