Camille Constant

	2007
2		Camille Constant, Bertrand Jeannet, Thierry Jéron: Automatic Test Generation from Interprocedural Specifications. TestCom/FATES 2007: 41-57
1		Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu: Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng. 33(8): 558-574 (2007)

Coauthor Index

1	Bertrand Jeannet	[2]
2	Thierry Jéron	[1] [2]
3	Hervé Marchand	[1]
4	Vlad Rusu	[1]