default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. 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
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.
last updated on 2025-12-01 23:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
