Hai-Feng Guo

According to our database, Hai-Feng Guo authored at least 46 papers between 2001 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A semantic approach for automated test oracle generation.

Hai-Feng Guo

Comput. Lang. Syst. Struct., 2016

Debugging energy-efficiency related field failures in mobile apps.

Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

2015

A dynamic stochastic model for automatic grammar-based test generation.

Hai-Feng Guo, Zongyan Qiu

Softw. Pract. Exp., 2015

Semantics-based Automated Web Testing.

Hai-Feng Guo, Qing Ouyang, Harvey P. Siy

Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

2014

Model-based test generation using extended symbolic grammars.

Hai-Feng Guo, Mahadevan Subramaniam

Int. J. Softw. Tools Technol. Transf., 2014

Locating fault-inducing patterns from structural inputs.

Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy

Proceedings of the Symposium on Applied Computing, 2014

Automated Test Oracle Generation via Denotational Semantics.

Hai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu

Proceedings of the 2014 14th International Conference on Quality Software, 2014

2013

Automatic Grammar-Based Test Generation.

Hai-Feng Guo, Zongyan Qiu

Proceedings of the Testing Software and Systems, 2013

2012

Model-Based Test Generation Using Evolutional Symbolic Grammar.

Hai-Feng Guo, Mahadevan Subramaniam

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Generating test cases via model-based simulation.

Songqing Liu, Liping Li, Hai-Feng Guo

Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

2011

An Approach to Regression Test Selection of Adaptive EFSM Tests.

Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2010

A theoretical framework for interaction measure and sensitivity analysis in cross-layer design.

Dalei Wu, Song Ci, Haiyan Luo, Hai-Feng Guo

ACM Trans. Model. Comput. Simul., 2010

2009

Dynamic reordering of alternatives for definite logic programs.

Hai-Feng Guo, Gopal Gupta

Comput. Lang. Syst. Struct., 2009

Consistency Checking for LSC Specifications.

Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam

Proceedings of the TASE 2009, 2009

L2C2: logic-based LSC consistency checking.

Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008

Simplifying dynamic programming via mode-directed tabling.

Hai-Feng Guo, Gopal Gupta

Softw. Pract. Exp., 2008

Logic programming with solution preferences.

Hai-Feng Guo, Bharat Jayaraman

J. Log. Algebraic Methods Program., 2008

2007

PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.

Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta

Theory Pract. Log. Program., 2007

Precise specification matching for adaptive reuse in embedded systems.

Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan

J. Appl. Log., 2007

A General Approach for Partitioning Web Page Content Based on Geometric and Style Information.

Hai-Feng Guo, Jalal Mahmud, Yevgen Borodin, Amanda Stent, I. V. Ramakrishnan

Proceedings of the 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 2007

Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty.

Song Ci, Hai-Feng Guo

Proceedings of the 16th International Conference on Computer Communications and Networks, 2007

Significance Measure with Nonlinear and Incommensurable Observations.

Song Ci, Hai-Feng Guo

Proceedings of the Global Communications Conference, 2007

On Multi-Relational Data Mining for Foundation of Data Mining.

Miao Liu, Hai-Feng Guo, Zhengxin Chen

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2006

Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms.

Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta

J. Parallel Distributed Comput., 2006

PALS: Efficient Or-Parallelism on Beowulf Clusters

Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta

CoRR, 2006

Relaxation on Optimization Predicates.

Hai-Feng Guo, Miao Liu, Bharat Jayaraman

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Mode-directed preferences for logic programs.

Hai-Feng Guo, Bharat Jayaraman

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Optimization with mode-directed preferences.

Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Mode-Directed Fixed Point Computation.

Hai-Feng Guo

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Genetic Algorithm Based Approach for Nucleic Acid Pattern Extraction.

Miao Liu, Hai-Feng Guo, Zhengxin Chen

Proceedings of the A Conference on a Human Scale. 11th Americas Conference on Information Systems, 2005

2004

An Efficient and Flexible Engine for Computing Fixed Points

Hai-Feng Guo, Gopal Gupta

CoRR, 2004

Simplifying Dynamic Programming via Tabling.

Hai-Feng Guo, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals.

Zhenyuan Wang, Hai-Feng Guo, Yong Shi, Kwong-Sak Leung

Proceedings of the Data Mining and Knowledge Management, 2004

UMA: a system for universal mathematics accessibility.

Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo

Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, 2004

2003

Online Justification for Tabled Logic Programs.

Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Programming, 19th International Conference, 2003

A New Mode Declaration for Tabled Predicates.

Hai-Feng Guo, Gopal Gupta

Proceedings of the Logic Programming, 19th International Conference, 2003

INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex.

Narayan Annamalai, Deepa Gopal, Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer

Proceedings of the Human-Computer Interaction: Universal Access in HCI: Inclusive Design in the Information Society, 2003

A new genetic algorithm for nonlinear multiregressions based on generalized Choquet integrals.

Zhenyuan Wang, Hai-Feng Guo

Proceedings of the 12th IEEE International Conference on Fuzzy Systems, 2003

A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.

Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002

Semantics-Based Filtering: Logic Programming's Killer App?

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

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Justification Based on Program Transformation.

Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001

Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems.

Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta

Proceedings of the 2001 International Conference on Parallel Processing, 2001

PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.

Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta

Proceedings of the Logic Programming, 17th International Conference, 2001

Speculative Beats Conservative Justification.

Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Programming, 17th International Conference, 2001

A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.

Hai-Feng Guo, Gopal Gupta

Proceedings of the Logic Programming, 17th International Conference, 2001

The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance.

Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo

Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001