OREGON STATE UNIVERSITY

You are here

Colloquium Series

Once every week while school is in session, EECS invites a distinguished researcher or practitioner in a computer science or electrical and computer engineering-related field to present their ideas and/or work. Talks are generally targeted to electrical engineering and computer science graduate students. This colloquium series is free and open to everyone.

Upcoming Colloquia

Generating Focused Random Tests for Large Software Systems

Monday, February 20, 2017 -
4:00pm to 4:50pm
GLFN AUD

Speaker Information

Amin Alipour
Oregon State University

Abstract

The main goal of automated test generation is to improve the reliability of a program by exposing faults to developers. To this end, testing should cover the largest possible portion of the program given a test budget (i.e., time and resources) as frequently as possible. Coverage of a program entity in testing increases our confidence in the correctness of that entity. Generating various tests to cover a program entity is a particularly hard problem to solve for large software systems, because the test inputs are complex and they often exhibit sophisticated feature interactions. As a result, current test generation techniques, such as symbolic execution or search-based testing, do not scale well to complex, large-scale systems. In this talk, I present a technique to increase the frequency of coverage in less-covered parts of large software systems. I also present cause reduction to remove redundancies in test cases generated by automated test generation techniques.

Speaker Bio

Amin Alipour is a PhD candidate in Computer Science at Oregon State University. His main research interest is in software testing and analysis,  especially in designing techniques that improve the quality of large, complex software systems. His PhD work has explored test input generation, regression testing, and dynamic symbolic execution. His papers won a best paper award and two invitations for journal submissions.

Past Colloquia

Jonathan Coker
Thursday, February 6, 2014 -
3:00pm to 4:00pm
Kristi Potter
Monday, February 3, 2014 - 4:00pm
Aaron Buchwald
Monday, January 13, 2014 -
4:00pm to 4:50pm
Bruce Shepherd
Wednesday, January 8, 2014 -
9:00am to 10:00am
Mark Crowley
Monday, November 25, 2013 -
4:00pm to 4:50pm
Feng Liu
Thursday, November 21, 2013 -
4:00pm to 5:00pm
Mike Rosulek
Monday, November 18, 2013 -
4:00pm to 4:50pm
Dmitri Strukov
Monday, November 11, 2013 -
4:00pm to 4:50pm

Pages