We would like to invite you for the next talk in our UMBC ACM techTalk Research@CSEE series. Professor Mohammad Raunak, who is an Assistant Professor in the Computer Science Department at Loyola University Maryland will talk about “Quantifying validation of Non-Testable Programs”. Dr. Raunak will talk about his work in developing verification as well as validation approaches for software testing and how it can extended to non-testable programs.
Abstract: An important aspect of software testing is the development and use of different adequacy criteria, often referred to ascoverage criteria. These criteria help guide verification and validation (V&V) activities, and thus improve overall quality of software. However, all adequacy criteria assume the presence of test-oracles, which is not applicable for the set of programs often termed as `non-testable.’ Simulations, machine learning algorithms, and other non-deterministic software are examples of such programs. There has been little research to develop verification or validation related adequacy criteria for these types of programs. In this paper, we argue that developing such adequacy criteria are not only possible, but crucial for quantifying and communicating how well V&V activities have been applied on a program. We propose one approach to a validation coverage criteria and indicate how it can be extended to other V&V related coverage criteria for `non-testable’ programs.
Speaker Bio: Mohammad Raunak is an Assistant Professor in the Computer Science Department at Loyola University Maryland. His primary research interest involves verification, validation, and analysis of complex software and simulation systems. He is also interested in modeling and analyzing software and other human-intensive processes. Dr. Raunak received his MS and PhD in Computer Science from University of Massachusetts Amherst. His email and web addresses are email@example.com and http://www.cs.loyola.edu/~raunak/.
Talk: Quantifying validation of ‘Non-Testable’ Programs
Theme: Software System Modeling & Simulation
Date: Friday, April 18, 2014
Time: 11 am – 12 pm
Room: ITE 346
Please RSVP for the talk here: http://my.umbc.edu/events/24044/
We hope everyone’s been having a fun Spring semester so far! Before winter break last we kicked-off the UMBC ACM techTalk, a thematic series of technical talks, with the theme Research@CSEE. This theme is designed to create awareness about current research efforts as well as future research interests of CSEE faculty and affiliated research labs. Join us on Friday, March 7, at 12:00 pm in Engineering Building Room # 027, to hear Prof. Nilanjan Banerjee talk about “System Support for Renewable Energy-driven Devices.” This is your chance to participate in a niche discussion and grab some soda while you’re at it.
Abstract: Renewable energy driven devices span micro-harvester powered devices for healthcare application to large solar panel or wind turbine driven houses. The key challenge in designing these wide spectrum of devices is balancing energy supply with energy demand. However, depending on the size of the system, specific challenges such as harvester design (in micro-harvesters) and user-comfort (in renewable energy-driven homes) must be addressed. In this talk, I will provide an overview of the challenges in designing such systems in the context of both micro- and macro- renewable energy-driven that my group has designed.
Bio: Nilanjan Banerjee is an Assistant Professor at University of Maryland, Baltimore County. He is a NSF Career Awardee and a receipient of the Microsoft Research Software Engineering Innovations Award. He also received a Yahoo! Outstanding Disseration award and a Best Undergraduate thesis award. His research interests are in the areas of Mobile, Embedded, and Sensor systems.
Date: Friday, March 7, 2014.
Time: 12.00 PM to 1.00 PM
Room: Engineering Building Room # 027
Please RSVP on Facebook or myUMBC.
The UMBC ACM Tech Talk series is back. This academic year, the tech talk series will be thematic. The goal of the talks will be to connect students with subject matter experts and practitioners in niche areas of computing science. We will kick off with the theme Research@CSEE, designed to create awareness about current research efforts as well as future research interests of faculty and affiliated research labs in the Computer Science and Electrical Enigeering (CSEE) department at UMBC.
The Research@CSEE will kick off this Friday, December 6, with Dr. Kostas Kalpakis, talking about Sensor networks and distributed time series analytics. Join us for discussion with Dr. Kalpakis on his current research interests and grab some pizza and soda while you’re at it.
Date: December 6, 2013
Time: 10.30 am
Venue: ITE – 346, UMBC
RSVP on myUMBC or Facebook.
Thanks to everyone who attended this talk. Pictures from this talk are available here : http://goo.gl/JM7ydZ