11/10/09 

1. Huy N. Hang <hangh@cs.ucr.edu>
   Partition Testing Does Not Inspire Confidence
   Dick Hamlet, Member, IEEE, and Ross Taylor
   IEEE TRANSACTIONS ON SOFIWARE ENGINEERING, VOL. 16, NO. 12, DECEMBER 1990

2. Stephen Anthony Jones <sjones@cs.ucr.edu>
   Paul Ammann and Paul E. Black, 
   Abstracting Formal Specifications to Generate Software Tests via Model Checking
                                                                  
3. Thanawin (Art) Rakthanmanon <rakthant@cs.ucr.edu>
   Efficiently generating test vectors with state pruning
   Ying Chen, Dennis Abts and David J. Lilja

4. Ergude Bao <baoergude@gmail.com>                         
   A State Model for the Software Test Process with Automated Parameter Identification
   proceedings of the 2001 Systems, Man, and Cybernetics Conference.        

-----------------------------------------------------------------

11/12/09

1. Xin Liu <liux3515@gmail.com> liux@cs.ucr.edu
   Harrold, M. J. and G. Rothermel(1994). 
   Performing data flow testing on classes                          

2. Sanjay Kulhari <skulhari@cs.ucr.edu>
   Regression test selection for C++ software. 

3. <rattidhp@cs.ucr.edu>                                                                         
   Testing polymorphism in object oriented systems for improving software quality
   Dinesh Kumar Saini, Sohar University, Sohar Sultanate of Oman      

4. Abhishek Ray
   Efficient instrumentation for code coverage testing 

-----------------------------------------------------------

11/17/09

1. xiaoqing jin <jinx@cs.ucr.edu>                                            
   Checking states and transitions of a set of communicating finite state machines 

2. Robert Halstead <rhalstea@gmail.com>                                                              
   Test suite minimization for embedded nondeterministic finite state machines 
   N. Yevtushenko.     

3. Yi Wang <wangyi@cs.ucr.edu>
   Testing Finite State Machines Based on a Strutural Coverage Metric  

4. <darvisha@cs.ucr.edu> Amirali Darvishzadeh
   Two test data selection strategies Towards Testing of Boolean Specifications
   T. Y. CHEN, M. F. LAU

-----------------------------------------------------------------

11/19/09

1. <huc@cs.ucr.edu> Cuixiong(Tony) Hu 
   Kim, Zimmermann, Whitehead, and Zeller, Predicting Faults from Cached History  

2. yan WANG <wangy@cs.ucr.edu>                                                                   
   Simplifying and Isolating Failure-Inducing Input.                                             
   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 28, NO. 2, FEBRUARY 2002 
   Author: Andreas Zeller, Member, IEEE Computer Society, and Ralf Hildebrandt   

3. Wang Yan <ywang046@student.ucr.edu>
   Automated Software Testing Using Model-Checking.                 

4. Mehmet Esat Belviranli <ebelvirani@gmail.com> 
   F. Belli, J. Dreyer, "Program Segmentation for Controlling Test
   Coverage," issre, pp.72, Eighth International Symposium on Software
   Reliability Engineering (ISSRE '97), 1997

-------------------------------------------------------------------

11/24/09

1. Jian Wen <wenj@cs.ucr.edu>
   Issues in testing distributed component-based systems
   S Ghosh, AP Mathur

2. Shengfeng Wu <wus@cs.ucr.edu>
   Test generation for Boolean expressions 
   Paradkar, A.   Tai, K.C. 

3. Yasaman <sameisyy@cs.ucr.edu> 
   Compositional Dynamic Test Generation

4. Wei-Lun Liu  <liuw@cs.ucr.edu>
   Testing the completeness of specifications
   Jalote, P. (May 1998). 
   IEEE Transcations on Software Engineering                                                                                                              
--------------------------------------------------------------------

12/01/09

1. Ting-Kai Huang <huangt@cs.ucr.edu>
   Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
   James A. Jones and Mary Jean Harrold
   IEEE Transactions on Software Engineering vol. 29,  2003,     

2. Mohammed Alzaid <alzaidm@cs.ucr.edu>
   On Comparisons of Random, Partition,and Proportional Partition Testing
   Simeon C. Ntafos,IEEE (OCTOBER 2001)

3. Jaehoon Kim <kimja@cs.ucr.edu> 
   Automation of GUI Testing Using a Model-driven Approach  

4. Ryan Mannion <rmannion@cs.ucr.edu>
   Recomputing Coverage Information to Assist Regression Testing
   Chittimalli, P.K. and Harrold, M.-J.
   IEEE TSE, July-August 2009.

--------------------------------------------------------------------