We are looking for talented undergraduate and graduate students to work on exciting research projects with us! One research assistant position is available starting from fall 2009. Contact cscxzf@hofstra.edu for more information!

Research Projects

  1. SUSHI Constraint Solver for Simple Linear String Equations.
    Participants: Students: Bruno Melo, Diego da Silva, Matheus Finatti, Stephen Cohen, Vinicio Meira. Faculty: Dr. Xiang Fu, Dr. Lillian Cassel (Villanova University, Dr. John Impagliazzo, Dr. Simona Doboli.
    Date: Fall'10 - present.
    ALOAS uses an ontology model to represent the knowledge structure of a scentific subject. Then an adaptive testing can be conducted using this ontology model. It identifies the deficiency areas in a learner's knowledge structure simulating a medical diagnosis process.

  2. ALOAS Adaptive Testing and Outcome Assessment System.
    Participants: Dr. Xiang Fu
    Date: Fall'08 - present.
    SUSHI uses finite state transducer to solve simple linear string equations, a variation of word equation problems. Source code of the project is available upon request (email to cscxzf@hofstra.edu).

  3. SAFELI (Static Analysis Framework for dEtecting sqL Injection vulnerabilities).
    Participants: Dr. Xiang Fu (Hofstra), Dr. Kai Qian (SPSU), Dr. Lixin Tao (Pace), Dr. Boris Peltsverger (GSW), Shijun Chun (Master's Student GSW 2007), and Xin Lu (Master's Student GSW 2006).
    Date: Fall'06 - present.
    The objective of the on-going project is to automatically discover SQL injection vulnerabilities resident in Web applications. The tool symbolically executes the backend bytecode of a Web application. Whenever a SQL statement is submitted to database, SAFELI constructs a hybrid string constraint, which makes the WHERE clause of the SQL query a tautology. The constraint is solved by a regular string solver. The solution is used for generating the initial values of HTML input elements. Then a test script is generated and executed by GUI testing tool to verify the vulnerability. The tool has the potential to outperform black-box Web application penetration tools.

  4. JavaSye (Java Symbolic execution and analYsis Engine).
    Participants: Dr. Xiang Fu (GSW)
    Date: Spring'07 - present.
    The on-going project constructs a symbolic execution engine for Java language at the byte-code level. We plan to enrich the tool with automatic widening, abstraction, and loop invariants inference techniques to overcome the challenge of infinite state space caused by loop and recursion.

  5. WSAT (Web Service Analysis Tool).
    Participants: Xiang Fu (UCSB), Dr. Tevfik Bultan (UCSB), and Dr. Jianwen Su (UCSB), and Dr. Richard Hull (Lucent).
    Date: Fall'03 - Spring'04.
    WSAT is an automatic verifier that supports LTL model checking as well as the realizability/synchronizability check for asynchronously composed Web services. It accepts inputs specified using popular Web service standards such as BPEL4WS and WSDL, translates them to an intermediate representation called "guarded finite state automata" where the realizability/synchronizability check is conducted, and verifies LTL properties through the use of back end model checkers such as SPIN. Unlike its predecessors, WSAT handles full semantics of XML based data, which allows verification of Web services at a much greater detailed level.

Higher Education Administration and Education Related Projects

  1. APOGEE (Automated PrOject Grading and instant fEEdback system).
    Dr. Xiang Fu (Hofstra), Dr. Kai Qian (SPSU), Dr.  Lixin Tao (Pace), and Dr. Boris Peltsverger (GSW).
    Date: Spring'07 - present.

    APOGEE is an on-going project that can greatly improve the instructional effectiveness in Web programming/Internet engineering classes. The system meets the challenge of how to systematically and fairly handle the grading of an overwhelming number of project submissions in Web programming classes. APOGEE includes a toolset for authoring and running GUI testing scripts that automatically evaluate the quality of student projects. Its ideology is to help students learn from failures. A student project submission has to meet both the functional requirements and non-functional requirements on quality attributes such as security, robustness, and privacy. Any violation of the requirements will be re-played to students by APOGEE with guidance and hints. The tool itself is an ideal platform for experimenting various automatic testing techniques in research.

  2. LORA (electronic Learning Outcome Repository and Analysis system).
    Participants: Dr. Xiang Fu (GSW), Dr. Boris Peltsverger (GSW), and Dr. Cathy Rozmus (GSW).
    assisted by nine Master's students (Mr. Hao Chen et al.) in Fall'06 CSCI6900 and Spring'07 CSCI6930 classes.
    Date: Fall'06 - Spr'08.
    LORA is a Web-based management systems for instructors to submit learning outcome analysis reports when the instructional activities are completed for a course. In each report, an instructor has to evaluate the achievement on each learning outcome objective, and support the evaluation with sample student course work. Also the system allows to weave a network of knowledge body areas, with the coverage of each subject evidenced by teaching materials such as lecture notes, exam questions, etc. LORA facilitates the job of higher education administrators to examine the completeness of curriculum and teaching effectiveness of an academic program.

  3. CACPS (Computer Aided Curriculum Planning and Scheduling system)
    Participants: Dr. Xiang Fu (GSW), Dr. Boris Peltsverger (GSW), and Dr. Cathy Rozmus (GSW).
    Date: Spring'05 - Fall'05.
    CACPS is an automatic scheduling system which helps GSW students plan their academic career early and effectively. The tool generates the personalized study plan for each student, based on the degree requirements, multi-year course offering plan, pre-requisite requirement of courses, and the student's personal interests and preference. The system can be used as an academic advising tool for academic advisors.

Industry Projects

  1. ComplianceWeb (AET ComplianceWeb System)
    Dr. Xiang Fu (GSW), Dr. Alex Yemelyanov (GSW), Dr. Arvind Shah (GSW). The project is implemented by a team of 7 students, Henok Girma and Yi Chen et al.
    Date: Summer 06.
    The ComplianceWeb project helps the consulting firm to keep track of the equipment inspection and testing information for its clients. The project consists of around 40 forms, 60 database tables, and over 40k lines of C# code.

Course Project Samples

  1. Lego Robots Soccer and Map Explorer (Spring'07, Capstone Project)

  2. GSW Robocode Competition (Spr'07, Capstone Project)

  3. Tank Battle (Spr'06, Capstone Project)

  4. Online Car Racing Game (Spr'06, Computer Networks)

  5. NASA 3D Maze Game (Spr'06, Capstone Project)

  6. Java Email Client (Spr'06, Computer Networks)

  7. Nursing School Student Management System (Fall'05, Capstone Project)