Poster Sessions

Model-Based Testing of Smart Cities platforms - Lessons learned on FIWARE Generic Enabler testing
Ahmad Abbas, Easy Global Market

Verification and Certification in Safety Certification of Software-Intensive Systems with Reusable Components
Anna Maria Fernandez, Universidad Politécnica de Madrid

Jsongen: testing JSON web services using QuickCheck
Lars-Åke Fredlund, Campus de Montegancedo

Symbolic “White Box” Model-Based Testing
Alexander Letychevskyi, Glushkov Institute of Cybernetics

A TTCN-3 testing framework for OCCI-controlled Cloud ecosystems - Towards standardized Cloud Quality Assessment
Yongzheng Liang, bwcon gmbH

Keyword Driven Testing: Why and How to Get There
Gunnar Lorentzen, Amadeus

Combining Model-Based Monitoring and Continuous Integration
Pekka Tuuttila, Nokia