3. A-MOST 2007: London, UK

• 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, C. 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