2 citations · 3 across the 4 of their papers we have counts for
4 papers
Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction
Ezana N. Beyenne, Hai-Feng Guo
The spreadsheet application is among the most widely used computing tools in modern society. It provides excellent usability and usefulness, and it easily enables a non-programmer…
Semantics-based Automated Web Testing
Hai-Feng Guo, Qing Ouyang, Harvey Siy
We present TAO, a software testing tool performing automated test and oracle generation based on a semantic approach. TAO entangles grammar-based test generation with automated sem…
L2C2: Logic-based LSC Consistency Checking
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language for reactive systems. In this paper, we introduce a l…
An Efficient and Flexible Engine for Computing Fixed Points
Hai-Feng Guo, Gopal Gupta
An efficient and flexible engine for computing fixed points is critical for many practical applications. In this paper, we firstly present a goal-directed fixed point computation s…