| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Natalia Kushik, Nina Yevtushenko 0001 |
Adaptive Homing is in P.  |
MBT  |
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. |
MBT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Lackner, Martin Schmidt |
Potential Errors and Test Assessment in Software Product Line Engineering. |
MBT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Jorgensen |
A Visual Formalism for Interacting Systems. |
MBT |
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. |
MBT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Gerhold, Mariëlle Stoelinga |
Ioco Theory for Probabilistic Automata. |
MBT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adenilso da Silva Simão, Alexandre Petrenko |
Generating Complete and Finite Test Suite for ioco: Is It Possible? |
MBT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand |
Coverage Criteria for Model-Based Testing using Property Patterns. |
MBT |
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. |
MBT |
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. |
MBT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Harsh Beohar, Mohammad Reza Mousavi 0001 |
Spinal Test Suites for Software Product Lines. |
MBT |
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. |
MBT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Neda Noroozi, Mohammad Reza Mousavi 0001, Tim A. C. Willemse |
Decomposability in Input Output Conformance Testing |
MBT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Weißleder, Hartmut Lackner |
Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines |
MBT |
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 |
MBT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Nunes, Filipe Luís |
Testing Java implementations of algebraic specifications |
MBT |
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. |
MBT |
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 |
MBT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Peleska 0001 |
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges |
MBT |
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 |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Elisabeth Jöbstl |
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ina Schieferdecker, Juergen Grossmann, Martin A. Schneider |
Model-Based Security Testing |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgeny Gerlits, Alexey V. Khoroshilov |
Model-Based Testing of Safety Critical Real-Time Control Logic Software |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Danel Ahman, Marko Kääramees |
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitry Polivaev |
Rule-based Test Generation with Mind Maps |
MBT |
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. |
MBT |
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 |
MBT |
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 |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximiliano Cristiá, Claudia S. Frydman |
Applying SMT Solvers to the Test Template Framework |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Richter, Christian Berg |
Exact Gap Computation for Code Coverage Metrics in ISO-C |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Hessel, Paul Pettersson |
A Global Algorithm for Model-Based Test Suite Generation. |
MBT |
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. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Dadeau, Yves Ledru, Lydie du Bousquet |
Measuring a Java Test Suite Coverage Using JML Specifications. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Raimondi, Charles Pecheur, Guillaume Brat |
Testing Planning Domains (without Model Checkers). |
MBT |
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. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Kollmann, Yuen Man Hon |
Generating Scenarios by Multi-Object Checking. |
MBT |
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. |
MBT |
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. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Boroday, Alexandre Petrenko, Roland Groz |
Can a Model Checker Generate Tests for Non-Deterministic Systems? |
MBT |
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 |
MBT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Chris George |
When Model-based Testing Fails. |
MBT |
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. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Kervinen, Mika Maunumaa, Mika Katara |
Controlling Testing Using Three-Tier Model Architecture. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Nilsson, Jeff Offutt, Jonas Mellin |
Test Case Generation for Mutation-based Testing of Timeliness. |
MBT |
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. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantinos Djouvas, Nancy D. Griffeth, Nancy A. Lynch |
Testing Self-Similar Networks. |
MBT |
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. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
MBT |
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. |
MBT |
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. |
MBT |
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 |
MBT |
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 |
MBT |
2005 |
DBLP BibTeX RDF |
|
| 1 | Keith Stobie |
Model Based Testing in Practice at Microsoft. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Kervinen, Pablo Virolainen |
Heuristics for Faster Error Detection With Automated Black Box Testing. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Conrad, Ines Fey, Sadegh Sadeghipour |
Systematic Model-Based Testing of Embedded Automotive Software. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev |
Preface. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor V. Kuliamin |
Multi-paradigm Models as Source for Automated Test Construction. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Marre, Benjamin Blanc |
Test Selection Strategies for Lustre Descriptions in GATeL. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manoranjan Satpathy, Michael Leuschel, Michael J. Butler |
ProTest: An Automatic Test Environment for B Specifications. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Seung Mo Cho, Jae Wook Lee |
Lightweight Specification-based Testing of Memory Cards: A Case Study. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Scollo, Silvia Zecchini |
Architectural Unit Testing. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Gerhard Groß, Ina Schieferdecker, George Din |
Model-Based Built-In Tests. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license