Guido Wimmel, Heiko Loetzbeyer, Alexander Pretschner, Oscar Slotosch  Home/Search
Context Related
| www4.informatik.tumuenc...stvr00.ps.gz www4.informatik.tumue...WLPS00_STVR.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: www4.informatik.tu...publications (more) Homepages: H.Loetzbeyer |
Rate this article:      (best)Comment on this article |
Abstract: In the domain of concurrent reactive systems, much work has been devoted to (semi-)automatically validating a system's correctness. A novel approach to the automated generation of test sequences is presented. It may be used for both glass box testing a specification and black box testing an implementation (SW/HW). Finite system models specified within the CASE tool AutoFocus as well as user-friendly test case specifications are automatically translated into propositional logic and fed into the... (Update)
Context of citations to this paper: More
.... checking Java programs [9] using heuristic methods for test selection [14] using bounded model checking in test sequence generation [18], and using coverage criteria in test generation for white box testing [15] We assume that the sending and receiving testing events from the...
Cited by: More
Model Based Testing for Real: The Inhouse Card Case Study - Pretschner, Slotosch.. (2001) (Correct)
Formally Testing Fail-Safety of Electronic Purse Protocols.. - Jürjens, Wimmel (2001) (Correct)
Model Based Testing with Constraint Logic Programming.. - Pretschner, Lötzbeyer (2001) (Correct)
Similar documents (at the sentence level):
13.3%: Testing Concurrent Reactive Systems with Constraint.. - Lötzbeyer.. (2000) (Correct)
9.1%: Developing Correct Safety Critical, Hybrid, Embedded Systems - Pretschner, Slotosch.. (2000) (Correct)
5.6%: AutoFocus on Constraint Logic Programming - Lötzbeyer, Pretschner (2000) (Correct)
Active bibliography (related documents): More All
0.8: Test-Case Calculation through Abstraction - Aichernig (2001) (Correct)
0.7: Specification-Based Testing of Firewalls - Jürjens, Wimmel (2001) (Correct)
0.5: Classical search strategies for test case generation with.. - Pretschner (2001) (Correct)
Similar documents based on text: More All
0.6: Specification-based Test Generation for Security-Critical.. - Wimmel, Jürjens (Correct)
0.4: Extended Description Techniques For Security Engineering - Wimmel, Wisspeintner (2001) (Correct)
0.4: Formally Testing Fail-Safety of Electronic Purse Protocols - Jürgens, Wimmel (2001) (Correct)
Related documents from co-citation: More All
6: Model Based Testing in Evolutionary Software Development - Pretschner, otzbeyer et al. - 2001
4: Cleanroom Software Engineering (context) - Prowell, Trammell et al. - 1999
4: Software-- Concepts and Tools (context) - Tretmans, with et al. - 1996
BibTeX entry: (Update)
G. Wimmel, H. Lotzbeyer, A. Pretschner, and O. Slotosch. Specification Based Test Sequence Generation with Propositional Logic. J. Software Testing, Validation, and Reliability, 10(4):229--248, 2000. http://citeseer.ist.psu.edu/wimmel00specification.html More
@article{ wimmel00specification,
author = "Guido Wimmel and Heiko Loetzbeyer and Alexander Pretschner and Oscar Slotosch",
title = "Specification based test sequence generation with propositional logic",
journal = "Software Testing, Verification \& Reliability",
volume = "10",
number = "4",
pages = "229-248",
year = "2000",
url = "citeseer.ist.psu.edu/wimmel00specification.html" }
Citations (may not include all citations):434 An automata-theoretic approach to automatic program vericati.. (context) - Vardi, Wolter - 1986
244 Symbolic Model Checking without BDDs - Biere, Cimatti et al. - 1999
166 Message Sequence Charts (context) - Recommendation - 1999
94 A theory for the derivation of tests (context) - Brinksma - 1988
54 SATO: An ecient propositional prover (context) - Zhang - 1997
34 automatic verication of linear temporal logic (context) - Gerth, Peled et al. - 1995
28 Formal methods for test sequence generation (context) - Ural - 1992
27 Springer International Journal of Software Tools for Technol.. (context) - Larsen, Pettersson et al. - 1997
26 Testing can be formal (context) - Gaudel - 1995
10 Testing Concurrent Reactive Systems with Constraint Logic Pr.. (context) - otzbeyer, Pretschner - 2000
10 Hybrid Sequence Charts - Grosu, Kr et al. - 2000
9 Using Constraint Logic Programming for Software Validation (context) - Ciarlini, Fr - 1999
9 The quest for correct systems: Model checking of diagrams an.. - Philipps, Slotosch - 1999
8 Tool supported specication and simulation of distributed sys.. (context) - Huber, Molterer et al. - 1998
6 AutoFocus on Constraint Logic Programming (context) - otzbeyer, Pretschner - 2000
6 Concepts and Tools (context) - Tretmans, with et al. - 1996
6 Quest: Overview over the Project (context) - Slotosch - 1998
5 Test Case Generation and Test Case Specication with Message .. (context) - Grabowski - 1994
4 Trac Lights - An AutoFocus Case Study (context) - Huber, Molterer et al. - 1998
4 Criteria for generating specication-based tests (context) - utt, Xiong et al. - 1999
4 Abstracting Formal Specications to Generate Software Tests v.. (context) - Ammann, Black - 1999
3 Generating test data from SOFL specications (context) - utt, Liu - 1999
3 Test strategies on the basis of extended nite state machines (context) - Sadeghipour, Singh - 1998
2 Computer Architecture and Logic Design (context) - Bartee - 1991
2 Specication Based Determination of Test Sequences in Embedde.. (context) - Wimmel - 2000
2 Distributed Systems Design with Message Sequence Charts (context) - Kr - 2000
2 Test case design based on Z and the Classication-Tree Method (context) - Singh, Conrad et al. - 1996
2 Classication trees for partition testing (context) - Grochtmann, Grimm - 1993
1 Assessing the Quality of Specication-based Testing (context) - Allen, Woodward - 1996
1 uchi Automata for Ecient ModelChecking of Concurrent Systems (context) - Peled, Penczek - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www4.informatik.tu-muenchen.de/~pretschn/private/publications.html): More
Ontology-Based Web Site Mapping for Information.. - Zhu, Gauch, Gerhard.. (1999) (Correct)
TasteCurry User's Manual - Hanus, Antoy, Koj, Pretschner.. (Correct)
Ontology Based Personalized Search - Pretschner (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