Media type: E-Article Title: Lecture Notes in Computer Science: Information Flow Testing Contributor: Le Guernic, Gurvan imprint: Springer Berlin Heidelberg, 2007 Published in: Lecture Notes in Computer Science Language: Not determined DOI: 10.1007/978-3-540-76929-3_4 ISSN: 1611-3349; 0302-9743 Origination: Footnote: