Minna Kangasluoma  Home/Search
Context
Related
| nixu.fi/thesis.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nixu.fi/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contents 1 Introduction 1 1.1 The scope and organization of this thesis . . . . . . . . . . 3 2 On test generation 5 2.1 Test purpose . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.1.1 Action-driven test generation . . . . . . . . . . . . 7 2.1.2 Data-driven test generation . . . . . . . . . . . . . 10 2.1.3 Logic-driven test generation . . . . . . . . . . . . . 11 2.1.4 Event-driven test generation . . . . . . . . . . . . . 11 2.1.5 State-driven test generation . . . . . . . . . . .... (Update)
Active bibliography (related documents): More All
0.5: Automatic Test Generation for EFSM-based Systems - Bourhfir, Dssouli, Aboulhamid (Correct)
0.5: Increasing the Effectiveness of Automated Testing - Shaun Smith And (2001) (Correct)
0.3: Message Sequence Charts In The Software Engineering Process - Mauw, Reniers, Willemse (2001) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: An Architecture for Authorization and Delegation in Distributed.. - Nikander (1999) (Correct)
0.2: Korat Automatic Test Case Generation from Java Predicates - Boyapati, Khurshid, Marinov (2002) (Correct)
0.2: Security in the Jini Networking Technology: A Decentralized Trust .. - Eronen (2001) (Correct)
BibTeX entry: (Update)
@misc{ kangasluoma-test,
author = "Minna Kangasluoma",
title = "Test case generation from UML state charts",
url = "citeseer.ist.psu.edu/453497.html" }
Citations (may not include all citations):237 Software Testing Techniques (context) - Beizer - 1990
92 Monographs in Computer Science (context) - Abadi, Cartelli et al. - 1996
71 Analyzing regression test selection techniques - Rothermel, Harrold - 1996
61 Software unit test coverage and adequacy (context) - Zhu, Hall et al. - 1997
59 The Unied Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1999
52 Analyzing partition testing strategies (context) - Weyuker, Jeng - 1991
35 Automatically generating test data from a boolean specicatio.. (context) - Weyuker, Goradia et al. - 1994
25 Testing object-oriented systems (context) - Binder - 2000
19 Theoretical comparison of testing methods (context) - Hamlet - 1989
11 The theory and practice of functional testing (context) - Howden - 1985
5 Generating tests from UML speci- cations (context) - utt, Abdurazik - 1999
4 Automating specication-based software testing (context) - Poston - 1996
3 Test case generation with test purpose specication by MSCs (context) - Grabowski, Hogrefe et al. - 1993
2 SDL and MSC based test case generation - an overall view of .. - Grabowski - 1994
2 Automated Software Testing (context) - Dustin, Rashka et al. - 1999
1 Shipped with TogetherJ (context) - API, with - 2000
1 docguidere ectionindex (context) - API, java et al. - 1999
1 International Thompson Computer Press (context) - Kaner, Falk et al. - 1993
1 Object constraint language specication version (context) - language, http et al. - 1997
Documents on the same site (http://www.nixu.fi/publications.html): More
Storing and Retrieving Internet Certificates - Nikander, Viljanen (1998) (Correct)
Adding SPKI Certificates to JDK 1.2 - Partanen, Nikander (1998) (Correct)
An Architecture for Authorization and Delegation in Distributed.. - Nikander (1999) (Correct)
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