BibSonomy :: author  ::

bookmarks

publications

(46)

• Assertion-oriented automated test data generation
  B. Korel and A.M. Al-Yami icse 00 71 (1996)
  to assertions automated data generation single system test by ist_spl and 1 other person on 2008-05-14 11:52:01
  | BibTeX  
• Testability Transformation - Program Transformation to Improve Testability.
  Mark Harman and André Baresel and David Binkley and Robert M. Hierons and Lin Hu and Bogdan Korel and Phil McMinn and Marc Roper Formal Methods and Testing 320-344 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Understanding Modifications in State-Based Models.
  Bogdan Korel and Luay Ho Tahat IWPC 246-250 (2004)
  to dblp by dblp on 2008-01-09 00:00:00
  | URL | BibTeX  
• Model-based test prioritization heuristic methods and their evaluation.
  Bogdan Korel and George Koutsogiannakis and Luay Ho Tahat A-MOST 34-43 (2007)
  to dblp by dblp on 2008-01-09 00:00:00
  | URL | BibTeX  
• Requirement-Based Automated Black-Box Test Generation.
  Luay Ho Tahat and Atef Bader and Boris Vaysburg and Bogdan Korel COMPSAC 489-495 (2001)
  to dblp by dblp on 2007-07-25 00:00:00
  | URL | BibTeX  
• Slicing of State-Based Models.
  Bogdan Korel and Inderdeep Singh and Luay Ho Tahat and Boris Vaysburg ICSM 34-43 (2003)
  to dblp by dblp on 2007-07-02 00:00:00
  | URL | BibTeX  
• Addressing Context Awareness Techniques in Body Sensor Networks.
  Barbara T. Korel and Simon G. M. Koo AINA Workshops (2) 798-803 (2007)
  to dblp by dblp on 2007-06-06 00:00:00
  | URL | BibTeX  
• Generating test data for distributed software using the chaining approach.
  Roger Ferguson and Bogdan Korel Information & Software Technology 38 343-353 (1996)
  to dblp by dblp on 2007-05-14 00:00:00
  | URL | BibTeX  
• Dynamic program slicing methods.
  Bogdan Korel and Juergen Rilling Information & Software Technology 40 647-659 (1998)
  to dblp by dblp on 2007-05-14 00:00:00
  | URL | BibTeX  
• Guest Editorial: Special Issue on Software Maintenance and Evolution.
  Mark Harman and Bogdan Korel and Panagiotis K. Linos IEEE Trans. Software Eng. 31 801-803 (2005)
  to dblp by dblp on 2006-12-22 00:00:00
  | URL | BibTeX