Login / Signup
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs.
Matthew B. Dwyer
John Hatcliff
Matthew Hoosier
Venkatesh Prasad Ranganath
Robby
Todd Wallentine
Published in:
TACAS (2006)
Keyphrases
</>
expert systems
computational model
social networks
case study
high level
information systems
open source
test data