Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bogdan Korel
@article{DBLP:journals/ijait/BekirogluK23,
author = {Berk Bekiroglu and
Bogdan Korel},
title = {Neural Network-based Tool for Survivability Assessment of K-variant
Systems},
journal = {Int. J. Artif. Intell. Tools},
volume = {32},
number = {4},
pages = {2350049:1--2350049:24},
year = {2023},
url = {https://doi.org/10.1142/S0218213023500495},
doi = {10.1142/S0218213023500495},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/BekirogluK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AlmasriKT22,
author = {Nada Almasri and
Bogdan Korel and
Luay Tahat},
title = {Verification Approach for Refactoring Transformation Rules of State-Based
Models},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {10},
pages = {3833--3861},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3106589},
doi = {10.1109/TSE.2021.3106589},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/AlmasriKT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BekirogluK21,
author = {Berk Bekiroglu and
Bogdan Korel},
title = {Source Code Transformations for Improving Security of Time-bounded
K-variant Systems},
journal = {Inf. Softw. Technol.},
volume = {137},
pages = {106601},
year = {2021},
url = {https://doi.org/10.1016/j.infsof.2021.106601},
doi = {10.1016/J.INFSOF.2021.106601},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/BekirogluK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/BekirogluK21,
author = {Berk Bekiroglu and
Bogdan Korel},
title = {Survivability Analysis of K-Variant Architecture for Different Memory
Attacks and Defense Strategies},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {18},
number = {4},
pages = {1868--1881},
year = {2021},
url = {https://doi.org/10.1109/TDSC.2019.2941686},
doi = {10.1109/TDSC.2019.2941686},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/BekirogluK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AlmasriTK18,
author = {Nada Almasri and
Luay Tahat and
Bogdan Korel},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {Automatically quantifying the impact of a change in systems (journal-first
abstract)},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {952},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3241984},
doi = {10.1145/3238147.3241984},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/AlmasriTK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/KorelAT18,
author = {Bogdan Korel and
Nada Almasri and
Luay Tahat},
editor = {Thelma Elita Colanzi and
Phil McMinn},
title = {Towards Minimizing the Impact of Changes Using Search-Based Approach},
booktitle = {Search-Based Software Engineering - 10th International Symposium,
{SSBSE} 2018, Montpellier, France, September 8-9, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11036},
pages = {262--277},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99241-9\_14},
doi = {10.1007/978-3-319-99241-9\_14},
timestamp = {Fri, 31 Jan 2020 21:32:21 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/KorelAT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/AlmasriTK17,
author = {Nada Almasri and
Luay Tahat and
Bogdan Korel},
title = {Toward automatically quantifying the impact of a change in systems},
journal = {Softw. Qual. J.},
volume = {25},
number = {3},
pages = {601--640},
year = {2017},
url = {https://doi.org/10.1007/s11219-016-9316-8},
doi = {10.1007/S11219-016-9316-8},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/AlmasriTK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/TahatKKA17,
author = {Luay Tahat and
Bogdan Korel and
George Koutsogiannakis and
Nada Almasri},
title = {State-based models in regression test suite prioritization},
journal = {Softw. Qual. J.},
volume = {25},
number = {3},
pages = {703--742},
year = {2017},
url = {https://doi.org/10.1007/s11219-016-9330-x},
doi = {10.1007/S11219-016-9330-X},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/TahatKKA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/WangRKKS14,
author = {Li Wang and
Shangping Ren and
Bogdan Korel and
Kevin A. Kwiat and
Eric Salerno},
title = {Improving System Reliability Against Rational Attacks Under Given
Resources},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {44},
number = {4},
pages = {446--456},
year = {2014},
url = {https://doi.org/10.1109/TSMC.2013.2263126},
doi = {10.1109/TSMC.2013.2263126},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/WangRKKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HarmanK13,
author = {Mark Harman and
Bogdan Korel},
title = {Editorial for special issue of {STVR} on software testing, verification,
and validation - volume 1 (extended selected papers from {ICST} 2011)},
journal = {Softw. Test. Verification Reliab.},
volume = {23},
number = {6},
pages = {437},
year = {2013},
url = {https://doi.org/10.1002/stvr.1507},
doi = {10.1002/STVR.1507},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HarmanK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HarmanK13a,
author = {Mark Harman and
Bogdan Korel},
title = {Editorial for special issue of {STVR} on software testing, verification,
and validation - volume 2 (extended selected papers from {ICST} 2011)},
journal = {Softw. Test. Verification Reliab.},
volume = {23},
number = {7},
pages = {529},
year = {2013},
url = {https://doi.org/10.1002/stvr.1506},
doi = {10.1002/STVR.1506},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HarmanK13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/TahatKHU12,
author = {Luay Ho Tahat and
Bogdan Korel and
Mark Harman and
Hasan Ural},
title = {Regression test suite prioritization using system models},
journal = {Softw. Test. Verification Reliab.},
volume = {22},
number = {7},
pages = {481--506},
year = {2012},
url = {https://doi.org/10.1002/stvr.461},
doi = {10.1002/STVR.461},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/TahatKHU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sin/KorelRKAV11,
author = {Bogdan Korel and
Shangping Ren and
Kevin A. Kwiat and
Arnaud Auguste and
Alban Vignaux},
editor = {Mehmet A. Orgun and
Atilla El{\c{c}}i and
Oleg B. Makarevich and
Sorin A. Huss and
Josef Pieprzyk and
Lyudmila K. Babenko and
Alexander G. Chefranov and
Rajan Shankaran},
title = {Improving operation time bounded mission critical systems' attack-survivability
through controlled source-code transformation},
booktitle = {Proceedings of the 4th International Conference on Security of Information
and Networks, {SIN} 2011, Sydney, NSW, Australia, November 14-19,
2011},
pages = {183--190},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2070425.2070454},
doi = {10.1145/2070425.2070454},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sin/KorelRKAV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/GodfreyK09,
author = {Michael W. Godfrey and
Bogdan Korel},
title = {Editorial for Special Issue of {JASE} on Source Code Analysis and
Manipulation},
journal = {Autom. Softw. Eng.},
volume = {16},
number = {2},
pages = {193--195},
year = {2009},
url = {https://doi.org/10.1007/s10515-009-0052-1},
doi = {10.1007/S10515-009-0052-1},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/GodfreyK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KorelK09,
author = {Bogdan Korel and
George Koutsogiannakis},
title = {Experimental Comparison of Code-Based and Model-Based Test Prioritization},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops
Proceedings},
pages = {77--84},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICSTW.2009.45},
doi = {10.1109/ICSTW.2009.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KorelK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KorelZT09,
author = {Bogdan Korel and
Qi Zhang and
Li Tao},
title = {Assertion-Based Validation of Modified Programs},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
pages = {426--435},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICST.2009.50},
doi = {10.1109/ICST.2009.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KorelZT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fortest/HarmanBBHHKMR08,
author = {Mark Harman and
Andr{\'{e}} Baresel and
David W. Binkley and
Robert M. Hierons and
Lin Hu and
Bogdan Korel and
Phil McMinn and
Marc Roper},
editor = {Robert M. Hierons and
Jonathan P. Bowen and
Mark Harman},
title = {Testability Transformation - Program Transformation to Improve Testability},
booktitle = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4949},
pages = {320--344},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78917-8\_11},
doi = {10.1007/978-3-540-78917-8\_11},
timestamp = {Fri, 11 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fortest/HarmanBBHHKMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/KorelKT08,
author = {Bogdan Korel and
George Koutsogiannakis and
Luay Ho Tahat},
title = {Application of system models in regression test suite prioritization},
booktitle = {24th {IEEE} International Conference on Software Maintenance {(ICSM}
2008), September 28 - October 4, 2008, Beijing, China},
pages = {247--256},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSM.2008.4658073},
doi = {10.1109/ICSM.2008.4658073},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icsm/KorelKT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amost/KorelKT07,
author = {Bogdan Korel and
George Koutsogiannakis and
Luay Ho Tahat},
title = {Model-based test prioritization heuristic methods and their evaluation},
booktitle = {Proceedings of the 3rd Workshop on Advances in Model Based Testing,
{A-MOST} 2007, co-located with the {ISSTA} 2007 International Symposium
on Software Testing and Analysis, London, United Kingdom, July 9-12},
pages = {34--43},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291535.1291539},
doi = {10.1145/1291535.1291539},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amost/KorelKT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BinkleyDGHKK06,
author = {David W. Binkley and
Sebastian Danicic and
Tibor Gyim{\'{o}}thy and
Mark Harman and
{\'{A}}kos Kiss and
Bogdan Korel},
title = {A formalisation of the relationship between forms of program slicing},
journal = {Sci. Comput. Program.},
volume = {62},
number = {3},
pages = {228--252},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2006.04.007},
doi = {10.1016/J.SCICO.2006.04.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BinkleyDGHKK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BinkleyDGHKK06,
author = {David W. Binkley and
Sebastian Danicic and
Tibor Gyim{\'{o}}thy and
Mark Harman and
{\'{A}}kos Kiss and
Bogdan Korel},
title = {Theoretical foundations of dynamic program slicing},
journal = {Theor. Comput. Sci.},
volume = {360},
number = {1-3},
pages = {23--41},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.01.012},
doi = {10.1016/J.TCS.2006.01.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BinkleyDGHKK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HarmanKL05,
author = {Mark Harman and
Bogdan Korel and
Panagiotis K. Linos},
title = {Guest Editorial: Special Issue on Software Maintenance and Evolution},
journal = {{IEEE} Trans. Software Eng.},
volume = {31},
number = {10},
pages = {801--803},
year = {2005},
url = {https://doi.org/10.1109/TSE.2005.113},
doi = {10.1109/TSE.2005.113},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HarmanKL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/KorelTH05,
author = {Bogdan Korel and
Luay Ho Tahat and
Mark Harman},
title = {Test Prioritization Using System Models},
booktitle = {21st {IEEE} International Conference on Software Maintenance {(ICSM}
2005), 25-30 September 2005, Budapest, Hungary},
pages = {559--568},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICSM.2005.87},
doi = {10.1109/ICSM.2005.87},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/KorelTH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KorelHCAGZ05,
author = {Bogdan Korel and
Mark Harman and
S. Chung and
P. Apirukvorapinit and
Rajiv Gupta and
Q. Zhang},
title = {Data Dependence Based Testability Transformation in Automated Test
Generation},
booktitle = {16th International Symposium on Software Reliability Engineering {(ISSRE}
2005), 8-11 November 2005, Chicago, IL, {USA}},
pages = {245--254},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISSRE.2005.16},
doi = {10.1109/ISSRE.2005.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/KorelHCAGZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/BinkleyDGHKK05,
author = {David W. Binkley and
Sebastian Danicic and
Tibor Gyim{\'{o}}thy and
Mark Harman and
{\'{A}}kos Kiss and
Bogdan Korel},
title = {Minimal Slicing and the Relationships Between Forms of Slicing},
booktitle = {5th {IEEE} International Workshop on Source Code Analysis and Manipulation
{(SCAM} 2005), 30 September - 1 October 2005, Budapest, Hungary},
pages = {45--56},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SCAM.2005.18},
doi = {10.1109/SCAM.2005.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/BinkleyDGHKK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/AlzamilK05,
author = {Zakarya A. Alzamil and
Bogdan Korel},
title = {Application of redundant computation in software performance analysis},
booktitle = {Proceedings of the Fifth International Workshop on Software and Performance,
{WOSP} 2005, Palma, Illes Balears, Spain, July 12-14, 2005},
pages = {111--121},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1071021.1071032},
doi = {10.1145/1071021.1071032},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/AlzamilK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BareselBHK04,
author = {Andr{\'{e}} Baresel and
David W. Binkley and
Mark Harman and
Bogdan Korel},
editor = {George S. Avrunin and
Gregg Rothermel},
title = {Evolutionary testing in the presence of loop-assigned flags: a testability
transformation approach},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
11-14, 2004},
pages = {108--118},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007512.1007527},
doi = {10.1145/1007512.1007527},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/BareselBHK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/KorelT04,
author = {Bogdan Korel and
Luay Ho Tahat},
title = {Understanding Modifications in State-Based Models},
booktitle = {12th International Workshop on Program Comprehension {(IWPC} 2004),
24-26 June 2004, Bari, Italy},
pages = {246--250},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/WPC.2004.1311068},
doi = {10.1109/WPC.2004.1311068},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/KorelT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/KorelSTV03,
author = {Bogdan Korel and
Inderdeep Singh and
Luay Ho Tahat and
Boris Vaysburg},
title = {Slicing of State-Based Models},
booktitle = {19th International Conference on Software Maintenance {(ICSM} 2003),
The Architecture of Existing Systems, 22-26 September 2003, Amsterdam,
The Netherlands},
pages = {34--43},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSM.2003.1235404},
doi = {10.1109/ICSM.2003.1235404},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/KorelSTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/KorelTV02,
author = {Bogdan Korel and
Luay Ho Tahat and
Boris Vaysburg},
title = {Model Based Regression Test Reduction Using Dependence Analysis},
booktitle = {18th International Conference on Software Maintenance {(ICSM} 2002),
Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal,
Quebec, Canada},
pages = {214},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICSM.2002.1167768},
doi = {10.1109/ICSM.2002.1167768},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/KorelTV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/VaysburgTK02,
author = {Boris Vaysburg and
Luay Ho Tahat and
Bogdan Korel},
editor = {Phyllis G. Frankl},
title = {Dependence analysis in reduction of requirement based test suites},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {107--111},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566188},
doi = {10.1145/566172.566188},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/VaysburgTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SchroederFK02,
author = {Patrick J. Schroeder and
Pat Faherty and
Bogdan Korel},
title = {Generating Expected Results for Automated Black-Box Testing},
booktitle = {17th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
pages = {139--148},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASE.2002.1115005},
doi = {10.1109/ASE.2002.1115005},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SchroederFK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TahatBVK01,
author = {Luay Ho Tahat and
Atef Bader and
Boris Vaysburg and
Bogdan Korel},
title = {Requirement-Based Automated Black-Box Test Generation},
booktitle = {25th International Computer Software and Applications Conference {(COMPSAC}
2001), Invigorating Software Development, 8-12 October 2001, Chicago,
IL, {USA}},
pages = {489--495},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CMPSAC.2001.960658},
doi = {10.1109/CMPSAC.2001.960658},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/TahatBVK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/SmithK00,
author = {Raymond Smith and
Bogdan Korel},
editor = {Mireille Ducass{\'{e}}},
title = {Slicing Event Traces of Large Software Systems},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0101005},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/SmithK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmg/AlzamilK00,
author = {Zakarya A. Alzamil and
Bogdan Korel},
title = {Redundant Computation and its Application in Software Performance
Analysis},
booktitle = {26th International Computer Measurement Group Conference, December
10-15, 2000, Orlando, FL, USA, Proceedings},
pages = {773--782},
publisher = {Computer Measurement Group},
year = {2000},
url = {http://www.cmg.org/?s2member\_file\_download=/proceedings/2000/0070.pdf},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmg/AlzamilK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SchroederK00,
author = {Patrick J. Schroeder and
Bogdan Korel},
editor = {Debra J. Richardson and
Mary Jean Harold},
title = {Black-box test reduction using input-output analysis},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2000, Portland, OR, USA, August 21-24, 2000},
pages = {173--177},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347324.349042},
doi = {10.1145/347324.349042},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/issta/SchroederK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/Korel99,
author = {Bogdan Korel},
title = {Black-Box Understanding of {COTS} Components},
booktitle = {7th International Workshop on Program Comprehension {(IWPC} '99),
May 5-7, 1999 - Pittsburgh, PA, {USA}},
pages = {92--99},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/WPC.1999.777748},
doi = {10.1109/WPC.1999.777748},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/Korel99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KorelR98,
author = {Bogdan Korel and
Juergen Rilling},
title = {Dynamic program slicing methods},
journal = {Inf. Softw. Technol.},
volume = {40},
number = {11-12},
pages = {647--659},
year = {1998},
url = {https://doi.org/10.1016/S0950-5849(98)00089-5},
doi = {10.1016/S0950-5849(98)00089-5},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/KorelR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KorelA98,
author = {Bogdan Korel and
Ali M. Al{-}Yami},
editor = {Mary Lou Soffa and
Michal Young and
Will Tracz},
title = {Automated Regression Test Generation},
booktitle = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
March 2-5, 1998},
pages = {143--152},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/271771.271803},
doi = {10.1145/271771.271803},
timestamp = {Mon, 31 Jan 2022 15:15:10 +0100},
biburl = {https://dblp.org/rec/conf/issta/KorelA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/KorelR98,
author = {Bogdan Korel and
Juergen Rilling},
title = {Program Slicing in Understanding of Large Programs},
booktitle = {6th International Workshop on Program Comprehension {(IWPC} '98),
June 24-26, 1998, Ischia, Italy},
pages = {145--152},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/WPC.1998.693339},
doi = {10.1109/WPC.1998.693339},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/KorelR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Korel97,
author = {Bogdan Korel},
title = {Computation of Dynamic Program Slices for Unstructured Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {1},
pages = {17--34},
year = {1997},
url = {https://doi.org/10.1109/32.581327},
doi = {10.1109/32.581327},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Korel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/KorelR97,
author = {Bogdan Korel and
Juergen Rilling},
editor = {Mariam Kamkar},
title = {Application of Dynamic Slicing in Program Debugging},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {43--58},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&\#38;article=005},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/KorelR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/KorelR97,
author = {Bogdan Korel and
Juergen Rilling},
title = {Dynamic Program Slicing in Understanding of Program Execution},
booktitle = {5th International Workshop on Program Comprehension {(WPC} '97), May
28-30, 1997 - Dearborn, MI, {USA}},
pages = {80--89},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/WPC.1997.601269},
doi = {10.1109/WPC.1997.601269},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/KorelR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/FergusonK96,
author = {Roger Ferguson and
Bogdan Korel},
title = {Generating test data for distributed software using the chaining approach},
journal = {Inf. Softw. Technol.},
volume = {38},
number = {5},
pages = {343--353},
year = {1996},
url = {https://doi.org/10.1016/0950-5849(95)01064-5},
doi = {10.1016/0950-5849(95)01064-5},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/FergusonK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FergusonK96,
author = {Roger Ferguson and
Bogdan Korel},
title = {The Chaining Approach for Software Test Data Generation},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {5},
number = {1},
pages = {63--86},
year = {1996},
url = {https://doi.org/10.1145/226155.226158},
doi = {10.1145/226155.226158},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/FergusonK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KorelA96,
author = {Bogdan Korel and
Ali M. Al{-}Yami},
editor = {H. Dieter Rombach and
T. S. E. Maibaum and
Marvin V. Zelkowitz},
title = {Assertion-Oriented Automated Test Data Generation},
booktitle = {18th International Conference on Software Engineering, Berlin, Germany,
March 25-29, 1996, Proceedings},
pages = {71--80},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {http://portal.acm.org/citation.cfm?id=227726.227740},
timestamp = {Mon, 17 Sep 2012 17:53:34 +0200},
biburl = {https://dblp.org/rec/conf/icse/KorelA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Korel96,
author = {Bogdan Korel},
editor = {Steve J. Zeil and
Will Tracz},
title = {Automated Test Data Generation for Programs with Procedures},
booktitle = {Proceedings of the 1996 International Symposium on Software Testing
and Analysis, {ISSTA} 1996, San Diego, CA, USA, January 8-10, 1996},
pages = {209--215},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/229000.226319},
doi = {10.1145/229000.226319},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Korel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Korel95,
author = {Bogdan Korel},
editor = {Mireille Ducass{\'{e}}},
title = {Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {71--86},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Korel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/FergusonK95,
author = {Roger Ferguson and
Bogdan Korel},
title = {Software Test Data Generation Using the Chaining Approach},
booktitle = {Proceedings {IEEE} International Test Conference 1995, Driving Down
the Cost of Test, Washington, DC, USA, October 21-25, 1995},
pages = {703--709},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/TEST.1995.529900},
doi = {10.1109/TEST.1995.529900},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/FergusonK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/WeddeKH94,
author = {Horst F. Wedde and
Bogdan Korel and
Dorota M. Huizinga},
title = {Formal Timing Analysis for Distributed Real-Time Programs},
journal = {Real Time Syst.},
volume = {7},
number = {1},
pages = {57--90},
year = {1994},
url = {https://doi.org/10.1007/BF01088622},
doi = {10.1007/BF01088622},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/WeddeKH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/WeddeK94,
author = {Horst F. Wedde and
Bogdan Korel},
title = {Determining the worst-case blocking sequences for distributed real-time
programs},
booktitle = {Sixth Euromicro Workshop on Real-Time Systems, {RTS} 1994, Vaesteraas,
Sweden, June 15-17, 1994. Proceedings},
pages = {4--9},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/EMWRTS.1994.336873},
doi = {10.1109/EMWRTS.1994.336873},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/WeddeK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KorelY94,
author = {Bogdan Korel and
Satish Yalamanchili},
editor = {Thomas J. Ostrand},
title = {Forward Computation of Dynamic Program Slices},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {66--79},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.186514},
doi = {10.1145/186258.186514},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/KorelY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Korel93,
author = {Bogdan Korel},
editor = {Peter Fritszon},
title = {Identifying Faulty Modifications in Software Maintenance},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {315--332},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019417},
doi = {10.1007/BFB0019417},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Korel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/WeddeKL93,
author = {Horst F. Wedde and
Bogdan Korel and
Jon A. Lind},
title = {Highly Integrated Task and Resource Scheduling for Mission-Critical
Systems},
booktitle = {Fifth Euromicro Workshop on Real-Time Systems, {RTS} 1993, Oulu, Finland,
June 22-24, 1993. Proceedings},
pages = {190--195},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/EMWRT.1993.639090},
doi = {10.1109/EMWRT.1993.639090},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/WeddeKL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KorelWF92,
author = {Bogdan Korel and
Horst F. Wedde and
Roger Ferguson},
title = {Dynamic method of test data generation for distributed software},
journal = {Inf. Softw. Technol.},
volume = {34},
number = {8},
pages = {523--531},
year = {1992},
url = {https://doi.org/10.1016/0950-5849(92)90146-G},
doi = {10.1016/0950-5849(92)90146-G},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/KorelWF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Korel92,
author = {Bogdan Korel},
title = {Dynamic Method of Software Test Data Generation},
journal = {Softw. Test. Verification Reliab.},
volume = {2},
number = {4},
pages = {203--213},
year = {1992},
url = {https://doi.org/10.1002/stvr.4370020405},
doi = {10.1002/STVR.4370020405},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Korel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/WeddeKH92,
author = {Horst F. Wedde and
Bogdan Korel and
Dorota M. Huizinga},
title = {Formal Analysis of Waiting Times for Distributed Real-time Processes},
booktitle = {Proceedings of the 12th International Conference on Distributed Computing
Systems, Yokohama, Japan, June 9-12, 1992},
pages = {478--485},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICDCS.1992.235006},
doi = {10.1109/ICDCS.1992.235006},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/WeddeKH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KorelWF91,
author = {Bogdan Korel and
Horst F. Wedde and
Roger Ferguson},
title = {Automated test data generation for distributed software},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software
and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
1991},
pages = {680--685},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/CMPSAC.1991.170260},
doi = {10.1109/CMPSAC.1991.170260},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/KorelWF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scm/KorelWMND91,
author = {Bogdan Korel and
Horst F. Wedde and
Srinivas Magaraj and
Kalique Nawaz and
Venugopal Dayana},
editor = {Peter H. Feiler},
title = {Version Management in Distributed Network Environment},
booktitle = {Proceedings of the 3rd International Workshop on Software Configuration
Management, Trondheim, Norway, June 12-14, 1991},
pages = {161--166},
publisher = {{ACM} Press},
year = {1991},
url = {https://doi.org/10.1145/111062.111083},
doi = {10.1145/111062.111083},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scm/KorelWMND91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KorelL90,
author = {Bogdan Korel and
Janusz W. Laski},
title = {Dynamic slicing of computer programs},
journal = {J. Syst. Softw.},
volume = {13},
number = {3},
pages = {187--195},
year = {1990},
url = {https://doi.org/10.1016/0164-1212(90)90094-3},
doi = {10.1016/0164-1212(90)90094-3},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/KorelL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Korel90,
author = {Bogdan Korel},
title = {Automated Software Test Data Generation},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {8},
pages = {870--879},
year = {1990},
url = {https://doi.org/10.1109/32.57624},
doi = {10.1109/32.57624},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Korel90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WeddeKBC90,
author = {Horst F. Wedde and
Bogdan Korel and
Willie G. Brown and
Shengdong Chen},
title = {Distributed management of replicated and partitioned files under {DRAGON}
{SLAYER}},
booktitle = {Proceedings of the Fourteenth Annual International Computer Software
and Applications Conference, {COMPSAC} 1990, Chicago, IL, USA, October
31 1990 - November 2, 1990},
pages = {436--441},
publisher = {{IEEE}},
year = {1990},
url = {https://doi.org/10.1109/CMPSAC.1990.139404},
doi = {10.1109/CMPSAC.1990.139404},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/WeddeKBC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/Korel90,
author = {Bogdan Korel},
title = {A dynamic approach of test data generation},
booktitle = {Proceedings of the Conference on Software Maintenance, {ICSM} 1990,
San Diego, CA, USA, 26-29 November, 1990},
pages = {311--317},
publisher = {{IEEE}},
year = {1990},
url = {https://doi.org/10.1109/ICSM.1990.131379},
doi = {10.1109/ICSM.1990.131379},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icsm/Korel90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/WeddeKBC89,
author = {Horst F. Wedde and
Bogdan Korel and
Willie G. Brown and
Shengdong Chen},
title = {Transparent distributed object management under completely decentralized
control},
booktitle = {9th International Conference on Distributed Computing Systems, {ICDCS}
1989, Newport Beach, CA, USA, June 5-9, 1989},
pages = {335--342},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/ICDCS.1989.37963},
doi = {10.1109/ICDCS.1989.37963},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/WeddeKBC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KorelL88,
author = {Bogdan Korel and
Janusz W. Laski},
title = {Dynamic Program Slicing},
journal = {Inf. Process. Lett.},
volume = {29},
number = {3},
pages = {155--163},
year = {1988},
url = {https://doi.org/10.1016/0020-0190(88)90054-3},
doi = {10.1016/0020-0190(88)90054-3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/KorelL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Korel88,
author = {Bogdan Korel},
title = {{PELAS} - Program Error-Locating Assistant System},
journal = {{IEEE} Trans. Software Eng.},
volume = {14},
number = {9},
pages = {1253--1260},
year = {1988},
url = {https://doi.org/10.1109/32.6169},
doi = {10.1109/32.6169},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Korel88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Korel87,
author = {Bogdan Korel},
title = {The Program Dependence Graph in Static Program Testing},
journal = {Inf. Process. Lett.},
volume = {24},
number = {2},
pages = {103--108},
year = {1987},
url = {https://doi.org/10.1016/0020-0190(87)90102-5},
doi = {10.1016/0020-0190(87)90102-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Korel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LaskiK83,
author = {Janusz W. Laski and
Bogdan Korel},
title = {A Data Flow Oriented Program Testing Strategy},
journal = {{IEEE} Trans. Software Eng.},
volume = {9},
number = {3},
pages = {347--354},
year = {1983},
url = {https://doi.org/10.1109/TSE.1983.236871},
doi = {10.1109/TSE.1983.236871},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LaskiK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-24 02:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
