A project to develop, enhance, and deploy high performance methods and tools for quality assurance of large and distributed software-intensive systems.
Automated Test Generation using Model-Checking: An Industrial Evaluation (Nov 2014) Eduard Paul Enoiu, Adnan Causevic, Thomas Ostrand, Elaine Weyuker, Daniel Sundmark, Paul Pettersson International Journal on Software Tools for Technology Transfer (STTT)
Model Checking-Based Software Testing for Function Block Diagrams (Oct 2014) Eduard Paul Enoiu
Applications of Optimization Methods in Industrial Maintenance Scheduling and Software Testing (Oct 2014) Kivanc Doganay
Search-based testing for embedded telecom software with complex input structures (Sep 2014) Kivanc Doganay, Sigrid Eldh, Wasif Afzal, Markus Bohlin The 26th IFIP International Conference on Testing Software and Systems (ICTSS 2014)
Enablers and Impediments for Collaborative Research in Software Testing: An Empirical Exploration (Aug 2014) Eduard Paul Enoiu, Adnan Causevic International Workshop on Long-term Industrial Collaboration on Software Engineering (WISE)
Handling multiple mode switch scenarios in component-based multi-mode systems (Dec 2013) Hang Yin, Hans Hansson The 20th Asia-Pacific Software Engineering Conference (APSEC2013)
Partner | Type |
---|---|
Bombardier Transportation | Industrial |
CrossControl AB | Industrial |
Ericsson AB | Industrial |
SICS Swedish ICT - the Swedish institute of computer science | Industrial |