Camille Constant, Bertrand Jeannet, Thierry Jéron. Automatic Test Generation from Interprocedural Specifications. In Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp, editors, Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings. Volume 4581 of Lecture Notes in Computer Science, pages 41-57, Springer, 2007. [doi]
Abstract is missing.