2576 search results - page 105 / 516 » A case study in test management |
195
click to vote
PTS
1998
15 years 7 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
163
click to vote
INFSOF
2000
15 years 6 months ago
2000
Cleanroom usage-based statistical testing techniques have been incorporated into the software development process for a program in the Electronic Systems business of Raytheon Comp...
177
click to vote
SAFECOMP
2007
Springer
16 years 15 days ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
175
click to vote
TOOLS
2010
IEEE
15 years 11 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
156
click to vote
SPLC
2008
15 years 7 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...