The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Bogdan Korel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Raymond Smith, Bogdan Korel
    Slicing Event Traces of Large Software Systems. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2000, pp:- [Conf]
  2. Bogdan Korel
    Identifying Faulty Modifications in Software Maintenance. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1993, pp:315-332 [Conf]
  3. Bogdan Korel
    Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:71-86 [Conf]
  4. Bogdan Korel, Juergen Rilling
    Application of Dynamic Slicing in Program Debugging. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:43-58 [Conf]
  5. Zakarya Alzamil, Bogdan Korel
    Redundant Computation and its Application in Software Performance Analysis. [Citation Graph (0, 0)][DBLP]
    Int. CMG Conference, 2000, pp:773-782 [Conf]
  6. Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel
    Requirement-Based Automated Black-Box Test Generation. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:489-495 [Conf]
  7. Horst Wedde, Bogdan Korel, Dorota M. Huizinga
    Formal Analysis of Waiting Times for Distributed Real-time Processes. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1992, pp:478-485 [Conf]
  8. Bogdan Korel, Ali M. Al-Yami
    Assertion-Oriented Automated Test Data Generation. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:71-80 [Conf]
  9. Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg
    Slicing of State-Based Models. [Citation Graph (0, 0)][DBLP]
    ICSM, 2003, pp:34-43 [Conf]
  10. Bogdan Korel, Luay Ho Tahat, Mark Harman
    Test Prioritization Using System Models. [Citation Graph (0, 0)][DBLP]
    ICSM, 2005, pp:559-568 [Conf]
  11. Bogdan Korel, Luay Ho Tahat, Boris Vaysburg
    Model Based Regression Test Reduction Using Dependence Analysis. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:214-0 [Conf]
  12. Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, R. Gupta, Q. Zhang
    Data Dependence Based Testability Transformation in Automated Test Generation. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2005, pp:245-254 [Conf]
  13. André Baresel, David Binkley, Mark Harman, Bogdan Korel
    Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:108-118 [Conf]
  14. Bogdan Korel
    Automated Test Data Generation for Programs with Procedures. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:209-215 [Conf]
  15. Bogdan Korel, Ali M. Al-Yami
    Automated Regression Test Generation. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:143-152 [Conf]
  16. Bogdan Korel, Satish Yalamanchili
    Forward Computation of Dynamic Program Slices. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1994, pp:66-79 [Conf]
  17. Patrick J. Schroeder, Bogdan Korel
    Black-box test reduction using input-output analysis. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:173-177 [Conf]
  18. Boris Vaysburg, Luay Ho Tahat, Bogdan Korel
    Dependence analysis in reduction of requirement based test suites. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:107-111 [Conf]
  19. Roger Ferguson, Bogdan Korel
    Software Test Data Generation Using the Chaining Approach. [Citation Graph (0, 0)][DBLP]
    ITC, 1995, pp:703-709 [Conf]
  20. Bogdan Korel
    Black-Box Understanding of COTS Components. [Citation Graph (0, 0)][DBLP]
    IWPC, 1999, pp:92-0 [Conf]
  21. Bogdan Korel, Juergen Rilling
    Dynamic Program Slicing in Understanding of Program Execution. [Citation Graph (0, 0)][DBLP]
    WPC, 1997, pp:80-89 [Conf]
  22. Bogdan Korel, Juergen Rilling
    Program Slicing in Understanding of Large Programs. [Citation Graph (0, 0)][DBLP]
    IWPC, 1998, pp:145-0 [Conf]
  23. Bogdan Korel, Luay H. Taha
    Understanding Modifications in State-Based Models. [Citation Graph (0, 0)][DBLP]
    IWPC, 2004, pp:246-250 [Conf]
  24. Patrick J. Schroeder, Pat Faherty, Bogdan Korel
    Generating Expected Results for Automated Black-Box Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:139-148 [Conf]
  25. David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
    Minimal Slicing and the Relationships Between Forms of Slicing. [Citation Graph (0, 0)][DBLP]
    SCAM, 2005, pp:45-56 [Conf]
  26. Bogdan Korel, Horst Wedde, Srinivas Magaraj, Kalique Nawaz, Venugopal Dayana
    Version Management in Distributed Network Environment. [Citation Graph (0, 0)][DBLP]
    SCM, 1991, pp:161-166 [Conf]
  27. Zakarya Alzamil, Bogdan Korel
    Application of redundant computation in software performance analysis. [Citation Graph (0, 0)][DBLP]
    WOSP, 2005, pp:111-121 [Conf]
  28. Bogdan Korel, Juergen Rilling
    Dynamic program slicing methods. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1998, v:40, n:11-12, pp:647-659 [Journal]
  29. Roger Ferguson, Bogdan Korel
    Generating test data for distributed software using the chaining approach. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1996, v:38, n:5, pp:343-353 [Journal]
  30. Bogdan Korel
    The Program Dependence Graph in Static Program Testing. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:24, n:2, pp:103-108 [Journal]
  31. Bogdan Korel, Janusz W. Laski
    Dynamic Program Slicing. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:29, n:3, pp:155-163 [Journal]
  32. Bogdan Korel, Janusz W. Laski
    Dynamic slicing of computer programs. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1990, v:13, n:3, pp:187-195 [Journal]
  33. Horst Wedde, Bogdan Korel, Dorota M. Huizinga
    Formal Timing Analysis for Distributed Real-Time Programs. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1994, v:7, n:1, pp:57-90 [Journal]
  34. David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
    A formalisation of the relationship between forms of program slicing. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:3, pp:228-252 [Journal]
  35. Bogdan Korel
    Dynamic Method of Software Test Data Generation. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1992, v:2, n:4, pp:203-213 [Journal]
  36. David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
    Theoretical foundations of dynamic program slicing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:23-41 [Journal]
  37. Roger Ferguson, Bogdan Korel
    The Chaining Approach for Software Test Data Generation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:1, pp:63-86 [Journal]
  38. Mark Harman, Bogdan Korel, Panagiotis K. Linos
    Guest Editorial: Special Issue on Software Maintenance and Evolution. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:10, pp:801-803 [Journal]
  39. Bogdan Korel
    PELAS - Program Error-Locating Assistant System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:9, pp:1253-1260 [Journal]
  40. Bogdan Korel
    Automated Software Test Data Generation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:8, pp:870-879 [Journal]
  41. Bogdan Korel
    Computation of Dynamic Program Slices for Unstructured Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:1, pp:17-34 [Journal]
  42. Janusz W. Laski, Bogdan Korel
    A Data Flow Oriented Program Testing Strategy. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1983, v:9, n:3, pp:347-354 [Journal]

  43. Application of system models in regression test suite prioritization. [Citation Graph (, )][DBLP]


  44. Model-based test prioritization heuristic methods and their evaluation. [Citation Graph (, )][DBLP]


  45. Testability Transformation - Program Transformation to Improve Testability. [Citation Graph (, )][DBLP]


  46. Assertion-Based Validation of Modified Programs. [Citation Graph (, )][DBLP]


  47. Editorial for Special Issue of JASE on Source Code Analysis and Manipulation. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.307secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002