|
Search the dblp DataBase
Sergiy Boroday:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alexandre Petrenko, Sergiy Boroday, Roland Groz
Confirming configurations in EFSM. [Citation Graph (0, 0)][DBLP] FORTE, 1999, pp:5-24 [Conf]
- Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. [Citation Graph (0, 0)][DBLP] HICSS, 2003, pp:337- [Conf]
- Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich
Formal Modeling of Communication Traces. [Citation Graph (0, 0)][DBLP] ISTA, 2003, pp:97-108 [Conf]
- May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui
Properties and scopes in web model checking. [Citation Graph (0, 0)][DBLP] ASE, 2005, pp:400-404 [Conf]
- Sergiy Boroday
Distinguishing Tests for Nondeterministic Finite State Machines. [Citation Graph (0, 0)][DBLP] IWTCS, 1998, pp:101-108 [Conf]
- Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener
Test Generation for CEFSM Combining Specification and Fault Coverage. [Citation Graph (0, 0)][DBLP] TestCom, 2002, pp:355-372 [Conf]
- Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko
An Automata-Based Approach to Property Testing in Event Traces. [Citation Graph (0, 0)][DBLP] TestCom, 2003, pp:180-196 [Conf]
- Hesham Hallal, E. Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. [Citation Graph (0, 0)][DBLP] QSIC, 2004, pp:258-267 [Conf]
- Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener
Techniques for Abstracting SDL Specifications. [Citation Graph (0, 0)][DBLP] SAM, 2002, pp:141-157 [Conf]
- Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
A formal approach to property testing in causally consistent distributed traces. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:1, pp:63-83 [Journal]
- Alexandre Petrenko, Sergiy Boroday, Roland Groz
Confirming Configurations in EFSM Testing. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2004, v:30, n:1, pp:29-42 [Journal]
- Sergiy Boroday, Alexandre Petrenko, Roland Groz
Can a Model Checker Generate Tests for Non-Deterministic Systems? [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:3-19 [Journal]
Using String Distances for Test Case Prioritisation. [Citation Graph (, )][DBLP]
Implementing MSC Tests with Quiescence Observation. [Citation Graph (, )][DBLP]
Formal Verification of Business Workflows and Role Based Access Control Systems. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|