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
Last update Tue May 22 22:01:46 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
