@article{andrews03,
author="J. Andrews",
title={{General Test Result Checking with Log File Analysis}},
journal="IEEE Transactions on Software Engineering",
volume=29,
number=7,
year=2003,
month="July"}

@book{meyer92,
author="B. Meyer",
title="Eiffel: The Language",
publisher="Prentice Hall",
year=1992}

@article{rosenblum95,
author="D. Rosenblum",
title={{A Practical Approach to Programming With Assertions}},
journal="IEEE Transactions on Software Engineering",
volume=21,
number=1,
year=1995,
month="January"}

@book{pol+02,
author="M. Pol and R. Teunissen and E. van Veenendaal",
title={{Software Testing : a Guide to the TMap Approach}},
publisher="Addison-Wesley", 
year=2002}

@book{ghjv95, 
author="E. Gamma and R. Helm and R. Johnson and J. Vlissides",
title={{Design Patterns: Elements of Reusable Object-Oriented Software}},
year=1995,
publisher="Addison-Wesley"}