Grigore Rosu, Mahesh Viswanathan  Home/Search
Context Related
| uiuc.edu/~grosu/downloa...ererew.ps.gz 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: uiuc.edu/~grosu/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present lower bounds and rewriting algorithms for testing membership of a word in a regular language described by an extended regular expression. Motivated by intuitions from monitoring and testing, where the words to be tested (execution traces) are typically much longer than the size of the regular expressions (patterns or requirements), and by the fact that in many applications the traces are only available incrementally, on an event by event basis, our algorithms are ... (Update)
Similar documents based on text: More All
0.2: Verisim: Formal Analysis of Network Simulations - Bhargavan, Gunter, Kim, Lee, .. (2000) (Correct)
0.1: Building Searchable Collections of Enterprise Speech Data - Cooper, Viswanathan, al. (Correct)
0.1: Hidden Congruent Deduction - Rosu, Goguen (1998) (Correct)
BibTeX entry: (Update)
G. Rosu and M. Viswanathan. Testing extended regular language membership incrementally by rewriting. In Rewriting Techniques and Applications (RTA'03), Lecture Notes in Computer Science, to appear. Springer-Verlag, 2003. http://citeseer.ist.psu.edu/rosu03testing.html More
@misc{ rosu03testing,
author = "G. Rosu and M. Viswanathan",
title = "Testing extended regular language membership incrementally by rewriting",
text = "G. Rosu and M. Viswanathan. Testing extended regular language membership
incrementally by rewriting. In Rewriting Techniques and Applications (RTA'03),
Lecture Notes in Computer Science, to appear. Springer-Verlag, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/rosu03testing.html" }
Citations (may not include all citations):247 Confluent reductions: Abstract properties and applications t.. (context) - Huet - 1980
124 Journal of the ACM (context) - Chandra, Kozen et al. - 1981
94 Maude: specification and programming in rewriting logic - Clavel, Duran et al. - 1999
79 Specification-Based Test Oracles for Reactive Systems - Richardson, Aha et al. - 1992
61 Monitoring Java Programs with Java PathExplorer - Havelund, Rosu - 2001
58 Model Checking of Safety Properties - Kupferman, Vardi - 1999
52 The Temporal Rover and the ATG Rover - Drusinsky - 2000
47 Runtime Assurance Based on Formal Specifications - Lee, Kannan et al. - 1999
46 Synthesizing monitors for safety properties - Havelund, Rosu - 2002
36 Monitoring Programs using Rewriting - Havelund, Rosu - 2001
35 an and M. Y. Vardi. Freedom, Weakness, and Determinism: From.. (context) - Kupferm - 1998
22 Automata-Based Verification of Temporal Properties on Runnin.. - Giannakopoulou, Havelund - 2001
22 A four russians algorithm for regular expression pattern mat.. (context) - Myers - 1992
8 Rewriting extended regular expressions - Antimirov, Mosses - 1995
8 Partial derivatives of regular expressions and finite automa.. - Antimirov - 1996
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://gureni.cs.uiuc.edu/~grosu/publications.html): More
Rewriting-based Techniques for Runtime Verification - Rosu, Havelund (Correct)
Online Efficient Predictive Safety Analysis of Multithreaded.. - Sen, Rosu, Agha (2004) (Correct)
Towards Certifying Domain-Specific Properties of Synthesized Code - Rosu, Whittle (2002) (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