| Optimization of combinatorial testing by incremental SAT solving A Yamada, T Kitamura, C Artho, EH Choi, Y Oiwa, A Biere Software Testing, Verification and Validation (ICST), 2015 IEEE 8th …, 2015 | 67 | 2015 |
| Transaction processing system supporting concurrent accesses to hierarchical data by transactions E Choi, T Kanai US Patent App. 10/765,145, 2004 | 67 | 2004 |
| Log-based Anomaly Detection of CPS Using a Statistical Method Y Harada, Y Yamagata, O Mizuno, EH Choi Empirical Software Engineering in Practice (IWESEP), 2017 8th International …, 2017 | 64 | 2017 |
| Greedy combinatorial test case generation using unsatisfiable cores A Yamada, A Biere, C Artho, T Kitamura, EH Choi Automated Software Engineering (ASE), 2016 31st IEEE/ACM International …, 2016 | 64 | 2016 |
| XPath-based concurrency control for XML data EH Choi, T Kanai Proceedings of the 14th Data Engineering Workshop (DEWS 2003), 302-313, 2003 | 29 | 2003 |
| Using a Distributed Representation of Words in Localizing Relevant Files for Bug Reports Y Uneno, O Mizuno, EH Choi Software Quality, Reliability and Security (QRS), 2016 IEEE International …, 2016 | 27 | 2016 |
| Model-based Testing of Stateful APIs with Modbat C Artho, M Seidl, Q Gros, EH Choi, T Kitamura, A Mori, R Ramler, ... Automated Software Engineering (ASE), 2015 30th IEEE/ACM International …, 2015 | 18 | 2015 |
| Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study EH Choi, S Kawabata, O Mizuno, C Artho, T Kitamura Software Quality, Reliability and Security (QRS), 2016 IEEE International …, 2016 | 16 | 2016 |
| Combinatorial Testing for Tree-Structured Test Models with Constraints T Kitamura, A Yamada, G Hatayama, C Artho, EH Choi, NTB Do, Y Oiwa, ... Software Quality, Reliability and Security (QRS), 2015 IEEE International …, 2015 | 16 | 2015 |
| Model checking class specifications for web applications EH Choi, H Watanabe Software Engineering Conference, 2005. APSEC'05. 12th Asia-Pacific, 9 pp., 2005 | 16 | 2005 |
| Model checking active database rules under various rule processing strategies EH Choi, T Tsuchiya, T Kikuno IPSJ Digital Courier 2, 826-839, 2006 | 14 | 2006 |
| Improving Faulty Interaction Localization Using Logistic Regression K Nishiura, EH Choi, O Mizuno Software Quality, Reliability and Security (QRS), 2017 IEEE International …, 2017 | 13 | 2017 |
| Priority Integration for Weighted Combinatorial Testing EH Choi, T Kitamura, C Artho, A Yamada, Y Oiwa Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th …, 2015 | 13 | 2015 |
| Design of prioritized N-wise testing EH Choi, T Kitamura, C Artho, Y Oiwa IFIP International Conference on Testing Software and Systems, 186-191, 2014 | 9 | 2014 |
| Distance-Integrated Combinatorial Testing EH Choi, C Artho, T Kitamura, O Mizuno, A Yamada Software Reliability Engineering (ISSRE), 2016 IEEE 27th International …, 2016 | 8 | 2016 |
| Code Coverage Analysis of Combinatorial Testing. EH Choi, O Mizuno, Y Hu QuASoQ/TDA@ APSEC, 43-49, 2016 | 8 | 2016 |
| Model checking of page flow specification EH Choi, T Kawamoto, H Watanabe Japan Society for Software Science and Technology (JSSST) 22 (3), 146-153, 2005 | 8 | 2005 |
| A revisit of the integration of metamorphic testing and test suite based automated program repair M Jiang, TY Chen, FC Kuo, Z Ding, EH Choi, O Mizuno Metamorphic Testing (MET), 2017 IEEE/ACM 2nd International Workshop on, 14-20, 2017 | 6 | 2017 |
| Weighting for Combinatorial Testing by Bayesian Inference EH Choi, T Fujiwara, O Mizuno Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE …, 2017 | 5 | 2017 |
| Model checking active database rules EH Choi, T Tsuchiya, T Kikuno Technical report, AIST CVS, Osaka University, Japan, 2006 | 5 | 2006 |
Cyrille ArthoKTH Royal Institute of Technology, SwedenAdresă de e-mail confirmată pe kth.se
