Nina Saxena

Publication Activity (10 Years)

Years Active: 1996-2000
Publications (10 Years): 0

Publications

Nina Saxena, Jacob A. Abraham, Avijit Saha
Causality based generation of directed test cases. ASP-DAC (2000)
Nina Saxena, Jason Baumgartner, Avijit Saha, Jacob A. Abraham
To model check or not to model check. ICCD (1998)
Nina Saxena, Sudeep Sarkar, N. Ranganathan
Mapping and parallel implementation of Bayesian belief networks. SPDP (1996)