ATAC - Advanced Test Automation for Complex Software-Intensive System (ITEA2/Vinnova)
|
|
Leader:
|
Daniel Sundmark
|
|
Members:
|
Paul Pettersson, Daniel Sundmark, Sigrid Eldh, Markus Bohlin, Eduard Paul Enoiu, Kivanc Doganay |
| Research group: | Software Testing Laboratory |
|
Keywords:
|
software testing, test automation, model-based testing, search based testing, industrial use cases, empirical evaluation
|
|
Status:
|
active
, start date: 2011-09-30
, End date: 2014-09-29
|
|
Partners:
|
Bombardier, CrossControl, Ericsson, MDH, SiCS, and parterns from other European contries, i.e., Finland, Belgium, and Lithuania.
|
|
Funding:
|
Vinnova (ITEA2)
|
|
Web:
|
Project web page
|
|
|
| |
Overview
A project to develop, enhance, and deploy high performance methods and tools for quality assurance of large and distributed software-intensive systems.
|
| |
Latest project publications
[ Show all publications ]
| | A Design Tool for Service-oriented Systems, Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu, Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), p Volume 295, Pages 95, Elsevier, Electronic Notes in Theoretical Computer Science (ENCTS), Estonia, Editor(s):Barbora Buhnova, Lucia Happe and Jan Kofron, May, 2013 |
| | MOS: An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams, Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson, 35th International Conference on Software Engineering (ICSE) - First International Workshop on Combining Modelling and Search-Based Software Engineering, IEEE , San Francisco, May, 2013 |
| | Model-based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker, Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson, International Conference on Software Testing, Verification and Validation (ICST) - Advances in Model Based Testing (A-MOST 2012), IEEE , Luxembourg, April, 2013 |
|
|
|
|
