Karine Arnout

Learn More
Reliability is a key concern in the current state of software industry. Producing software without defects is still very difficult. Therefore it is crucial to benefit from high-level language mechanisms such as assertions. Nevertheless contracts are mostly a specificity of the Eiffel language. This observation convinced ISE to build a new product, the(More)
Using Design by Contract™ provides a low-cost solution to unit-testing, which is usually unaffordable — and not carried out — in the industry. If contracts — preconditions, postconditions, class invariants — are systematically associated with classes, they provide an invaluable source of information for producing systematic tests, directly based on the(More)
Goals of expressiveness and flexibility in typed object-oriented programming suggest a " covariant " type policy, where routine redefinitions can change the types of both arguments and results in the same direction as the inheritance hierarchy. Unfortunately, a careless covariant policy, when combined with polymorphism, genericity and dynamic binding —(More)