@article {Simula.SE.28,
	title = {Investigating the Use of Analysis Contracts to Improve the Testability of Object Oriented Code},
	journal = {Software: Practice and Experience},
	volume = {33},
	number = {7},
	year = {2003},
	author = {Briand, Lionel and Labiche, Yvan and Sun, H.}
}
@inproceedings {Simula.SE.69,
	title = {Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code},
	journal = {ACM International Symposium on Software Testing and Analysis (ISSTA)},
	year = {2002},
	pages = {70-80},
	type = {Conference},
	author = {Briand, Lionel and Labiche, Yvan and Sun, H.}
}
