Completed

Software testing is an important but time-consuming step in the software development cycle. One of the most popular testing technique is manually writing unit tests. However, this technique lacks coverage and is not time-ecient. Thus, the gain from automating software testing is great. One of such tools is KLEE and it promises a high coverage. In this project we aimed to increase the performance of KLEE by decreasing its runtime. The costliest operation of KLEE is the calls made to the constraint solver which is proportional to the number of constraints contained in the query.

As you know we are working on automation of our programming courses starting with cmpe150. Then we have the problem of switching from powerpoint presentations to HTML5 based presentations enriched by javascript.

The project is to develop such an open source tool that can be also bee used in our department.

The aim of this project is to integrate existing speech processing and synthesis tools to communication with the Baxter robot. English and Turkish languages will be used in communications, in setting tasks or in getting information from the robot. The robot's voice based communication skills will be reinforced with various interfaces including emotions displayed on the tablet and gestures of the robot.

A multi-word expression (MWE) is a lexeme (term) made up of a sequence of two or more lexemes that has properties that are not predictable from the properties of the individual lexemes or their normal mode of combination. In short, a MWE is like an idiom. In several languages, there are built-in dictionaries of MWEs. In this project, we aim at forming a dictionary (lexicon) of MWEs for Turkish.

Given a text document and a predetermined set of classes, text classification (categorization) is the task of finding the correct class of the document. Centroid-based classification is a simple type of classification in which the given document is assigned to a class based on the similarity between the document and the centroids of the classes. In this project, we begin with reading the paper “A New Centroid Based Classification Model for Text Categorization”, Liu, C., Wang, W., Tu, G., Xiang, Y. and Konan, M., 2016.