BibSonomy :: author  ::

bookmarks

publications

(111)

• Testing of Software and Communicating Systems: : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 2007, Proceedings
  Alexandre Petrenko and Margus Veanes and Jan Tretmans and Wolfgang Grieskamp (eds.). (2007)
  to formal methods testing by ist_spl on 2008-09-24 11:32:08
  | URL | BibTeX  
• Model-Based Quality Assurance of the SMB2 Protocol Documentation.
  Wolfgang Grieskamp and Nicolas Kicillof and Dave MacDonald and Alok Nandan and Keith Stobie and Fred L. Wurden and Danpo Zhang QSIC 235-240 (2008)
  to dblp by dblp on 2008-08-20 00:00:00
  | URL | BibTeX  
• Model-Based Quality Assurance of Windows Protocol Documentation.
  Wolfgang Grieskamp and Nicolas Kicillof and Dave MacDonald and Alok Nandan and Keith Stobie and Fred L. Wurden ICST 502-506 (2008)
  to dblp by dblp on 2008-05-30 00:00:00
  | URL | BibTeX  
• Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.
  Margus Veanes and Colin Campbell and Wolfgang Grieskamp and Wolfram Schulte and Nikolai Tillmann and Lev Nachmanson Formal Methods and Testing 39-76 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Achieving both model and code coverage with automated gray-box testing.
  Nicolas Kicillof and Wolfgang Grieskamp and Nikolai Tillmann and Víctor A. Braberman A-MOST 1-11 (2007)
  to dblp by dblp on 2008-01-09 00:00:00
  | URL | BibTeX  
• Learning and Integration of Parameterized Components Through Testing.
  Muzammil Shahbaz and Keqin Li and Roland Groz TestCom/FATES 319-334 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Automatic Test Generation from Interprocedural Specifications.
  Camille Constant and Bertrand Jeannet and Thierry Jéron TestCom/FATES 41-57 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3.
  Diana Vega and Ina Schieferdecker and George Din TestCom/FATES 351-364 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• An EFSM-Based Passive Fault Detection Approach.
  Hasan Ural and Zhi Xu TestCom/FATES 335-350 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Implementing Conformiq Qtronic.
  Antti Huima TestCom/FATES 1-12 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX