Citations: Model-based testing in practice - Dalal, Jain, Karunanithi, Leaton, Lott, Patton, Horowitz (ResearchIndex)

15 citations found. Retrieving documents...

S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, and B. M. Horowitz. Model-based testing in practice. Proc. Intl. Conf. on Software Engineering (ICSE '99), pages 285--294, 1999.

Home/Search Document Details and Download Summary Related Articles Check

This paper is cited in the following contexts:

A Case for Test-Code Generation in Model-Driven Systems - Rutherford, Wolf (2003) (3 citations) (Correct)

....objectives. Their emphasis is on performance testing, not on application functionality testing. Many of the generative techniques used in MODEST are similar, in particular the use of XML XSL to generate code, database schemata, deployment descriptors, and build files. 13 Dalal et al. [3, 4] present a model based approach to application functionality testing. In their studies, formal specifications of functional interfaces to various telecommunications systems were made available by a software development team. A combinatorial approach was used to generate a set of covering test data ....

S.R. Dalal, A. Jain, N. Karunanithi, J.M. Leaton, C. M. Lott, G.C. Patton, and B.M. Horowitz. Modelbased testing in practice. In Proceedings of the 1999.

Temporal Modeling of Software Test Coverage - Sedigh-Ali, Ghafoor, Paul (Correct)

....testing. Section 6 concludes our work and proposes future enhancements to the model. 2 Related Work Our coverage model is based on the coverage matrix introduced in [8] which represents entity level coverage with binary elements. Our model represents coverage with a real number in the range of [0 1], facilitating the accurate representation of fractional coverage. In quantifying coverage, we represent the effects of the test environment by using two different exponential functions to determine coverage values. These exponential functions were used in [7] to model productivity. We depict two ....

....and complete final coverage, In this case, the random process representing the coverage achieved by a given test on a given entity is determined solely by the probability distribution of the parameter . The simplest scenario occurs when is assumed to be uniformly distributed over [0,1]. In this case, the random process of test coverage can be represented by: ##################################### ############# ### 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 Rapid Model: a = 1 b = 1 and c = 0.3 0 5 10 15 20 0.5 0.55 0.6 0.65 0.7 0.75 0.8 0.85 0.9 0.95 1 ....

[Article contains additional citation context not shown here]

S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, and B. M. Horowitz. Model-based testing in practice. In Proc. of the 1999.

Software Product Lines: a Case Study - Ardis, Daley, Hoffman, Siy, Weiss (2000) (Correct)

....of tuples to test many interesting combinations of input values. Another approach to tuple testing generates tuples with variants of cartesian product that focus on boundary values [15] another uses ideas from experimental design to select subsets with all pairs (or all triples, etc. of values [16]. We use a safety invariant as a test oracle, similar to the wellknown technique of embedding assertions in the code under test [17] Voas describes other approaches to testing for safety properties [18] 3 Figure 2: FAST process of domain engineering 3 The FAST process The Family Oriented ....

S.R. Dalal et al. Model-based testing in practice. In Intl. Conf. Software Engineering, May 1999.

An Experience on Verification of Aspect Properties - Denaro, Monga (2001) (1 citation) (Correct)

....Austria Copyright 2001 ACM X XXXXX XX X XX XX . 5.00. nologies [6, 9] make it feasible to analyze specific system properties, which may survive to evolution, just focusing on aspect modules. Verification of properties of software systems is often performed with the following strategy [2, 1]: 1) A model is derived from software artifacts, e.g. specifications, source code, and documentation; 2) The model is exploited to infer the investigated properties or to generate related test cases. The former step is the critical phase for achieving a successful verification, even though the ....

S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, and B. M. Horowitz. Model-based testing in practice. In Proceedings of the 1999 International Conference on Software Engineering, pages 285--294. IEEE Computer Society Press / ACM Press, 1999.

Unit Operations for Automated Class Testing - Daley, Hoffman, Strooper (2000) (3 citations) (Correct)

....an input space with many interesting combinations of values. One approach to tuple testing generates tuples with variants of Cartesian product that focus on boundary values [20] Another approach uses ideas from experimental design to select subsets with all pairs (or all triples, etc. of values [10]. We use a safety invariant as a test oracle, similar to the well known technique of embedding assertions in the code under test [34] Overall, the literature contains few practical tools and techniques for automated component testing. The problems encountered in approaches (1) and (2) are ....

S.R. Dalal, A. Jain, N. Karunanithi, J.M. Leaton, C.M. Lott, G.C. Patton, and B.M. Horowitz. Model-based testing in practice. In Intl. Conf. Software Engineering, pages 285--294, May 1999.

Prioritized Interaction Testing for Pairwise Coverage with.. - Bryce, Colbourn (2006) (Correct)

No context found.

S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, and B. M. Horowitz. Model-based testing in practice. Proc. Intl. Conf. on Software Engineering (ICSE '99), pages 285--294, 1999.

Test Prioritization for Pairwise Interaction Coverage - Bryce, Colbourn (2005) (Correct)

No context found.

S.R. Dalal, A. Jain, N. Karunanithi, J.M. Leaton, C.M. Lott, G.C. Patton, B.M. Horowitz. Model-based testing in practice. Proc. Intl. Conf. on Software Engineering (ICSE '99), pages 285--294, May 1999.

Prioritized Interaction Testing for Pairwise Coverage with.. - Bryce, Colbourn (2006) (Correct)

A Deterministic Density Algorithm for Pairwise Interaction.. - Colbourn, Cohen, al. (2004) (3 citations) (Correct)

No context found.

S. R. Dalal, A. J. N. Karunanithi, J. M. L. Leaton, G. C. P. Patton, and B. M. Horowitz. Model-based testing in practice. In Proc. of the Intl. Conf. on Software Engineering,(ICSE '99), 1999, pp. 28594, New York.

Test Prioritization for Pairwise Interaction Coverage - Bryce, Colbourn (2005) (Correct)

A Deterministic Density Algorithm for Pairwise Interaction.. - Colbourn, Cohen, al. (2004) (3 citations) (Correct)

Test Prioritization for Pairwise Interaction Coverage - Bryce, Colbourn (2005) (Correct)

Generating Small Combinatorial Test Suites to Cover.. - Cheng, Dumitrescu.. (2004) (6 citations) (Correct)

No context found.

S.R. Dalal, A. Jain, N. Karunanithi, J.M. Leaton, C. Lott, G. C. Patton and B.M. Harowitz, Model-based testing in practice, Proceeding of the International Conference on Software Engineering (1999), 285--294.

A Case for Test-Code Generation in Model-Driven Systems - Rutherford, Wolf (2003) (3 citations) (Correct)

No context found.

S.R. Dalal, A. Jain, N. Karunanithi, J.M. Leaton, C. M. Lott, G.C. Patton, and B.M. Horowitz. Model-based testing in practice. In Proceedings of the 1999 International Conference on Software Engineering (ICSE '99), 1999.

Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback

CiteSeer.IST - Copyright Penn State and NEC