SERC Library
Title |
Author | Date | University | Affiliate | Tech Number |
|---|---|---|---|---|---|
| “A Survey of Malware Detection Techniques” | Nwokedi Idika, Aditya Mathur | 2007-02-01 | Purdue University | 286 | |
| “Adequacy of Statecharts as a Source of Tests for Implementations of Cryptographic Protocols" | K.R. Jayaram, Aditya Mathur | 2007-04-01 | Purdue University | 288 | |
| “An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model” | Dolores Zage, Wayne Zage | 2002-12-01 | Ball State University | 269 | |
| “An Approach to Feature Location in Distributed Systems” | Dennis Edwards, Sharon Simmons, Norman Wilde | 2004-02-01 | University of West Florida | 270 | |
| “Automatic API Usage Rule Extraction for Software Model Checking” | Chang Liu, En Ye | 2005-05-01 | Ohio University | 274 | |
| “Before and After”Ball State University | Dolores Zage and Wayne Zage | 2009-12-01 | Ball State University | Raytheon | 299 |
| “Empirical Studies of Distributed Student Software Testing Teams” | Dolores Zage, Wayne Zage | 2009-01-01 | Ball State University | 296 | |
| “FacFinder: Search for Expertise in Academic Institutions” | Yi Fanga, Luo Sia, Aditya Mathur | 2008-10-01 | Purdue University | 294 | |
| “Global Software Development – the Challenges" | Ita Richardson, Valentine Casey, Dolores Zage, Wayne Zage | 2005-09-01 | Ball State University & University of Limerick | 278 | |
| “Guidebook for Creating UML Design Metrics” | Dolores Zage & Wayne Zage | 2007-05-01 | Ball State University | 289 | |
| “Heuristic Expert Review Model and Tool©” | Kirsten Smith, Matthew Smith, Paul Buis | 2005-10-01 | Ball State University | 280 | |
| “Integrating Model Checking and Test Generation for Reliable and Secure Concurrent Programs” | Daniel Tang, Aditya Mathur | 2008-04-01 | Purdue University | 292 | |
| “Measuring the Effect of Design Decisions on Software Reliability” | Jeffrey Stineburg, Wayne Zage, Dolores Zage | 2005-05-01 | Ball State University | 272 | |
| “Metrics Directed Verification of UML Designs” | Wayne Zage, Dolores Zage, Todd Chaffins | 2006-06-01 | Ball State University | 284 | |
| “Metrics-Directed Analysis of VHDL Models” | Steven Sprunger, Raytheon and Dolores Zage, & Wayne Zage | 2007-09-01 | Ball State University | Raytheon | 291 |
| “Minimal Instrumentation for Software Feature Location” | Dennis Edwards, Norman Wilde, Sharon Simmons, Eric Golden | 2009-01-01 | University of West Florida | 295 | |
| “Modeling and Simulation of the Auditory Pathway” | Cal F. Rabang, Edward L. Bartlett, and Aditya Mathur | 2010-01-01 | Purdue University | 302 | |
| “Modeling and Simulation of the Auditory Pathway” | Alok Bakshi, Aditya Mathur | 2007-02-01 | Purdue University | 287 | |
| “Modeling and Simulation of the Human Auditory Pathway” | Johannes Cilliers and Aditya Mathur | 2010-01-01 | Purdue University | 300 | |
| “Modeling the Auditory Pathway” | Aurélien C. E. Roy | 2010-01-01 | Purdue University | 301 |
