default search action

combined dblp search
author search
venue search
publication search

ask others

9th MBT@ETAPS 2014: Grenoble, France

> 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/SchlingloffP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SchlingloffP14
Holger Schlingloff, Alexander K. Petrenko:
Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. EPTCS 141, 2014
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MeerKH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MeerKH14
Arjan P. van der Meer, Rachid Kherrazi, Marc Hamilton:
Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques. 1-13
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ColomboMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ColomboMS14
Christian Colombo, Mark Micallef, Mark Scerri:
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing. 14-28
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CastillosDJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CastillosDJ14
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand:
Coverage Criteria for Model-Based Testing using Property Patterns. 29-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeoharM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeoharM14
Harsh Beohar, Mohammad Reza Mousavi:
Spinal Test Suites for Software Product Lines. 44-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SimaoP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SimaoP14
Adenilso da Silva Simão, Alexandre Petrenko:
Generating Complete and Finite Test Suite for ioco: Is It Possible? 56-70

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.