Code coverage analysis in practice for large systems
Yoram Adler, Noam Behar, et al.
ICSE 2011
While graphs are normally defined in terms of the 2-place relation of adjacency, we take the 3-place relation of interception as the basic primitive of their definition. The paper views graphs as an economical scheme for encoding interception relations, and establishes an axiomatic characterization of relations that lend themselves to representation in terms of graph interception, thus providing a new characterization of graphs. © 1996 John Wiley & Sons, Inc.
Yoram Adler, Noam Behar, et al.
ICSE 2011
Gil Ratsaby, Baruch Sterin, et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Yoram Adler, Eitan Farchi, et al.
ICSE 2009
Arkady Bron, Eitan Farchi, et al.
PROPP 2005