Concepedia

Sergiy Boroday

SB

13

Publications

489

Citations

11

H-Index

2003

Active since

Affiliations

Computer Research Institute of Montréal(Current)

Laboratoire d'Informatique de Grenoble

Concordia University

Siemens (Germany)

Université Grenoble Alpes

Sergiy Boroday is an author at Computer Research Institute of Montréal specializing in engineering, software testing, and computer science.

Top concepts

EngineeringComputer ScienceSoftware TestingFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringVerificationSystems Engineering

Publications per year

2003–2024

13

Publications

13

Confirming configurations in efsm testing

Alexandre Petrenko, Sergiy Boroday, Roland Groz · IEEE Transactions on Software Engineering · 2004 · 164 citations

Efsm Projections, Engineering, Verification +21

Prioritizing test cases with string distances

Yves Ledru, Alexandre Petrenko, Sergiy Boroday et al. · Automated Software Engineering · 2011 · 124 citations

Engineering, String-searching Algorithm, Data Mining +9

Using String Distances for Test Case Prioritisation

Yves Ledru, Alexandre Petrenko, Sergiy Boroday · 2009 · 40 citations

Engineering, Diagnosis, Software Engineering +18

Can a Model Checker Generate Tests for Non-Deterministic Systems?

Sergiy Boroday, Alexandre Petrenko, Roland Groz · Electronic Notes in Theoretical Computer Science · 2007 · 28 citations · Full text

Engineering, Verification, Software Engineering +23

Antipattern-based detection of deficiencies in Java multithreaded software

Hesham H. Hallal, E. Alikacem, W.P. Tunney et al. · International Conference on Quality Software · 2004 · 21 citations

Software Maintenance, Engineering, Real Multithreaded Applications +20

Rows per page

1–5 of 13