Tests and Proofs, 2015 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings Programming and Software Engineering Series
Coordonnateurs : Blanchette Jasmin Christian, Kosmatov Nikolai
Date de parution : 07-2015
Ouvrage de 209 p.
15.5x23.5 cm
Thèmes de Tests and Proofs :
Mots-clés :
Class diagrams; Constraint programming; Deductive verification; Dynamic analysis; Empirical software validation; Event structures; Formal methods; Formal software verification; Formal specification; Imperative program; Logic and verification; Model animation; Model checking; Model consistency; Model-based testing; Sequence diagrams; Software testing and debugging; Software verification; State transition systems; UML activity diagrams