MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Sergiy Boroday" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Confirming Configurations in EFSM Testing  
  • by Alexandre Petrenko, Re Petrenko, Roland Groz, Sergiy Boroday — 2004 — IEEE Transactions on Software Engineering
  • … Configurations in EFSM Testing Alexandre Petrenko, Sergiy Boroday, and Roland Groz Abstract—In this paper, we…
  • Cited by 7 (1 self) – Add To MetaCart
  • An Automata-based Approach to Property Testing in Event Traces  
  • by Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko, Re Petrenko — 2003 — In Proceedings of the IFIP TC6/WG6.1 XV International Conference on Testing of Communicating Systems (TestCom 2003), volume 2644 of LNCS
  • …An Automata-based Approach to Property Testing in Event Traces Hesham Hallal 1 , Sergiy Boroday 1…
  • Cited by 2 (1 self) – Add To MetaCart
  • Techniques for Abstracting SDL Specifications  
  • by Sergiy Boroday, Roland Groz, Alex Petrenko, Yves-marie Quemener, France Telecom R — 2002 — Proc. Third SAM (SDL And MSC) Workshop
  • …Techniques for Abstracting SDL Specifications Sergiy Boroday 1 , Roland Groz 2 , Alex Petrenko 1…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB