Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
Clustering in data mining is a discovery process that groups a set of data such that the intracluster similarity is maximized and the intercluster similarity is minimized. These d...
Eui-Hong Han, George Karypis, Vipin Kumar, Bamshad...
Our research goal is to improve stylus operability by utilizing the human knowledge and skills applied when a user uses a pen. Such knowledge and skills include, for example, the w...
Virtual communities that make use of social network site features blend known applications of virtual communities. These communities can be simultaneously social and commercial, or...