Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Participation: Tests and Proofs (TAP ...

view this post on Zulip Email Gateway (Aug 18 2022 at 19:31):

From: "Achim D. Brucker" <brucker@spamfence.net>
Apologies for duplicates.

========================================================================

CALL FOR PARTICIPATION

TESTS and PROOFS 2012 (TOOLS EUROPE 2012)
6th International Conference on Tests & Proofs
May 31 - June 1, 2012, Prague, Czech Republic
http://lifc.univ-fcomte.fr/tap2012/

Co-located with:
ICMT 2012, SC 2012, MSEPT 2012 as part of TOOLS 2012:
http://toolseurope2012.fit.cvut.cz/

========================================================================

The TAP conference is devoted to the convergence of
proofs and tests. It combines ideas from both sides for the
advancement of software quality.

Keynote Speakers
================

Registration:
=============
Early registration, at a reduced price, will be open
until 25 April 2012.
http://toolseurope2012.fit.cvut.cz/index.php/registration.html

Organization:
=============
Conference Chair
Bertrand Meyer, ETH Zurich, Eiffel Software, and ITMO

Program Chairs
Achim D. Brucker, SAP Research, Germany
Jacques Julliand, University of Franche-Comté

Local Organization
Pavel Tvrdik, CTU Prague
Michal Valenta, CTU Prague
Jindra Vojikova, CTU Prague
Jan Chrastina, CTU Prague

Program:
========

Thursday 31th May, 09:00-10:30: Invited Talk

* Andreas Kuehlmann, Coverity:
The Technology and Psychology of Testing Your Code as You Develop It

Thursday, 11:00-13:00: Paper session Model-Based Testing

* Malte Lochau, Ina Schaefer, Jochen Kamischke and Sascha Lity.
Incremental Model-based Testing of Delta-oriented Software Product Lines

* Hernan Ponce De Leon, Stefan Haar and Delphine Longuet.
Conformance Relations for Labeled Event Structures

* Joseph Kiniry, Daniel M. Zimmerman and Ralph Hyland.
Testing Library Specifications by Verifying Conformance Tests

* Chedor Sebastien, Thierry J?ron and Morvan Christophe.
Test generation from recursive tiles systems

Thursday, 14:30-15:30: Paper session Scenario and UML-Based Testing

* Nadia Creignou, Uwe Egly and Martina Seidl.
A Framework for the Specification of Random SAT and QSAT Formulas

* Jens Brüning, Martin Gogolla, Lars Hamann and Mirco Kuhlmann.
Evaluating and Debugging OCL Expressions in UML Models

* Uwe Egly, Sebastian Gabmeyer, Martina Seidl, Hans Tompits, ....
Towards Scenario-Based Testing of UML Diagrams

Thursday, 16:00-17:00: Tutorial

* Nikolay Kosmatov, Nicky Williams.
Automated Structural Testing with PathCrawler

Friday 1st June, 09:00-10:30: Invited Talk of SC

* Mehdi Jazayeri, University of Lugano.
Software Composition: Why, what, and how

Friday 11:00-13:00: Invited Talk of TAP

* Corina Pasareanu. NASA.
Combining Model Checking and Symbolic Execution for Software Testing

Friday, 14:30-15:30: Paper session Test and Model-checking

* Martin Sulzmann and Axel Zechner
Constructive Finite Trace Analysis with Linear Temporal Logic

* Alessandro Armando, Roberto Carbone, Giancarlo Pellegrino, Alessio Merlo
and Davide Balzarotti.
From Model-checking to Automated Testing of Security Protocols: Bridging
the Gap

Friday, 16:00-17:30: Paper session Test of Complex Data Structures

* Valerio Senni and Fabio Fioravanti.
Generation of test data structures using Constraint Logic Programming

* Valeria Bengolea, Nazareno Aguirre, Darko Marinov and Marcelo Frias.
Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites

* Matthieu Carlier, Catherine Dubois and Arnaud Gotlieb.
A first step in the design of a formally verified constraint-based testing
tool: FocalTest

Last updated: Apr 25 2024 at 01:08 UTC