BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Germany
1 × The Netherlands
2 × Hungary
2 × United Kingdom
3 × Italy
7 × USA
Collaborated with:
L.H.Tahat A.M.Al-Yami J.Rilling B.Vaysburg P.J.Schroeder G.Koutsogiannakis M.Harman S.Yalamanchili Q.Zhang L.Tao D.Binkley S.Danicic T.Gyimóthy Á.Kiss P.Faherty N.Almasri L.T.0001 I.Singh
Talks about:
test (10) program (8) slice (7) model (6) base (6) understand (4) generat (4) autom (4) regress (3) priorit (3)

♂ Person: Bogdan Korel

DBLP DBLP: Korel:Bogdan

Facilitated 2 volumes:

SCAM 2007PrCh
ICSM 2004PrCh

Contributed to:

ICST 20092009
ICSM 20082008
A-MOST 20072007
ICSM 20052005
SCAM 20052005
SCAM 20052006
IWPC 20042004
ICSM 20032003
ASE 20022002
ICSM 20022002
ISSTA 20022002
ISSTA 20002000
IWPC 19991999
ISSTA 19981998
IWPC 19981998
WPC 19971997
ICSE 19961996
ISSTA 19961996
ISSTA 19941994
ASE 20182018

Wrote 20 papers:

ICST-2009-KorelZT #source code #validation
Assertion-Based Validation of Modified Programs (BK, QZ, LT), pp. 426–435.
ICSM-2008-KorelKT #modelling #testing
Application of system models in regression test suite prioritization (BK, GK, LHT), pp. 247–256.
A-MOST-2007-KorelKT #evaluation #heuristic #modelling
Model-based test prioritization heuristic methods and their evaluation (BK, GK, LHT), pp. 34–43.
ICSM-2005-KorelTH #modelling #using
Test Prioritization Using System Models (BK, LHT, MH), pp. 559–568.
SCAM-2005-BinkleyDGHKK #slicing
Minimal Slicing and the Relationships Between Forms of Slicing (DB, SD, TG, MH, ÁK, BK), pp. 45–56.
SCAM-J-2005-BinkleyDGHKK06 #formal method #slicing
A formalisation of the relationship between forms of program slicing (DB, SD, TG, MH, ÁK, BK), pp. 228–252.
IWPC-2004-KorelT #comprehension #modelling
Understanding Modifications in State-Based Models (BK, LHT), pp. 246–250.
ICSM-2003-KorelSTV #modelling #slicing
Slicing of State-Based Models (BK, IS, LHT, BV), pp. 34–43.
ASE-2002-SchroederFK #automation #black box #generative #testing
Generating Expected Results for Automated Black-Box Testing (PJS, PF, BK), pp. 139–148.
ICSM-2002-KorelTV #analysis #dependence #modelling #reduction #testing #using
Model Based Regression Test Reduction Using Dependence Analysis (BK, LHT, BV), pp. 214–223.
ISSTA-2002-VaysburgTK #analysis #dependence #reduction #testing
Dependence analysis in reduction of requirement based test suites (BV, LHT, BK), pp. 107–111.
ISSTA-2000-SchroederK #analysis #black box #reduction #using
Black-box test reduction using input-output analysis (PJS, BK), pp. 173–177.
IWPC-1999-Korel #black box #component #comprehension #off the shelf
Black-Box Understanding of COTS Components (BK), pp. 92–99.
ISSTA-1998-KorelA #automation #generative #testing
Automated Regression Test Generation (BK, AMAY), pp. 143–152.
IWPC-1998-KorelR #comprehension #scalability #slicing #source code
Program Slicing in Understanding of Large Programs (BK, JR), pp. 145–152.
WPC-1997-KorelR #comprehension #execution #slicing
Dynamic Program Slicing in Understanding of Program Execution (BK, JR), pp. 80–89.
ICSE-1996-KorelA #automation #generative #testing
Assertion-Oriented Automated Test Data Generation (BK, AMAY), pp. 71–80.
ISSTA-1996-Korel #automation #generative #source code #testing
Automated Test Data Generation for Programs with Procedures (BK), pp. 209–215.
ISSTA-1994-KorelY #slicing
Forward Computation of Dynamic Program Slices (BK, SY), pp. 66–79.
ASE-2018-AlmasriTK #automation
Automatically quantifying the impact of a change in systems (journal-first abstract) (NA, LT0, BK), p. 952.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.