S.J. Galler, B. Peischl, and F. Wotawa (Austria)
case study, real world application, automatic test genera tion, design-by-contract, software testing, software tools
This work presents results on applying recent advances in automatic test generation for Java programs based on Design-by-ContractTM specifications on two real world ap plications. It therefore extends an existing tool with both, already well-known approaches and the first time ever with a SMT solver. The results show that those fancy techniques do not matter since the most important challenge in this area is still generating test data that conform to their speci fication - at least as soon as it comes to real world applica tions.
Important Links:
Go Back
