![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
3. A-MOST 2007: London, UK
- Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12. ACM 2007, ISBN 978-1-59593-850-3
- Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman:
Achieving both model and code coverage with automated gray-box testing. 1-11 - Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois:
Automatic generation of model based tests for a class of security properties. 12-22 - Sebastian Benz:
Combining test case generation for component and integration testing. 23-33 - Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat
:
Model-based test prioritization heuristic methods and their evaluation. 34-43 - Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Aamer Nadeem
:
An approach for selective state machine based regression testing. 44-52 - Yanping Chen, Robert L. Probert, Hasan Ural:
Model-based regression test suite generation using dependence analysis. 54-62 - Gordon Fraser, Franz Wotawa
:
Using LTL rewriting to improve the performance of model-checker based test-case generation. 64-74 - Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser:
Relating counterexamples to test cases in CTL model checking specifications. 75-84 - Manoranjan Satpathy, S. Ramesh:
Test case generation from formal models through abstraction refinement and model checking. 85-94 - Fabrice Bouquet
, Christophe Grandpierre, Bruno Legeard
, Fabien Peureux, Nicolas Vacelet, Mark Utting
:
A subset of precise UML for model-based testing. 95-104 - Leila Naslavsky, Hadar Ziv, Debra J. Richardson:
Towards traceability of model-based testing artifacts. 105-114 - Bernhard K. Aichernig
, Martin Weiglhofer, Bernhard Peischl
, Franz Wotawa
:
Test purpose generation in an industrial application. 115-125
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.