default search action

combined dblp search
author search
venue search
publication search

ask others

10th MBT@ETAPS 2015: London, UK

> 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/PakulinPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PakulinPS15
Nikolay V. Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff:
Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. EPTCS 180, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/EspadaGSM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EspadaGSM15
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino:
Using Model Checking to Generate Test Cases for Android Applications. 7-21
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GerholdS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GerholdS15
Marcus Gerhold, Mariëlle Stoelinga:
Ioco Theory for Probabilistic Automata. 23-40
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Jorgensen15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Jorgensen15
Paul C. Jorgensen:
A Visual Formalism for Interacting Systems. 41-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LacknerS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LacknerS15
Hartmut Lackner, Martin Schmidt:
Potential Errors and Test Assessment in Software Product Line Engineering. 57-72
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KushikY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KushikY15
Natalia Kushik, Nina Yevtushenko:
Adaptive Homing is in P. 73-78

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.