Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009
URL:	http://dx.doi.org/10.1007/978-3-642-02949-3
DBLP:	db/conf/tap/tap2009.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 12  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Martin Gogolla, Mirco Kuhlmann, Lars Hamann. Consistency, Independence and Consequences in UML and OCL Models.	Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009	(0)	2009
	Conference paper Gordon Fraser, Franz Wotawa. Complementary Criteria for Testing Temporal Logic Properties.	Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009	(0)	2009
	Conference paper Philippe Ayrault, Thérèse Hardin, François Pessaux. Development of a Generic Voter under FoCal.	Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009	(0)	2009
	Conference paper Christoph Gladisch. Could We Have Chosen a Better Loop Invariant or Method Contract?.	Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009	(0)	2009
	Conference paper Boutheina Chetali. Security Testing and Formal Methods for High Levels Certification of Smart Cards.	Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009	(0)	2009
	Conference paper Andrea Calvagna, Angelo Gargantini. Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing.	Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009	(0)	2009
	Conference paper Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte. Dynamic Symbolic Execution for Testing Distributed Objects.	Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009	(0)	2009
	Conference paper Stefan Ratschan, Jan-Georg Smaus. Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate.	Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009	(0)	2009
	Conference paper Paula Herber, Florian Friedemann, Sabine Glesner. Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.	Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009	(0)	2009
	Conference paper Aditya V. Nori, Sriram K. Rajamani. Verification, Testing and Statistics.	Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 2009	(0)	2009

Show item 1 to 10 of 12  

Your query returned 12 matches in the database.