D-MINT Project

2009

Andres Kull, Model-based testing of reactive systems, QA&TEST 2009, Bilbao, Spain 20-23.10.2009, Link

Andrus Lehtmets, Model based TTCN-3 testing explained on a case study, Tutorial, TTCN-3 User Conference, Bangalore / India, 17-19.11.2009, Link

Andres Kull, End-to-End Testing Automation in TTCN-3 environment using Conformiq Qtronic™ and Elvior MessageMagic™, TTCN-3 User Conference, Bangalore, India, 17-19.11.2009, Link

Andres Kull, Model based testing of reactive systems, PhD thesis, Tallinn University of Technology, Tallinn, Estonia, 15-Dec-09, Link

Indrek Ruiso, ELIKO Competence Centre, Event: Dependable Electronics from Estonia, London / UK, 21.05.2009

Jens Herrmann, Deployment of Model-Based Technologies to Industrial Testing - the D-MINT project, 7th SafeTRANS Industrial Day, Friedrichshafen Germany, 19.11.09, Link

Robert Eschbach, Risikobasiertes statistisches Testen sicherheitskritischer eingebetteter Systeme, 7th SafeTRANS Industrial Day, Friedrichshafen Germany, 19.11.09, Link

A. Vouffo, Model-driven Functional Test Engineering for Service Centric Systems, Workshop on Visual formalisms for patterns, Oregon / USA, 24.09.2009, Link

A. Hoffmann, A. Rennoch, I. Schieferdecker, N. Radziwill, A Generic Approach for Modeling Test Case Priorities with Applications for Test Development and Execution, Workshop on Model-based Testing (MoTes 2009), Lübeck / Germany, 29.09.2009, Link

G. Din, K. Engel, A. Rennoch, Architekturbasierte Testentwicklung für eingebettete Systeme, Online Journal OBJEKTspektrum, Issue Testing / October 2009, SIGS Datacom, Link

A. Vouffo, I. Schieferdecker, A Pattern Language of Test Modelling for Reactive Software Systems, European conference on patterns (EuroPLoP2009), Link

J. Zander, I. Schieferdecker, Model-based Testing of Embedded Systems Exemplified for the Automotive Domain, Book chapter, Hershey, PA 17033, USA, In: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, Editors: Gomes, L., Fernandes, J. M, Idea Group Inc (IGI), July 2010, Link

Ch. Buckl, A. Knoll, I. Schieferdecker, J. Zander. Model-Based Analysis and Development of Dependable Systems, book chapter in: Model-Based Engineering of Embedded Real-Time Systems, LNCS State of the Art-Surveys for the MBEERTS Dagstuhl Seminar, 2010

F. Zimmermann, R. Eschbach, J. Kloos, T. Bauer. Risikobasiertes statistisches Testen (German article) Workshop paper 28. TAV-Treffen, Dortmund, Germany, 2009, Link

B. Stanca-Kaposta, Executable Test-Models, from UML Test Profile to Test report, Presentation Fachgruppe Software-Test Berlin-Brandenburg ASQF e.V., Potsdam, Germany, 9 Mar 2009, Link

F. Abbors, T. Pääjärvi, R. Teittinen, D. Truscan, J. Lilius, A Semantic Transformation from UML Models to Input for the Qtronic Test Design Tool, Technical report, Turku, Finland, 1.April 2009, TUCS Technical Reports Series, Turku Center for Computer Science, Turku, Finland, 2009, Link

J. Zander-Nowicka, Quality assurance of automotive hybrid embedded software Conference, 5th IFIP Summer School & 2nd ACM/IEEE ICSE Workshop, ISBN: 978-1-60558-565-9, New York ACM, 2009 Cape Town, SouthAfrica, ISBN: 978-1-60558-565-9, ACM, New York, 1 - 3 April 2009, Link

M. Hahn, Presentation of D-MINT; D-MINT flyer Presentation 6. Paderborner Workshops "Entwurf mechatronischer Systeme", Paderborn, Germany, 2-3 April.2009, Link

A. Huima,Model-based Automated Test Design with Conformiq Qtronic, 5th Workshop on Advances in Model Based Testing (A-MOST 2009) at the 2nd International Conference on Software Testing, Verfication, and Validation (ICST'09) Denver, Colorado, USA, April 2009, Link

Alain Vouffo Model-driven Functional Test Engineering for Service Centric Systems, 5th International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities and Workshops (TridentCom09), Washington DC, USA, ICST conference proceedings, 6-8April 2009, Link

Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Thomas Bauer, Risk-based Statistical Testing: A refinement-based approach to the reliability analysis of safety-critical systems, 2th European Workshop on Dependable Computing Toulouse, France, 14-15 May 2009, Link

Theofanis Vassilou-Gioles, Testautomatisierung mit TTCN-3 am Beispiel des UML Testprofils, Software & Systems Quality Conference (SQC), Düsseldorf, Germany, 27-29 May 2009, Link

Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan and Johan Lilius, Using System Models vs. Test Models in Model-Based Testing, Proceedings of "Opiskelijoiden minikonferenssi" at "Tietotekninen tuki ohjelmoinnin opetuksessa", Turku, Finland, 1 Jun 2009

J. Kloos, .R. Eschbach, Generating System Models for a Highly Configurable Train Control System Using A Domain-Specific Language: A Case Study, Workshop paper,5th Workshop on Advances in Model Based Testing (A-MOST 2009) at the 2nd International Conference on Software Testing, Verfication, and Validation (ICST'09), Denver, Colorado, USA, 2009, Link

Thomas Deiss, Jens Grabowski, Gyorgy Rethy, Ina Schieferdecker, The new TTCN-3 version 4.1.1, TTCN-3 Users Conference 2009, Sophia Antipolis, France, 4-5 June 2009, Link

Andrus Lehtmets, Andres Kull, Kullo Raiend, Model based TTCN-3 testing - experiences from industrial case Studies, TTCN-3 Users Conference 2009, Sophia Antipolis, France, 4-5 June 2009, Link

Jens Lüdemann, Automatic ASAM MCD-3 supported Model based Testing, Technology Forum at the Automotive Testing Expo 2009, Stuttgart, Germany, 17 Jun 2009

Andes Kull, Kullo Raiend, Jüri Vain, Marko Kääramees, Case Study Based Performance Evaluation of Reactive Planning Tester, 2nd Workshop on Model-based Testing in Practice (MoTiP 2009), Enschede, The Netherlands, CTIT Workshop Proceedings Series WP09-05, 23 Jun 2009, Link

Thomas Bauer, Robert Eschbach, Martin Größl, Tanvir Hussain, Detlef Streitferdt and Florian Kantz, Combining Combinatorial and Model-based Test Approaches for Highly Configurable Safety-critical Systems, 2nd Workshop on Model-based Testing in Practice (MoTiP 2009), Enschede, The Netherlands, 23 June 2009, Link

George Din, Klaus-Dietrich Engel, An Approach for Test Derivation from System Architecture Models applied to Embedded Systems, , 2nd Workshop on Model-based Testing in Practice (MoTiP 2009), Enschede, The Netherlands, 23 June 2009, Link

Abbors Fredrik, Pääjärvi Tuomas, Teittinen Risto, Truscan Dragos and Lilius Johan. Transformational Support for Model-Based Testing – from UML to QML, , 2nd Workshop on Model-based Testing in Practice (MoTiP 2009), Enschede, The Netherlands, 23 June 2009, Link

Andes Kull, Kullo Raiend, Jüri Vain, Marko Kääramees, Case Study Based Performance Evaluation of Reactive Planning Tester, , 2nd Workshop on Model-based Testing in Practice (MoTiP 2009), Enschede, The Netherlands, 23 June 2009, Link

Florian Kantz, Thomas Ruschival, Philipp Nenninger, Detlef Streitferdt, Testing with Large Parameter Sets for the Development of Embedded Systems in the Automation Domain, 2nd International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2009) at the 33rd Annual IEEE International Computers, Software and Applications Conference, Seattle, USA, 20-24 July 2009, Link

Thomas Ruschival, Philipp Nenninger, Florian Kantz, Detlef Streitferdt Test Case Mutation in Hybrid State Space for Reduction of No-Fault-Found Test Results in the Industrial Automation Domain, 2nd International Workshop on Industrial Experience in Embedded Systems Design (IEESD 2009) at the 33rd Annual IEEE International Computers, Software and Applications Conference, Seattle, USA, 20-24 July 2009, Link

Fredrik Abbors, Dragos Truscan and Johan Lilius, Tracing Requirements in A Model-Based Testing Approach, 1^st International Conference on Advances in System Testing and Validation Lifecycle (VALID 2009), Porto, Portugal, 20-25 Sep 2009, Link

Qaisar Malik, Lihan Lilius and Linas Laibinis, Scenario-based Test Case Generation Using Event-B Models, 1^st International Conference on Advances in System Testing and Validation Lifecycle (VALID 2009), Porto, Portugal, 20-25 Sep 2009, Link

Fredrik Abbors, An approach for tracing functional requirements in model-based testing, Master's thesis, Åbo Akademi, Finland, 1 July 2009

Johan Abbors, Increasing the quality of UML models used for automatic test generation, Master's thesis, Åbo Akademi, Finland, 1 July 2009

Tuomas Pääjärvi, Generating input for a test design tool from UML design models, Master's thesis, Åbo Akademi, Finland, 1 July 2009

Justyna Zander-Nowicka, Model-based Testing of Embedded Systems in the Automotive Domain, Dissertation, Technical University of Berlin, Fraunhofer IRB, ISBN: 978-3-8167-7974-2, 15 Jan 2009

Jüri Vain, On-line testing of non-deterministic systems, Lecture course, Doctoral course ’Advanced topics in Embedded Systems’. Lyngby, Denmark, 22-23 May 2009, Link

Jens Lüdemann, Eckard Bringmann, Andreas Krämer, Automotive Testing Expo exhibition, Automotive Testing Expo 20009, Stuttgart, Germany, 16.-18 June 2009

Oscar Lázaro D-MINT Project: Methodological Use Cases, Metromeet 2009 - International Conference on Industrial Dimensional Metrology, Bilbao, Spain, 26-27 March 2009

Oscar Lázaro D-MINT Project, Technarte 2009 - International Conference on Art & Technology, Bilbao, Spain, 23-23-24 April 2009

Oscar Lázaro D-MINT Project, Presentation at Innovalia Group Winter Internal Meeting, Limpias, Spain, 24 April 2009

2008

T. Bauer, F. Böhr, R. Eschbach, On MiL, HiL, Statistical Testing, Reuse, and Efforts, 1st Workshop on Model-based Testing in Practice - MoTiP 2008, Berlin, Germany, 12-Jun-08, Fraunhofer IRB, http://motip08.iese.fraunhofer.de/

F. Kantz, D. Streitferdt, P. Nenninger, Generic Interface for Model-Based Testing in the Industrial Automation Domain, 1st Workshop on Model-based Testing in Practice - MoTiP 2008, Berlin, Germany, 12-Jun-08, Fraunhofer IRB, http://motip08.iese.fraunhofer.de/

K.-D. Engel, A. Rennoch, I. Schieferdecker, Architecture-driven Test Development, 1st Workshop on Model-based Testing in Practice - MoTiP 2008, Berlin, Germany, 12-Jun-08, Fraunhofer IRB, http://motip08.iese.fraunhofer.de/

O.-P.Puolitaival, M. Luo, T. Kanstren, On the Properties and Selection of Model-Based Testing tool and Technique, 1st Workshop on Model-based Testing in Practice - MoTiP 2008, Berlin, Germany, 12-Jun-08, Fraunhofer IRB, http://motip08.iese.fraunhofer.de/

A. Vouffo Feudjio, A Unified Approach to Test Modelling, 1st Workshop on Model-based Testing in Practice - MoTiP 2008, Berlin, Germany, 12-Jun-08, Fraunhofer IRB, http://motip08.iese.fraunhofer.de/

S. Wieczorek, A. Stefanescu, J. Großmann, Enabling Model-Based Testing for SOA Integration, 1st Workshop on Model-based Testing in Practice - MoTiP 2008, Berlin, Germany, 12-Jun-08, Fraunhofer IRB, http://motip08.iese.fraunhofer.de/

D. Streitferdt, P. Nenninger, C. Bilich, F. Kantz, T. Bauer, R. Eschbach, Model-based Testing in the Automation Domain, Safety Enabled, 1st Workshop on Model-based Testing in Practice - MoTiP 2008, Berlin, Germany, 12-Jun-08, Fraunhofer IRB, http://motip08.iese.fraunhofer.de/

A. Zabala, J. Hernández, J. Dominguez, A. Mendia, Future usage of Model Based Testing methodologies in the Machine-Tool environment, 1st Workshop on Model-based Testing in Practice - MoTiP 2008, Berlin, Germany, 12-Jun-08, Fraunhofer IRB, http://motip08.iese.fraunhofer.de/

M. Karla, D. Truscan, J. Lilius, I. Porres, T. Eriksson, M. Hurskainen, A Testing Framework for NOTA-based Devices, 1st Workshop on Model-based Testing in Practice - MoTiP 2008, Berlin, Germany, 12-Jun-08, Fraunhofer IRB, http://motip08.iese.fraunhofer.de/

T. Vassiliou-Gioles, Model-based testing with U2TP and TTCN-3, 4th European Conference on Model Driven Architecture Fondations and Applications (ECMDA 2008), Berlin, Germany, 9-Jun-2008, dpunkt, http://www.fokus.fraunhofer.de/en/fokus_events/motion/ecmda2008/index.htm

T. Räty, M. Luo, J. Oikarinen and M. Nieminen, Testing and Validation of a Multi-sensor Distributed Surveillance System, 7th International Caribbean Conference on Devices, Circuits and Systems - ICCDCS, 2008, Cancun, Mexico, 28-Apr-2008, IEEE, http://iccdcs.eecs.ucf.edu/ICCDCS2008/index.htm

X. Liu, D.Truscan and J. Lilius, Online Testing of the ˚ABOT Game Server Using the Qtronic Tool, Internal workshop, Turku, Finland, 15-Feb-2008, Turku Center for Computer Science, Turku, Finland, http://www.tucs.fi/publications/insight.php?id=tLiTrLi08a

E. Bringmann, A. Krämer, Model-Based Testing of Automotive Systems, First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, 9-Apr-2008, IEEE Computer Society, http://doi.ieeecomputersociety.org/10.1109/ICST.2008.45

S. Lachmann, A. Krämer, Systematischer Test des kontinuierlichen Verhaltens automobiler Softwaresysteme, 3. Tagung: Simulation und Test für die Automobilelektronik, Berlin, Germany, 26-May-2008, ,

T. Deiß, Trends in TTCN-3: Language and Usage, Software & Systems Quality Conference, Düsseldorf, Germany, 16-Apr-2008, n/a, http://www.sqs-conferences.com/de/2008/program_08.htm

A. Huima, Tutorial on Model-Based Testing, TESTCOM/FATES 2008, Tokyo/Japan, 1-Jun-2008

A. Huima, Lecture on Model-Based Testing, Testaus 2008, a Finnish seminar on software testing,

Espoo/Finland, 1-May-2008, Tieturi Oy, Finland

D. Streitferdt, P. Nenninger, Requirements on Testing in the Development of Embedded Automation Systems, Automation2008, Baden-Baden, Poster Session, Baden-Baden, Germany, 3-Jun-2008, VDI, http://www.automatisierungskongress.de/index.php?id=365

J. Kamga, D-MINT: Deployment of Model-Based Technologies to Industrial Testing, Symposium on Quality of Embedded Systems, Berlin, Germany, 6/13/2008, Fraunhofer IRB, http://www.fokus.fraunhofer.de/en/fokus_events/motion/ecmda2008/program/detailed_program/friday/index.html

J. Zander-Nowicka, Model-Based Testing of Real-Time Embedded Systems for Automotive Domain, Symposium on Quality of Embedded Systems, Berlin, Germany, 13.06.2008, Fraunhofer IRB, http://www.fokus.fraunhofer.de/en/fokus_events/motion/ecmda2008/program/detailed_program/friday/index.html

I. Schieferdecker, Testing Embedded systems, TAROT summer school, Bath, UK, 25. Jun 08, Brunel University, http://tarot.brunel.ac.uk/program.aspx

C. Hein, T. Ritter, M. Wagner, Model-Driven Tool Integration Framework - ModelBus, 4th European Conference on Model Driven Architecture Fondations and Applications (ECMDA 2008), Berlin, Germany, 11. Jun 08, ECMDA, http://www.fokus.fraunhofer.de/en/fokus_events/motion/ecmda2008/index.html

A. Hoffmann, I. Schieferdecker, Modellgestütztes Testen komplexer Systeme, 5tes GI/ASQF/IRC, Schloß-Steinhöfel-Seminar, „Zukunft gestalten“, Steinhöfel, Germany, 10-Apr-2008., GI/ASQF, http://www.asqf.de/index.php?id=1171

2007

D. Streitferdt, P. Nenninger, Quality Assurance Challenges in the Industrial Automation Domain, 10th International Conference on, Postdam, Germany, September 27, 2007, Quality Engineering in Software Technology - CONQUEST 2007

S. Estela, J. Gonz�lez, D-Mint - Deployment of Model-Based Technologies to Industrial Testing, QA&TEST 2007, Bilbao, Spain, October 17-19,2007

J. Zander-Nowicka, Reactive Testing and Test Control of Hybrid Embedded Software, 5th Workshop on System Testing and Validation STV07, in conjunction with ICSSEA 2007, Paris, France, December 1, 2007

D. Vega, I. Schieferdecker, G. Din, Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3, Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007

B. Zeiß, D. Vega, I. Schieferdecker, H. Neukirchen, J. Grabowski, Applying the ISO 9126 quality model to test specifications� - exemplified for TTCN-3 test specifications, SE 2007 the Conference on Software Engineering, Hamburg, Germany, March 27-30, 2007

J. Zander-Nowicka, A. Marrero Pérez, I. Schieferdecker, From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval - a Concept for Testing of Software Dedicated for Hybrid Embedded� Systems, The 2007 World Congress in Computer Science, Computer Engineering, & Applied Computing; The 2007 International Conference on Software Engineering Research and Practice, Las Vegas, USA, June 2007

J. Zander-Nowicka, A. Marrero Pérez, I. Schieferdecker, Z. R. Dai, Test Design Patterns for Embedded Systems, 10th International Conference on Quality Engineering in Software Technology, CONQUEST 2007, Potsdam, Germany, September 2007

J. Großmann , I. Schieferdecker, Testing Embedded Control Systems with TTCN-3, Enhancing TTCN-3 with Concepts for Continuous Streams, STTT Special Issue on TTCN-3 Evolution, , June 29, 2007

I. Schieferdecker, Modellbasiertes Testen, OBJEKTspektrum, Heft 03/2007, SIGS-DATACOM, , June 29, 2007

I. Schieferdecker , J. Gro�mann� , Testing Embedded Control Systems with TTCN-3, An Overview on TTCN-3 Continuous, 5th IFIP Workshop on Software Technologies for Future Embedded and Ubiquituous Systems, Santorini, Greece,, April 2007

I. Schieferdecker, New concepts in TTCN-3 v3, Software Quality Conference, SQC 2007, Düsseldorf, Germany, , April 1, 2007

I. Schieferdecker, Integrierte Systementwicklung und Test – Modelle als Grundlage effizienter Qualitätssicherung, MID Insight�07, November 2007

I. Schieferdecker, A test model quality framework, Model-Based Engineering of Embedded Real-Time Systems, Dagstuhl-Seminar 07451, Dagstuhl, Germany , November 1, 2007

I. Schieferdecker, Test und� Analyse sicherheitsgerichteter Systeme, Deutscher Kongress, Stuttgart, Germany, October 23, 2007

I. Schieferdecker, Test Specifications as a Basis for common Test Requirements between OEM and Vendor, Systematic Testing Conference, D�sseldorf, Germany, October 22, 2007

I. Schieferdecker, The TTCN-3 Certificate, 4th TTCN-3 User Conference, Stockholm, Sweden, May 31, 2007

I. Schieferdecker, Integrated Modelling and Testing, V-Modell XT Tour, Berlin, Germany, March 15, 2007

I. Schieferdecker, Test Generation as Model Transformation, TAROT Summer School, Jun-07

I. Schieferdecker, Model-Based Testing, ASQF Seminar, Erlangen, Germany, May 23, 2007

J. Grabowski, H. Neukirchen, I. Schieferdecker, D. Vega, B. Zeiss, An ISO 9126-based Quality Model to Assess the Quality of TTCN-3 Test Specifications, 4th TTCN-3 User Conference, Stockholm, Sweden, May 31, 2007

J. Zander-Nowicka , Model Based Testing of Embedded Real-Time Systems, University of California in San Diego (U.S.A.), Computer Science and Engineering Department, Service-Oriented Software� & Systems Engineering Laboratory, San Diego, USA, September 2007

A. Vouffo-Feudjio, I. Schieferdecker, Pattern-based development of TTCN-3 test suites, 4th TTCN-3 User Conference, Stockholm, Sweden, May 31, 2007

R. Eschbach, Sequence Based Specification and Statistical Testing, Siemens TS Software Initiative Workshop, Braunschweig, Germany, May 24, 2007

C. Robinson-Mallett, Model-based Testing, Siemens TS Software Initiative, Braunschweig , Germany, May 24, 2007

C. Robinson-Mallett, R.-M. Hierons, J. H. Poore, P. Liggesmeyer, Using Communication Coverage Criteria and Partial Model Generation to assist Software Integration Testing , Software Quality Journal, Vol.16, 2008

T. Bauer, T. Beletski, F. Böhr, R. Eschbach, D. Landmann, J. H. Poore, From Requirements to automated statistical testing, 4th International ICSE workshop on Software Engineering for Automotive Systems, SEAS 2007, Minneapolis, USA, May 26, 2007

T. Bauer, Model-based statistical testing of technical software systems, Systematic Testing Conference, D�sseldorf, Germany, October 22, 2007

C. Robinson-Mallett, R.-M. Hierons, J. H. Poore, T. Bauer, Using partial models to support the testing of distributed systems, The 11th IASTED International Conference on, Cambridge-MA, USA, November 19-21, 2007,

Thomas Deiß, Model-based testing at Nokia Siemens Networks, Seminar at University of G�ttingen, G�ttingen, Germany, December 7, 2007

Publications