A-MOST

Keyphrases

Publications

2007

Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat
Model-based test prioritization heuristic methods and their evaluation. A-MOST (2007)
Gordon Fraser, Franz Wotawa
Using LTL rewriting to improve the performance of model-checker based test-case generation. A-MOST (2007)
Sebastian Benz
Combining test case generation for component and integration testing. A-MOST (2007)
Manoranjan Satpathy, S. Ramesh
Test case generation from formal models through abstraction refinement and model checking. A-MOST (2007)
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 A-MOST (2007)
Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa
Test purpose generation in an industrial application. A-MOST (2007)
Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois
Automatic generation of model based tests for a class of security properties. A-MOST (2007)
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman
Achieving both model and code coverage with automated gray-box testing. A-MOST (2007)
Leila Naslavsky, Hadar Ziv, Debra J. Richardson
Towards traceability of model-based testing artifacts. A-MOST (2007)
Yanping Chen, Robert L. Probert, Hasan Ural
Model-based regression test suite generation using dependence analysis. A-MOST (2007)
Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser
Relating counterexamples to test cases in CTL model checking specifications. A-MOST (2007)
Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting
A subset of precise UML for model-based testing. A-MOST (2007)
Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Aamer Nadeem
An approach for selective state machine based regression testing. A-MOST (2007)

2005