Hai-Feng Guo

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 4

Top Topics

Constraint Satisfaction

Semantically Meaningful

Stochastic Model

Mutation Testing

Top Venues

Inf. Softw. Technol.

Publications

Ezana N. Beyenne, Hai-Feng Guo
Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction. CoRR (2022)
Zhiyuan Chen, Hai-Feng Guo, Myoungkyu Song
Improving regression test efficiency with an awareness of refactoring changes. Inf. Softw. Technol. 103 (2018)
Hai-Feng Guo
A semantic approach for automated test oracle generation. Comput. Lang. Syst. Struct. 45 (2016)
Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury
Debugging energy-efficiency related field failures in mobile apps. MOBILESoft (2016)
Hai-Feng Guo, Zongyan Qiu
A dynamic stochastic model for automatic grammar-based test generation. Softw. Pract. Exp. 45 (11) (2015)
Hai-Feng Guo, Qing Ouyang, Harvey P. Siy
Semantics-based Automated Web Testing. WWV (2015)
Hai-Feng Guo, Mahadevan Subramaniam
Model-based test generation using extended symbolic grammars. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Hai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu
Automated Test Oracle Generation via Denotational Semantics. QSIC (2014)
Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy
Locating fault-inducing patterns from structural inputs. SAC (2014)
Zhi-Bin Ling, Yang Cao, Qin-Dong Ma, Hai-Feng Guo, Baihua Zhang, Zhi-Gang Lu
Design of 2MW/10kV cascaded power conversion system. IECON (2014)
Hai-Feng Guo, Zongyan Qiu
Automatic Grammar-Based Test Generation. ICTSS (2013)
Hai-Feng Guo, Mahadevan Subramaniam
Model-Based Test Generation Using Evolutional Symbolic Grammar. TASE (2012)
Songqing Liu, Liping Li, Hai-Feng Guo
Generating test cases via model-based simulation. IRI (2012)
Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo
An Approach to Regression Test Selection of Adaptive EFSM Tests. TASE (2011)
Dalei Wu, Song Ci, Haiyan Luo, Hai-Feng Guo
A theoretical framework for interaction measure and sensitivity analysis in cross-layer design. ACM Trans. Model. Comput. Simul. 21 (1) (2010)
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
L2C2: Logic-based LSC Consistency Checking CoRR (2010)
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
L2C2: logic-based LSC consistency checking. PPDP (2009)
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
Consistency Checking for LSC Specifications. TASE (2009)
Hai-Feng Guo, Gopal Gupta
Dynamic reordering of alternatives for definite logic programs. Comput. Lang. Syst. Struct. 35 (3) (2009)
Hai-Feng Guo
A Memoized Strategy for Preference Logic Programs. TASE (2008)
Hai-Feng Guo, Gopal Gupta
Simplifying dynamic programming via mode-directed tabling. Softw. Pract. Exp. 38 (1) (2008)
Hai-Feng Guo, Bharat Jayaraman
Logic programming with solution preferences. J. Log. Algebraic Methods Program. 78 (1) (2008)
Hai-Feng Guo, Jalal Mahmud, Yevgen Borodin, Amanda Stent, I. V. Ramakrishnan
A General Approach for Partitioning Web Page Content Based on Geometric and Style Information. ICDAR (2007)
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. Theory Pract. Log. Program. 7 (6) (2007)
Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan
Precise specification matching for adaptive reuse in embedded systems. J. Appl. Log. 5 (2) (2007)
Miao Liu, Hai-Feng Guo, Zhengxin Chen
On Multi-Relational Data Mining for Foundation of Data Mining. AICCSA (2007)
Song Ci, Hai-Feng Guo
Significance Measure with Nonlinear and Incommensurable Observations. GLOBECOM (2007)
Deepa Gopal, Q. Wang, Gopal Gupta, Sachin V. Chitnis, Hai-Feng Guo, Arthur I. Karshmer
Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. HCI (7) (2007)
Song Ci, Hai-Feng Guo
Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty. ICCCN (2007)
Hai-Feng Guo, Miao Liu, Bharat Jayaraman
Relaxation on Optimization Predicates. ICLP (2006)
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. J. Parallel Distributed Comput. 66 (10) (2006)
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
PALS: Efficient Or-Parallelism on Beowulf Clusters CoRR (2006)
Hai-Feng Guo, Bharat Jayaraman
Mode-directed preferences for logic programs. SAC (2005)
Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu
Optimization with mode-directed preferences. PPDP (2005)
Miao Liu, Hai-Feng Guo, Zhengxin Chen
Genetic Algorithm Based Approach for Nucleic Acid Pattern Extraction. AMCIS (2005)
Hai-Feng Guo
Mode-Directed Fixed Point Computation. LPNMR (2005)
Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
Online Justification for Tabled Logic Programs. FLOPS (2004)
Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, B. Palmer, Hai-Feng Guo
UMA: a system for universal mathematics accessibility. ASSETS (2004)
Hai-Feng Guo, Gopal Gupta
An Efficient and Flexible Engine for Computing Fixed Points CoRR (2004)
Zhenyuan Wang, Hai-Feng Guo, Yong Shi, Kwong-Sak Leung
A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals. CASDMKM (2004)
Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, B. Palmer, Hai-Feng Guo
UMA: a system for universal mathematics accessibility. ACM SIGACCESS Access. Comput. (2004)
Hai-Feng Guo, Gopal Gupta
Simplifying Dynamic Programming via Tabling. PADL (2004)
Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
Online Justification for Tabled Logic Programs. ICLP (2003)
Zhenyuan Wang, Hai-Feng Guo
A new genetic algorithm for nonlinear multiregressions based on generalized Choquet integrals. FUZZ-IEEE (2003)
Hai-Feng Guo
Precise Specification Matching for Automated Component Retrieval and Adaptation. IRI (2003)
Narayan Annamalai, Deepa Gopal, Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer
INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex. HCI (4) (2003)
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. Euro-Par (2003)
Hai-Feng Guo, Gopal Gupta
A New Mode Declaration for Tabled Predicates. ICLP (2003)
Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou
Semantics-Based Filtering: Logic Programming's Killer App? PADL (2002)
Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
Justification Based on Program Transformation. LOPSTR (2002)
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP (2001)
Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta
Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. ICPP (2001)
Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo
The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. HCI (2001)
Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
Speculative Beats Conservative Justification. ICLP (2001)
Hai-Feng Guo, Gopal Gupta
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. ICLP (2001)