@inproceedings{ostrand_weyuker_1991, 
  title={Data flow-based test adequacy analysis for languages with pointers}, 
  DOI={10.1145/120807.120814}, 
  publisher={ACM Press}, 
  author={Ostrand and Weyuker}, 
  year={1991}
  }