default search action

combined dblp search
author search
venue search
publication search

ask others

8th MBT@ETAPS 2013: Rome, Italy

> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-0379
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-0379
Alexander K. Petrenko, Holger Schlingloff:
Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. EPTCS 111, 2013
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-1006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-1006
Jan Peleska:
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. 3-28
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-1007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-1007
Jens Grabowski, Victor V. Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric:
Towards the Usage of MBT at ETSI. 30-34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-1008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-1008
Isabel Nunes, Filipe Luís:
Testing Java implementations of algebraic specifications. 35-50
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-1009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-1009
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse:
Decomposability in Input Output Conformance Testing. 51-66
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-1010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-1010
Mikhail M. Chupilko, Alexander S. Kamkin:
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces. 67-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-1011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-1011
Stephan Weißleder, Hartmut Lackner:
Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines. 82-94

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.