All Stories

  1. An efficient and precise dynamic slicing for concurrent component-oriented programs