Margus Veanes, Luca Viganò
Proceedings of the Seventh International Conference on Tests and Proofs
TAP, 2013.

@proceedings{TAP-2013,
	address       = "Budapest, Hungary",
	doi           = "10.1007/978-3-642-38916-0",
	editor        = "Margus Veanes and Luca Viganò",
	isbn          = "978-3-642-38915-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Conference on Tests and Proofs}",
	volume        = 7942,
	year          = 2013,
}

Contents (13 items)

5 ×#testing
3 ×#generative
2 ×#debugging
2 ×#execution
2 ×#metric
2 ×#modelling
2 ×#source code
2 ×#verification

TAP-2013-AichernigJK #generative #incremental #refinement #testing

Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.

TAP-2013-AichernigLN #automaton #modelling #mutation testing #testing

Time for Mutants — Model-Based Mutation Testing with Timed Automata (BKA, FL, DN), pp. 20–38.

TAP-2013-ArthoBS #modelling #testing #verification

Model-Based Testing for Verification Back-Ends (CA, AB, MS), pp. 39–55.

TAP-2013-BeckertB0 #metric #testing #verification

A Metric for Testing Program Verification Systems (BB, TB, MW), pp. 56–75.

TAP-2013-BruckerFNW #case study #generative

Test Program Generation for a Microprocessor — A Case-Study (ADB, AF, YN, BW), pp. 76–95.

TAP-2013-CaballeroMRT #debugging #declarative #erlang #source code

A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.

TAP-2013-GogollaBC #analysis #benchmark #metric #ocl #tool support #uml

Initiating a Benchmark for UML and OCL Analysis Tools (MG, FB, JC), pp. 115–132.

TAP-2013-InsaSR #algorithm #debugging #execution #using

Speeding Up Algorithmic Debugging Using Balanced Execution Trees (DI, JS, AR), pp. 133–151.

TAP-2013-JamrozikFTH #execution #generative #symbolic computation #testing

Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.

TAP-2013-KosmatovPS #proving #source code #tutorial

A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper (NK, VP, JS), pp. 168–177.

TAP-2013-OudinetCB #evaluation

Evaluation of ASLan Mutation Operators (JO, AC, MB), pp. 178–196.

TAP-2013-PotzlH #constraints

Solving Constraints for Generational Search (DP, AH), pp. 197–213.

TAP-2013-StokkinkTS

Divergent Quiescent Transition Systems (WGJS, MT, MS), pp. 214–231.