Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena  Home/Search
Context
Related
| it.uu.se/research/rep...2003039nc.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: i2.informatik.rwthaachen.d...lit (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Among other domains, learning finite-state machines is important for obtaining a model of a system under development, so that powerful formal methods such as model checking can be applied. (Update)
Active bibliography (related documents): More All
2.0: Insights to Angluin's Learning - Berg, Jonsson, Leucker, Saksena (2003) (Correct)
0.3: Domain-Specific Optimization in Automata Learning - Hungar, Niese, Steffen (2003) (Correct)
0.3: Rewriting Logic as a Framework for Building Generic Tools for.. - Leucker (1998) (Correct)
Similar documents based on text: More All
0.3: Regular MSC Languages - Bollig, Leucker, Noll (2001) (Correct)
0.3: Local Parallel Model Checking for the Alternation Free.. - Bollig, Leucker, Weber (2001) (Correct)
0.2: Truth - A Real-World Application in Haskell - Leucker, Noll (2000) (Correct)
BibTeX entry: (Update)
@misc{ berg-insights,
author = "Therese Berg and Bengt Jonsson and Martin Leucker and Mayank Saksena",
title = "Insights to Angluin's Learning",
url = "citeseer.ist.psu.edu/article/berg03insights.html" }
Citations (may not include all citations):297 STATEMATE: A working environment for the development of comp.. - Harel, Lachover et al. - 1990
270 Bandera : Extracting finite-state models from java source co.. - Corbett, Dwyer et al. - 2000
40 An experiment in automatic generation of test suites for pro.. - Fernandez, Jard et al. - 1997
33 Software Tools for Technology Transfer (context) - Larsen, Pettersson et al. - 1997
18 Logic verification of ANSI-C code with SPIN - Holzmann - 2000
17 Adaptive model checking - Groce, Peled et al. - 2002
9 Queries revisited (context) - Angluin - 2001
4 Test generation with autolink and testcomposer - Schmitt, Ebner et al. - 2000
3 Model generation by moderated regular extrapolation - Hagerer, Hungar et al. - 2002
3 American Mathematical Society (context) - Gregoire, Holzmann et al. - 1997
3 Learning regaular sets from queries and counterexamples (context) - Angluin - 1987
2 Domain-specific optimization in automata learning - Hungar, Niese et al. - 2003
Documents on the same site (http://www-i2.informatik.rwth-aachen.de/leucker/Literatur/lit.html): More
Implementation of an Efficient Parallel BDD Package - Stornetta (1995) (Correct)
Composing the user interface with Haggis - Finne, Jones (1996) (Correct)
Model Checking and Other Games - Stirling (1996) (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