SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Alex Groce

Registered user since Sat 23 Aug 2014

Name:Alex Groce
Bio:

Alex Groce received his PhD in Computer Science from Carnegie Mellon University in 2005, and B.S. degrees in Computer Science and Multidisciplinary Studies (with a focus on English literature) from North Carolina State University in 1999. Before joining the Oregon State University faculty in 2009, he was a core member of the Laboratory for Reliable Software at NASA’s Jet Propulsion Laboratory, and taught classes on software testing at the California Institute of Technology. His activities at JPL included a role as lead developer and designer for test automation for the Mars Science Laboratory mission’s internal flight software test team, and lead roles in testing file systems for space missions.

His research interests are in software engineering, particularly testing, model checking, code analysis, debugging, and error explanation. He focuses on software engineering from an “investigative” viewpoint, with an emphasis on the execution traces that programs produce — software engineering as the art and science of building programs with a desired set of executions.

He has written many papers using code coverage to compare things, and doesn’t always feel completely happy about this fact.

Country:United States
Affiliation:Oregon State University
Research interests:Software Testing, Model Checking, Automated Debugging, Software Specification and Design

Contributions

Show activities from other conferences

SPLASH 2014-profile
View general profile