Search Sciweavers | Sciweavers

12

TAICPART
2006
IEEE

134views Education» more TAICPART 2006»

Integration Testing of Components Guided by Incremental State Machine Learning

14 years 7 days 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 »

10

click to vote

TAICPART
2006
IEEE

98views Education» more TAICPART 2006»

On the Testing Maturity of Software Producing Organizations

14 years 7 days 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 »

13

click to vote

TAICPART
2006
IEEE

131views Education» more TAICPART 2006»

Bogor: A Flexible Framework for Creating Software Model Checkers

14 years 7 days 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 »

14

click to vote

TAICPART
2006
IEEE

144views Education» more TAICPART 2006»

Testing the Implementation of Business Rules Using Intensional Database Tests

14 years 7 days 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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers