TAICPART 2006 | Sciweavers

9

TAICPART
2006
IEEE

134views Education» more TAICPART 2006»

Integration Testing of Components Guided by Incremental State Machine Learning

13 years 10 months ago

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

claim paper

Read More »

11

click to vote

TAICPART
2006
IEEE

144views Education» more TAICPART 2006»

Testing the Implementation of Business Rules Using Intensional Database Tests

13 years 10 months ago

Download www.cs.man.ac.uk

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

claim paper

Read More »

12

click to vote

TAICPART
2006
IEEE

91views Education» more TAICPART 2006»

Identifying State Transitions and their Functions in Source Code

13 years 10 months ago

Download www2006.taicpart.org

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe

claim paper

Read More »

10

click to vote

TAICPART
2006
IEEE

96views Education» more TAICPART 2006»

Incremental Inference of Black-Box Components to Support Integration Testing

13 years 10 months ago

Download membres-liglab.imag.fr

Muzammil Shahbaz

claim paper

Read More »

9

click to vote

TAICPART
2006
IEEE

131views Education» more TAICPART 2006»

Bogor: A Flexible Framework for Creating Software Model Checkers

13 years 10 months ago

Download model-checking.courses.projects.cis.ksu.edu

Model checking has proven to be an effective technology for veriﬁcation and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...

Robby, Matthew B. Dwyer, John Hatcliff

claim paper

Read More »

16

click to vote

TAICPART
2006
IEEE

97views Education» more TAICPART 2006»

Extending Software Integration Testing Using Aspects in Symbian OS

13 years 10 months ago

Download www2006.taicpart.org

Jani Pesonen

claim paper

Read More »

10

click to vote

TAICPART
2006
IEEE

86views Education» more TAICPART 2006»

Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach

13 years 10 months ago

Download www2006.taicpart.org

Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula ...

claim paper

Read More »

12

click to vote

TAICPART
2006
IEEE

93views Education» more TAICPART 2006»

Improving Testing Efficiency using Cumulative Test Analysis

13 years 10 months ago

Download www2006.taicpart.org

Ian Holden, Dave Dalton

claim paper

Read More »

6

click to vote

TAICPART
2006
IEEE

98views Education» more TAICPART 2006»

On the Testing Maturity of Software Producing Organizations

13 years 10 months ago

Download cs.gmu.edu

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

claim paper

Read More »

17

click to vote

TAICPART
2006
IEEE

124views Education» more TAICPART 2006»

Delayed Failures in Software Using High Volume Automated Testing

13 years 10 months ago