Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Natalia Kushik, Nina Yevtushenko 0001 |
Adaptive Homing is in P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015., pp. 73-78, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino 0001 |
Using Model Checking to Generate Test Cases for Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015., pp. 7-21, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Lackner, Martin Schmidt |
Potential Errors and Test Assessment in Software Product Line Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015., pp. 57-72, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Jorgensen |
A Visual Formalism for Interacting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015., pp. 41-55, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay V. Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff (eds.) |
Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Gerhold, Mariëlle Stoelinga |
Ioco Theory for Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015., pp. 23-40, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adenilso da Silva Simão, Alexandre Petrenko |
Generating Complete and Finite Test Suite for ioco: Is It Possible? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014., pp. 56-70, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand |
Coverage Criteria for Model-Based Testing using Property Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014., pp. 29-43, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Mark Micallef, Mark Scerri |
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014., pp. 14-28, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014., pp. 1-13, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Harsh Beohar, Mohammad Reza Mousavi 0001 |
Spinal Test Suites for Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014., pp. 44-55, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Holger Schlingloff, Alexander K. Petrenko (eds.) |
Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Neda Noroozi, Mohammad Reza Mousavi 0001, Tim A. C. Willemse |
Decomposability in Input Output Conformance Testing ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013., pp. 51-66, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Weißleder, Hartmut Lackner |
Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013., pp. 82-94, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail M. Chupilko, Alexander S. Kamkin |
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013., pp. 67-81, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Nunes, Filipe Luís |
Testing Java implementations of algebraic specifications ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013., pp. 35-50, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander K. Petrenko, Holger Schlingloff (eds.) |
Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jens Grabowski, Victor V. Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric |
Towards the Usage of MBT at ETSI ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013., pp. 30-34, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Peleska 0001 |
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013., pp. 3-28, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga |
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012., pp. 73-87, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Elisabeth Jöbstl |
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012., pp. 88-102, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ina Schieferdecker, Juergen Grossmann, Martin A. Schneider |
Model-Based Security Testing ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012., pp. 1-12, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yevgeny Gerlits, Alexey V. Khoroshilov |
Model-Based Testing of Safety Critical Real-Time Control Logic Software ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012., pp. 130-144, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Danel Ahman, Marko Kääramees |
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012., pp. 115-129, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dimitry Polivaev |
Rule-based Test Generation with Mind Maps ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012., pp. 103-114, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alexander K. Petrenko, Holger Schlingloff (eds.) |
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Teemu Kanstrén, Olli-Pekka Puolitaival |
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012., pp. 58-72, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan Olaf Blech, Dongyue Mou, Daniel Ratiu |
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012., pp. 13-27, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maximiliano Cristiá, Claudia S. Frydman |
Applying SMT Solvers to the Test Template Framework ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012., pp. 28-42, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Richter, Christian Berg |
Exact Gap Computation for Code Coverage Metrics in ISO-C ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012., pp. 43-57, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anders Hessel, Paul Pettersson |
A Global Algorithm for Model-Based Test Suite Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007, pp. 47-59, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Fraser 0001, Bernhard K. Aichernig, Franz Wotawa |
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007, pp. 33-46, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Dadeau, Yves Ledru, Lydie du Bousquet |
Measuring a Java Test Suite Coverage Using JML Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007, pp. 21-32, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007, pp. 1, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Franco Raimondi, Charles Pecheur, Guillaume Brat |
Testing Planning Domains (without Model Checkers). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007, pp. 113-125, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal |
Towards the Integration of Visual and Formal Models for GUI Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007, pp. 99-111, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Maik Kollmann, Yuen Man Hon |
Generating Scenarios by Multi-Object Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007, pp. 61-72, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Ouimet, Kristina Lundqvist |
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007, pp. 85-97, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti |
A Case Study in Matching Test and Proof Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007, pp. 73-84, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sergiy Boroday, Alexandre Petrenko, Roland Groz |
Can a Model Checker Generate Tests for Non-Deterministic Systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007, pp. 3-19, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko (eds.) |
Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Bernhard K. Aichernig, Chris George |
When Model-based Testing Fails. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, pp. 115-128, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Aguiar da Silva, Patrícia D. L. Machado |
Towards Test Purpose Generation from CTL Properties for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, pp. 29-40, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Antti Kervinen, Mika Maunumaa, Mika Katara |
Controlling Testing Using Three-Tier Model Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, pp. 53-66, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Robert Nilsson, Jeff Offutt, Jonas Mellin |
Test Case Generation for Mutation-based Testing of Timeliness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, pp. 97-114, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | N. C. W. M. Braspenning, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
A Model-based Integration and Testing Method to Reduce System Development Effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, pp. 13-28, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Constantinos Djouvas, Nancy D. Griffeth, Nancy A. Lynch |
Testing Self-Similar Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, pp. 67-82, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin |
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, pp. 83-96, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, pp. 1, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Conrad, Alexander Krupp |
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, pp. 3-11, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok |
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, pp. 41-52, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko (eds.) |
Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Yuri Gurevich, Alexander K. Petrenko (eds.) |
Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Keith Stobie |
Model Based Testing in Practice at Microsoft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, pp. 5-12, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Antti Kervinen, Pablo Virolainen |
Heuristics for Faster Error Detection With Automated Black Box Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, pp. 53-71, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Conrad, Ines Fey, Sadegh Sadeghipour |
Systematic Model-Based Testing of Embedded Automotive Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, pp. 13-26, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, pp. 1-3, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Victor V. Kuliamin |
Multi-paradigm Models as Source for Automated Test Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, pp. 137-160, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Marre, Benjamin Blanc |
Test Selection Strategies for Lustre Descriptions in GATeL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, pp. 93-111, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Manoranjan Satpathy, Michael Leuschel, Michael J. Butler |
ProTest: An Automatic Test Environment for B Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, pp. 113-136, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Seung Mo Cho, Jae Wook Lee |
Lightweight Specification-based Testing of Memory Cards: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, pp. 73-91, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Scollo, Silvia Zecchini |
Architectural Unit Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, pp. 27-52, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Gerhard Groß, Ina Schieferdecker, George Din |
Model-Based Built-In Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, pp. 161-182, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|