The following posters will be presented to ICST 2012.
Queuing model-based load testing of large enterprise applications
Incremental Test Case Generation for UML-RT Models Using Symbolic Execution
Automatic derivation of test execution plans from a Video Conferencing System Product Line modelling
Towards a Method for Reducing the Test Suites of Database Applications
Property-Driven Software Engineering Approach