364 search results - page 14 / 73 » A UML-integrated Test Description Language for Component Tes... |
ACMSE
2006
ACM
15 years 4 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
104
Voted
OOPSLA
2001
Springer
15 years 3 months ago
2001
Springer
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
101
Voted
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
75
Voted
ISOLA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...