Sciweavers

3424 search results - page 102 / 685
» Automated Testing of Classes
Sort
View
ADAEUROPE
1997
Springer
15 years 10 months ago
Systematic Unit-Testing of Ada Programs
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
Joachim Wegener, Ines Fey
SOQUA
2004
15 years 7 months ago
Towards A Practical Approach to Test Aspect-Oriented Software
: Aspect-Oriented Programming (AOP) provides new constructs and tools to handle cross-cutting concerns in programs. Fully realizing the potentials of riented Software Development r...
Yuewei Zhou, Hadar Ziv, Debra J. Richardson
FASE
2004
Springer
15 years 11 months ago
Consistent Adaptation and Evolution of Class Diagrams during Refinement
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
Alexander Egyed
COMPSAC
2003
IEEE
15 years 11 months ago
BINTEST - Binary Search-based Test Case Generation
One of the important tasks during software testing is the generation of test cases. Various approaches have been proposed to automate this task. The approaches available, however,...
Sami Beydeda, Volker Gruhn
ALP
1992
Springer
15 years 10 months ago
On the Relation Between Primitive Recursion, Schematization and Divergence
The paper presents a new schematization of in nite families of terms called the primal grammars, based on the notion of primitive recursive rewrite systems. This schematization is...
Miki Hermann