The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
This paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C. TESTTUBEfirst identifies w...
Abstract—This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary...
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...