Eun-Hye Choi
Eun-Hye Choi
Verified email at aist.go.jp
TitleCited byYear
Transaction processing system supporting concurrent accesses to hierarchical data by transactions
E Choi, T Kanai
US Patent App. 10/765,145, 2004
632004
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
292015
XPath-based concurrency control for XML data
EH Choi, T Kanai
Proceedings of the 14th Data Engineering Workshop (DEWS 2003), 302-313, 2003
292003
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
222016
Model checking class specifications for web applications
EH Choi, H Watanabe
Software Engineering Conference, 2005. APSEC'05. 12th Asia-Pacific, 9 pp., 2005
142005
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
132017
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
112015
Model checking active database rules under various rule processing strategies
EH Choi, T Tsuchiya, T Kikuno
IPSJ Digital Courier 2, 826-839, 2006
112006
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
102016
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
82016
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
82015
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
82005
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
72015
Distance-Integrated Combinatorial Testing
EH Choi, C Artho, T Kitamura, O Mizuno, A Yamada
Software Reliability Engineering (ISSRE), 2016 IEEE 27th International …, 2016
62016
Improving Faulty Interaction Localization Using Logistic Regression
K Nishiura, EH Choi, O Mizuno
Software Quality, Reliability and Security (QRS), 2017 IEEE International …, 2017
52017
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
42017
Model checking active database rules
EH Choi, T Tsuchiya, T Kikuno
Technical report, AIST CVS, Osaka University, Japan, 2006
42006
Code Coverage Analysis of Combinatorial Testing.
EH Choi, O Mizuno, Y Hu
QuASoQ/TDA@ APSEC, 43-49, 2016
32016
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
32014
New constructions for nondominated k-coteries
EH Choi, T Tsuchiya, T Kikuno
IEICE transactions on information and systems 83 (7), 1526-1532, 2000
32000
The system can't perform the operation now. Try again later.
Articles 1–20