Neta Aizenbud-Reshef. Coverage Analysis for Message Flows. In 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China. pages 276-286, IEEE Computer Society, 2001. [doi]
@inproceedings{Aizenbud-Reshef01, title = {Coverage Analysis for Message Flows}, author = {Neta Aizenbud-Reshef}, year = {2001}, url = {http://csdl.computer.org/comp/proceedings/issre/2001/1306/00/13060276abs.htm}, tags = {analysis, data-flow, data-flow analysis, coverage}, researchr = {https://researchr.org/publication/Aizenbud-Reshef01}, cites = {0}, citedby = {0}, pages = {276-286}, booktitle = {12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China}, publisher = {IEEE Computer Society}, isbn = {0-7695-1306-9}, }