Robustness and Diagnosability of OO Systems Designed by Contracts

  • By
by Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel
View PDF
Reference:
Robustness and Diagnosability of OO Systems Designed by Contracts (Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel), In Proc. of the Metrics Symposium (Metrics), 2001.
Bibtex Entry:
@inproceedings{Baudry01a,
	keywords = {test, OOP, metrics},
	Author = {Baudry, Benoit and {Le~Traon}, Yves and J{'e}z{'e}quel, Jean-Marc},
	Booktitle = {Proc. of the Metrics Symposium (Metrics)},
	pages={272-284},
	Title = {Robustness and Diagnosability of OO Systems Designed by Contracts},
	url = {http://www.irisa.fr/triskell/publis/2001/Baudry01a.pdf},
	x-abbrv = {METRICS},
	X-International-Audience = {yes},
	X-Proceedings = {yes},
	Year = {2001},
	X-Language = {EN},
}