The following posters will be presented to ICST 2012.

Queuing model-based load testing of large enterprise applications
Leonid Grinshpan

Incremental Test Case Generation for UML-RT Models Using Symbolic Execution
Eric James Rapos and Juergen Dingel

Automatic derivation of test execution plans from a Video Conferencing System Product Line modelling
Shuai Wang, Arnaud Gotlieb, Marius Liaaen and Lionel Briand

Towards a Method for Reducing the Test Suites of Database Applications
Gregory Kapfhammer

Property-Driven Software Engineering Approach
Antinisca Di Marco, Francesca Lonetti and Guglielmo De Angelis