Publications

(Please remember that a newer version of BeepBeep (version 3) is still actively maintained. Refer to the BeepBeep 3 web site for more up-to-date information.)

A paper in the March 2010 issue of the magazine IEEE Computer describes the testing and monitoring of web applications. The second half presents BeepBeep in layman's terms:

A more technical paper on BeepBeep was published in an IEEE journal in 2012:

A paper on BeepBeep was presented at the 21st Computer Aided Verification (CAV) conference in June 2009 in Grenoble, France:

The algorithm used by BeepBeep was developed and published by Sylvain Hallé and Roger Villemaire in the following paper:

See also other publications by Sylvain Hallé.

Main menu

SourceForge.net Logo