Testing Extended Regular Language Membership Incrementally by Rewriting

Grigore Rosu, Mahesh Viswanathan. Testing Extended Regular Language Membership Incrementally by Rewriting. In Robert Nieuwenhuis, editor, Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings. Volume 2706 of Lecture Notes in Computer Science, pages 499-514, Springer, 2003. [doi]

@inproceedings{RouV03,
  title = {Testing Extended Regular Language Membership Incrementally by Rewriting},
  author = {Grigore Rosu and Mahesh Viswanathan},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2706/27060499.htm},
  tags = {testing, graph-rewriting, rewriting, incremental},
  researchr = {https://researchr.org/publication/RouV03},
  cites = {0},
  citedby = {0},
  pages = {499-514},
  booktitle = {Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  editor = {Robert Nieuwenhuis},
  volume = {2706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40254-3},
}