Sciweavers

45 search results - page 1 / 9
» A Tool to Automatically Map Implementation-based Testing Tec...
Sort
View
IJSEKE
2006
122views more  IJSEKE 2006»
13 years 4 months ago
A Tool to Automatically Map Implementation-based Testing Techniques to Classes
hibiting the characteristics of abstraction, encapsulation, genericity, inheritance, polymorphism, concurrency and exception handling. To address the difficulty of testing the feat...
Peter J. Clarke, Junhua Ding, Djuradj Babich, Bria...
ICNP
1999
IEEE
13 years 9 months ago
Automated Protocol Implementations Based on Activity Threads
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
Peter Langendörfer, Hartmut König
CONTEXT
2007
Springer
13 years 10 months ago
CAMOU: A Simple Integrated eLearning and Planning Techniques Tool
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...
David Camacho, María Dolores Rodrígu...
GECCO
2007
Springer
174views Optimization» more  GECCO 2007»
13 years 10 months ago
Investigating data-flow coverage of classes using evolutionary algorithms
It is not unusual for a software development organization to expend 40 percent of total project effort on testing, which can be a very laborious and time-consuming process. Thus, ...
Konstantinos Liaskos, Marc Roper, Murray Wood
ISSRE
2000
IEEE
13 years 9 months ago
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
Sam K. S. Sze, Michael R. Lyu