Search Sciweavers | Sciweavers

758 search results - page 14 / 152

» Pattern-Constrained Test Case Generation

click to vote

SE
2008

118views Software Engineering» more SE 2008»

Using UML Environment Models for Test Case Generation

14 years 11 months ago

Download www.fb9dv.uni-duisburg.de

We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to il...

Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk...

claim paper

Read More »

click to vote

SIGSOFT
2007
ACM

213views Software Engineering» more SIGSOFT 2007»

Improving test case generation for web applications using automated interface discovery

15 years 10 months ago

Download www.cc.gatech.edu

With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...

William G. J. Halfond, Alessandro Orso

claim paper

Read More »

click to vote

ICSEA
2007
IEEE

110views Software Engineering» more ICSEA 2007»

Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers

15 years 3 months ago

Download www.ist.tugraz.at

Abstract—Nondeterminism is used as a means of underspeciﬁcation or implementation choice in speciﬁcations, and it is often necessary if part of a system or the environment is...

Gordon Fraser, Franz Wotawa

claim paper

Read More »

click to vote

ISSRE
2008
IEEE

96views Software Engineering» more ISSRE 2008»

RUGRAT: Runtime Test Case Generation Using Dynamic Compilers

15 years 3 months ago

Download www.cs.umd.edu

Ben Breech, Lori L. Pollock, John Cavazos

claim paper

Read More »