Publication at TAP 2013

Another TRUFAL paper has been accepted for publication:

Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele: “Incremental Refinement Checking for Test Case Generation”. In Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013), Budapest, Hungary, 18.-19.06.2013, LNCS 7942, pages 1-19, Springer, 2013 [PDF]

The paper will be presented at the 7th International Conference on Tests and Proofs (TAP 2013), which will be held in Budapest, Hungary from June, 18th/19th 2013.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s