Selftestable components: from pragmatic tests to a designfor-testability methodology, proc. of TOOLS- Europe'99. TOOLS, pp.96-107, 1999. ,
Software Trustability " , In proc, of the IEEE Symposium on Adaptive processes-Decision and Control, XVII, 1970. ,
A pplying``pplying`` design by contract, IEEE Computer, pp.40-51, 1992. ,
Train and C. Mingins. Design- Patterns and Contracts, 1999. ,
Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978. ,
DOI : 10.1109/C-M.1978.218136
An Experimental Evaluation of Data Flow and Mutation Testing, Software Practice and Experience, 1996. ,
DOI : 10.1002/(SICI)1097-024X(199602)26:2<165::AID-SPE5>3.0.CO;2-K
The revealing power of a test case, Software Testing, Verification and Reliability, pp.25-42, 1992. ,
DOI : 10.1002/stvr.4370020105
Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991. ,
DOI : 10.1109/32.92910
Investigations of the software testing coupling effect, Genetic Algorithms in Search, Optimization and Machine Learning, pp.3-18, 1989. ,
DOI : 10.1145/125489.125473
Robust algorithms for adaptation set in a general formal framework, 1970 IEEE Symposium on Adaptive Processes (9th) Decision and Control, pp.143-151, 1994. ,
DOI : 10.1109/SAP.1970.270009
Testing Object-Oriented Systems :Models, Patterns, and Tools, 1999. ,
Efficient Strategies for Integration and Regression Testing of OO Systems Boca raton (Florida Automatic structural testing using genetic algorithms, Programmers Love Writing Tests proc. of the 10th International Symposium on Software Reliability Engineering (ISSRE'99) Efficient OO Integration and Regression Testing IEEE Transactions on Reliability17] S. A. Wadekar, S. S. Gokhale, Exploring cost and reliability tradeoffs in architectural alternatives using a genetic algorithm proc. of the 10th International Symposium on Software Reliability Engineering (ISSRE'99), pp.37-50, 1999. ,