[TUHS] Testing an RE recogniser exhaustively. (Was: A fuzzy awk)

Hellwig Geisse hellwig.geisse at mni.thm.de
Mon May 27 23:03:09 AEST 2024


Hi,

On Mon, 2024-05-27 at 10:39 +0100, Ralph Corderoy wrote:
> 
> Which reminded me of Doug's paper.
> 
>     Enumerating the strings of regular languages,
>     J. Functional Programming 14 (2004) 503-518
> 

Thanks for the pointer. That's a nice paper,
turned into an equally nice testing method.

Hellwig


More information about the TUHS mailing list