Achim D. Brucker, Jacques Julliand
Proceedings of the Sixth International Conference on Tests and Proofs
TAP, 2012.

@proceedings{TAP-2012,
	address       = "Prague, Czech Republic",
	doi           = "10.1007/978-3-642-30473-6",
	editor        = "Achim D. Brucker and Jacques Julliand",
	isbn          = "978-3-642-30472-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Conference on Tests and Proofs}",
	volume        = 7305,
	year          = 2012,
}

Contents (16 items)

12 ×#testing
2 ×#automation
2 ×#consistency
2 ×#constraints
2 ×#generative
2 ×#model checking
2 ×#modelling
2 ×#specification
2 ×#uml
2 ×#using

TAP-2012-Kuehlmann #testing

The Technology and Psychology of Testing Your Code as You Develop It (AK), p. 1.

TAP-2012-Pasareanu #execution #model checking #symbolic computation #testing

Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.

TAP-2012-ArmandoPCMB #automation #model checking #protocol #security #testing

From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap (AA, GP, RC, AM, DB), pp. 3–18.

TAP-2012-BengoleaAMF #bound #test coverage #testing #using

Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites (VSB, NA, DM, MFF), pp. 19–34.

TAP-2012-CarlierDG #constraints #design #testing

A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest (MC, CD, AG), pp. 35–50.

TAP-2012-KiniryZH #consistency #library #specification #testing #verification

Testing Library Specifications by Verifying Conformance Tests (JRK, DMZ, RH), pp. 51–66.

TAP-2012-LochauSKL #incremental #modelling #product line #testing

Incremental Model-Based Testing of Delta-Oriented Software Product Lines (ML, IS, JK, SL), pp. 67–82.

TAP-2012-LeonHL #consistency

Conformance Relations for Labeled Event Structures (HPdL, SH, DL), pp. 83–98.

TAP-2012-ChedorJM #generative #recursion #testing

Test Generation from Recursive Tiles Systems (SC, TJ, CM), pp. 99–114.

TAP-2012-SenniF #constraints #data type #generative #logic programming #testing #using

Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.

TAP-2012-SulzmannZ #analysis #finite #linear #logic

Constructive Finite Trace Analysis with Linear Temporal Logic (MS, AZ), pp. 132–148.

TAP-2012-BroschEGKSTWW #diagrams #testing #towards #uml

Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.

TAP-2012-BruningGHK #debugging #modelling #ocl #uml

Evaluating and Debugging OCL Expressions in UML Models (JB, MG, LH, MK), pp. 156–162.

TAP-2012-CreignouES #framework #random #satisfiability #specification

A Framework for the Specification of Random SAT and QSAT Formulas (NC, UE, MS), pp. 163–168.

TAP-2012-KosmatovWBRC #testing

A Lesson on Structural Testing with PathCrawler-online.com (NK, NW, BB, MR, OC), pp. 169–175.

TAP-2012-KosmatovW #automation #testing #tutorial

Tutorial on Automated Structural Testing with PathCrawler — (NK, NW), p. 176.