Sciweavers

TAICPART
2006
IEEE
134views Education» more  TAICPART 2006»
14 years 5 months ago
Integration Testing of Components Guided by Incremental State Machine Learning
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
Keqin Li 0002, Roland Groz, Muzammil Shahbaz
TAICPART
2006
IEEE
144views Education» more  TAICPART 2006»
14 years 5 months ago
Testing the Implementation of Business Rules Using Intensional Database Tests
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
David Willmor, Suzanne M. Embury
TAICPART
2006
IEEE
14 years 5 months ago
Identifying State Transitions and their Functions in Source Code
Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
14 years 5 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
TAICPART
2006
IEEE
14 years 5 months ago
Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach
Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula ...
TAICPART
2006
IEEE
14 years 5 months ago
On the Testing Maturity of Software Producing Organizations
This paper presents data from a study of the current state of practice of software testing. Test managers from twelve different software organizations were interviewed. The interv...
Mats Grindal, Jeff Offutt, Jonas Mellin