Alexander Pretschner  Home/Search
Context Related
| www4.in.tum.de/publ/pape...fates_01.pdf 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.in.tum.de/publ/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Test case generation for concurrent reactive systems on the grounds of symbolic execution basically amounts to searching their state space. As in the case of model checkers, di#erent search strategies (depth-first, breadth-first, best-first, tabu) together with di#erent strategies for storing visited states have a significant impact on the performance of the generation algorithm. We present experimental data for the performance of di#erent search strategies and discuss the results, taking... (Update)
Cited by: More
Model Based Testing for Real: The Inhouse Card Case Study - Pretschner, Slotosch.. (2001) (Correct)
Prototype-Based Tests for Hybrid Reactive Systems - Hahn, Philipps, Pretschner.. (Correct)
UML-CASTING: Test synthesis from UML models using constraint - Resolution Lionel Van (2003) (Correct)
Similar documents (at the sentence level):
59.4%: Classical search strategies for test case generation with.. - Pretschner (2001) (Correct)
Active bibliography (related documents): More All
1.7: Model Based Testing with Constraint Logic Programming.. - Pretschner, Lötzbeyer (2001) (Correct)
0.6: Model Based Testing in Evolutionary Software Development - Pretschner, Lötzbeyer.. (2001) (Correct)
0.4: Approaching a Discrete-Continuous UML: Tool Support and.. - Stauner, Pretschner.. (2001) (Correct)
Similar documents based on text: More All
0.4: Testing Concurrent Reactive Systems with Constraint.. - Lötzbeyer.. (2000) (Correct)
0.3: AutoFocus on Constraint Logic Programming - Lötzbeyer, Pretschner (2000) (Correct)
0.3: Heterogeneous Development of Hybrid Systems - Péter, Pretschner, Stauner (2000) (Correct)
Related documents from co-citation: More All
6: Model Based Testing in Evolutionary Software Development - Pretschner, otzbeyer et al. - 2001
4: Test Sequence Generation from Lustre Descriptions: GATEL (context) - Marre, Arnould - 2000
3: Software-- Concepts and Tools (context) - Tretmans, with et al. - 1996
BibTeX entry: (Update)
A. Pretschner. Classical search strategies for test case generation with Constraint Logic Programming, 2001. Submitted to FATES'01. http://citeseer.ist.psu.edu/pretschner01classical.html More
@misc{ pretschner01classical,
author = "A. Pretschner",
title = "Classical search strategies for test case generation with Constraint Logic
Programming",
text = "A. Pretschner. Classical search strategies for test case generation with
Constraint Logic Programming, 2001. Submitted to FATES'01.",
year = "2001",
url = "citeseer.ist.psu.edu/pretschner01classical.html" }
Citations (may not include all citations):815 Abstract Interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
240 Extreme Programming Explained: Embrace Change (context) - Beck - 1999
113 Constraint Logic Programming: A Survey (context) - Ja, Maher - 1994
94 A theory for the derivation of tests (context) - Brinksma - 1988
88 Model Checking in CLP - Delzanno, Podelski - 1999
86 Constraint-Based Automatic Test Data Generation (context) - DeMillo, utt - 1991
68 The Rational Unified Process - An Introduction (context) - Kruchten - 2000
50 Constraint Handling Rules - Fruhwirth - 1995
29 Logic programming and model checking - Cui, Dong et al. - 1998
26 Software--Concepts and Tools (context) - Tretmans, with et al. - 1996
26 Testing can be formal (context) - Gaudel - 1995
21 Consistent Graphical Specification of Distributed Systems - Huber, Schatz et al. - 1997
17 Constraint logic programming applied to model checking - Fribourg - 1999
14 Model Based Testing in Evolutionary Software Development - Pretschner, Lotzbeyer et al. - 2001
11 Automated symbolic analysis of reactive systems (context) - Bultan - 1998
11 An Approach to Symbolic Test Generation - Rusu, Bousquet et al. - 2000
11 Extreme modeling (context) - Boger, Baier et al. - 2000
10 Testing Concurrent Reactive Systems with Constraint Logic Pr.. (context) - Lotzbeyer, Pretschner - 2000
9 Developing Correct Safety Critical (context) - Pretschner, Slotosch et al. - 2000
9 Cleanroom Software Engineering (context) - Prowell, Trammell et al. - 1999
9 Using Constraint Logic Programming for Software Validation (context) - Ciarlini, Fruhwirth - 1999
9 Test Generation and Recognition with Formal Methods - Ammann, Black - 2000
9 Specification Based Test Sequence Generation with Propositio.. - Wimmel, Lotzbeyer et al. - 2000
8 Test Sequence Generation from Lustre Descriptions: GATEL (context) - Marre, Arnould - 2000
7 Model Based Testing with Constraint Logic Programming: First.. - Pretschner, Lotzbeyer - 2001
7 Modelling and verification using Linear Hybrid Automata - Muller, Stauner - 2000
6 Automates Concurrents a Contraintes (context) - Fribourg, Veloso-Peixoto - 1994
5 ATGen: Automatic Test Data Generation using Constraint Logic.. (context) - Meudec - 2000
5 Model Based Testing for Real: The Inhouse Card Case Study - Pretschner, Slotosch et al. - 2001
4 AutoFocus on Constraint Logic Programming - Lotzbeyer, Pretschner - 2000
3 a specification-based tool for testing synchronous software (context) - Bousquet, Zuanon et al. - 1999
2 A Constraint-based Approach to Specification and Verificatio.. (context) - Gupta, Pontelli - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www4.in.tum.de/publ/papers/): More
The Amsterdam Manifesto on OCL - Cook, Kleppe, Mitchell, Rumpe.. (1999) (Correct)
Structured Specifications and Implementation of.. - Walicki, Broy (1995) (Correct)
Modeling Dynamic Component Interfaces - Huber, Rausch, Rumpe (1998) (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