Search the dblp DataBase

Publications of Author

1. Alexandre Petrenko, Sergiy Boroday, Roland Groz
   Confirming configurations in EFSM. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:5-24 [Conf]
   
2. 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]
   
3. Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich
   Formal Modeling of Communication Traces. [Citation Graph (0, 0)][DBLP]
   ISTA, 2003, pp:97-108 [Conf]
   
4. 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]
   
5. Sergiy Boroday
   Distinguishing Tests for Nondeterministic Finite State Machines. [Citation Graph (0, 0)][DBLP]
   IWTCS, 1998, pp:101-108 [Conf]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 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]
   
10. 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]
    
11. 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]
    
12. 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]
    
13. 
    Using String Distances for Test Case Prioritisation. [Citation Graph (, )][DBLP]
    
    
14. 
    Implementing MSC Tests with Quiescence Observation. [Citation Graph (, )][DBLP]
    
    
15. 
    Formal Verification of Business Workflows and Role Based Access Control Systems. [Citation Graph (, )][DBLP]