Sciweavers

6941 search results - page 18 / 1389
» Testing as a Certification Approach
Sort
View
ACSE
2000
ACM
13 years 12 months ago
Software testing in the computer science curriculum -- a holistic approach
Although testing accounts for 50% of the cost of software, it receives little treatment in most curricula. This paper presents some approaches to giving all students multiple, inc...
Edward L. Jones
STACS
2010
Springer
14 years 2 months ago
Construction Sequences and Certifying 3-Connectedness
Given two 3-connected graphs G and H, a construction sequence constructs G from H (e. g. from the K4) with three basic operations, called the Barnette-Grünbaum operations. These...
Jens M. Schmidt
CE
2007
96views more  CE 2007»
13 years 7 months ago
The ECDL programme in Italian Universities
The European Computer Driving Licence (ECDL) programme aims at testing practical skills and competencies in using ICT tools. This paper presents the results of a monitoring exerci...
Mariacarla Calzarossa, Paolo Ciancarini, Paolo Mar...
GECCO
2009
Springer
162views Optimization» more  GECCO 2009»
14 years 5 days ago
TestFul: using a hybrid evolutionary algorithm for testing stateful systems
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
Matteo Miraz, Pier Luca Lanzi, Luciano Baresi
ASWSD
2006
Springer
13 years 11 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...