Abstract:Matthias Gulbins and Bernd Straube Using behavioural level test generation approaches a systematic way for design validation can be achieved. Our technique GESTE (GEneration of Symbolic Tests by Solving Equations) generates symbolic tests from an algorithmic description. The substitution of the symbols provides test patterns. Insufficient access to the internal variables leads to great test generation effort and long simulation sequences. These difficulties are overcome by exploiting the debug mode of a simula… Show more
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.