Travelled to:1 × Brazil
1 × France
1 × Germany
1 × New Zealand
1 × Russia
1 × The Netherlands
1 × USA
Collaborated with:A.Petrenko A.Ulrich R.Groz H.Hallal ∅ Y.Ledru E.H.Alikacem M.Haydar H.A.Sahraoui Y.Quemener
Talks about:test (7) implement (2) properti (2) generat (2) model (2) nondeterminist (1) distinguish (1) determinist (1) quiescenc (1) prioritis (1)
Person: Sergiy Boroday
DBLP: Boroday:Sergiy
Contributed to:
2010
2009
2009
20072005200320021998Wrote 8 papers:
- ICTSS-2010-UlrichAHB #implementation
- From Scenarios to Test Implementations Via Promela (AU, EHA, HH, SB), pp. 236–249.
- ASE-2009-LedruPB #string #testing #using
- Using String Distances for Test Case Prioritisation (YL, AP, SB), pp. 510–514.
- TestCom-FATES-2009-BorodayPU #implementation #testing
- Implementing MSC Tests with Quiescence Observation (SB, AP, AU), pp. 49–65.
- MBT-2007-BorodayPG #model checking #nondeterminism #question #testing
- Can a Model Checker Generate Tests for Non-Deterministic Systems? (SB, AP, RG), pp. 3–19.
- ASE-2005-HaydarBPS #model checking #web
- Properties and scopes in web model checking (MH, SB, AP, HAS), pp. 400–404.
- TestCom-2003-HallalBUP #approach #testing
- An Automata-Based Approach to Property Testing in Event Traces (HH, SB, AU, AP), pp. 180–196.
- TestCom-2002-BorodayPGQ #fault #generative #specification #testing
- Test Generation for CEFSM Combining Specification and Fault Coverage (SB, AP, RG, YMQ), pp. 355–372.
- IWTCS-1998-Boroday #finite #nondeterminism #state machine #testing
- Distinguishing Tests for Nondeterministic Finite State Machines (SB), pp. 101–108.