@inproceedings{5b4a18e6041047ccaf79418c2d2a1c7b,
title = "The path-wise approach to data flow testing with pointer variables",
abstract = "This paper describes a new approach to performing data flow testing on programs that use pointer variables and a tool based on this approach. Our technique is based on the observation that, under certain reasonable assumptions, we can determine which dereferenced pointers are aliased whenever control reaches a given program point via a particular path. Furthermore, we can group together paths which behave similarly and represent them by regular expressions. The resulting test requirements demand that the test data execute representatives of particular sets of paths between variable definitions and uses.",
author = "Marx, {Delia I.S.} and Frankl, {Phyllis G.}",
note = "Publisher Copyright: {\textcopyright} 1996 ACM.; 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996 ; Conference date: 08-01-1996 Through 10-01-1996",
year = "1996",
month = may,
day = "1",
doi = "10.1145/229000.226311",
language = "English (US)",
series = "Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996",
publisher = "Association for Computing Machinery, Inc",
pages = "135--146",
editor = "Will Tracz and Zeil, {Steve J.}",
booktitle = "Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996",
}