Control flow graphs and code coverage

Jalote, P. (2005). An Integrated Approach to Software Engineering, Springer, New York, NY.Search in Google Scholar

Kosaraju, S. (1973). Analysis of structured programs, Proceedings of the 5th Annual ACM Symposium on Theory of Computing, Austin, TX, USA, pp. 240-252.Search in Google Scholar

McCabe, T. (1976). A complexity measure, IEEE Transactions on Software Engineering SE-2(4): 308-320.10.1109/TSE.1976.233837Search in Google Scholar

Paige, M. (1977). On partitioning program graphs, IEEE Transactions on Software Engineering SE-3(6): 386-393.10.1109/TSE.1977.231171Search in Google Scholar

Rapps, S. and Weyuker, E. (1982). Data flow analysis techniques for test data selection, Proceedings of the 6th International Conference on Software Engineering, Tokyo, Japan, pp. 272-278.Search in Google Scholar

Sommerville, I. (2004). Software Engineering, 7th Edn., Pearson Education Limited, Boston, MA.Search in Google Scholar

Tan, L. (2006). The Worst Case Execution Time Tool Challenge 2006: The External Test, Technical reporthttp://www.absint.com/ait/wcet_tool_challenge_2006_final_report.pdfSearch in Google Scholar

White, L. (1981). Basic mathematical definitions and results in testing, in B. Chandrasekaran and S. Radicchi (Eds.), Computer Program Testing, North-Holland, New York, NY.Search in Google Scholar

Zhu, H., Hall, P. and May, J. (1997). Software unit test coverage and adequacy, ACM Computing Surveys 29(4): 366-427.10.1145/267580.267590Search in Google Scholar