Abstract is missing.
- Achieving both model and code coverage with automated gray-box testingNicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, VĂctor A. Braberman. 1-11 [doi]
- Automatic generation of model based tests for a class of security propertiesPierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois. 12-22 [doi]
- Combining test case generation for component and integration testingSebastian Benz. 23-33 [doi]
- Model-based test prioritization heuristic methods and their evaluationBogdan Korel, George Koutsogiannakis, Luay Ho Tahat. 34-43 [doi]
- An approach for selective state machine based regression testingQurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Aamer Nadeem. 44-52 [doi]
- Model-based regression test suite generation using dependence analysisYanping Chen, Robert L. Probert, Hasan Ural. 54-62 [doi]
- Using LTL rewriting to improve the performance of model-checker based test-case generationGordon Fraser, Franz Wotawa. 64-74 [doi]
- Relating counterexamples to test cases in CTL model checking specificationsDuminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser. 75-84 [doi]
- Test case generation from formal models through abstraction refinement and model checkingManoranjan Satpathy, S. Ramesh. 85-94 [doi]
- A subset of precise UML for model-based testingFabrice Bouquet, C. Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting. 95-104 [doi]
- Towards traceability of model-based testing artifactsLeila Naslavsky, Hadar Ziv, Debra J. Richardson. 105-114 [doi]
- Test purpose generation in an industrial applicationBernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa. 115-125 [doi]